components.stack

Interface StackKernel<T>

Type Parameters:

T -

All Superinterfaces:

Standard<Stack<T>>

All Known Subinterfaces:

Stack<T>

All Known Implementing Classes:

Stack1L, StackSecondary, StackSL

public interface StackKernel<T>
extends Standard<Stack<T>>

Stack kernel component containing method headers and contracts for all methods that will directly interact with the label representations of all Stack implementations. All sub-interface methods should use only these methods to perform operations on the Stack.

Author:

Matthew Shoemaker

Method Summary

Modifier and Type	Method and Description
T	pop() Removes the top of the stack and returns it.
void	push(T entry) Pushes entry to the top of the stack.
int	size() Reports the size of this.

Methods inherited from interface components.standard.Standard

clear, newInstance, transferFrom

Method Detail

push

void push(T entry)

Pushes entry to the top of the stack.

Parameters:

entry - entry to be pushed to the top of the stack.

Requires:

[entry is not null]

Ensures:

this = entry * #this

pop

T pop()

Removes the top of the stack and returns it.

Returns:

top of the stack

Requires:

this.size > 0

Ensures:

 pop = [top of the stack] and
 #this =  * this
 

size

int size()

Reports the size of this.

Returns:

|this|

Ensures:

size = |this|