components.stack

Class StackSL<T>

java.lang.Object

components.stack.StackSecondary<T>

components.stack.StackSL<T>

Type Parameters:

T -

All Implemented Interfaces:

Stack<T>, StackKernel<T>, Standard<Stack<T>>, java.lang.Iterable<T>

public class StackSL<T>
extends StackSecondary<T>

An implementation of a stack layered on top of the component SinlgyLinkedList.

Author:

Matthew Shoemaker

Representation Invariant (concrete invariant of $this):

[top of stack is the first entry in $this.rep]

Abstraction Relation (interpretation mapping between $this and this):

 this = contents($this.rep) and
 this.top = $this.rep.entry(0)
 

Constructor Summary

Constructors

Constructor and Description
StackSL()

Method Summary

Modifier and Type	Method and Description
void	clear() Resets this to its initial value.
java.util.Iterator<T>	iterator()
StackSL<T>	newInstance() Returns a new object with the same dynamic type as this, having an initial value.
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.
void	transferFrom(Stack<T> source) Sets this to the incoming value of source, and resets source to an initial value; the declaration notwithstanding, the dynamic type of source must be the same as the dynamic type of this.

Methods inherited from class components.stack.StackSecondary

contains, equals, flip, hashCode, swapTop, top, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

StackSL

public StackSL()

Method Detail

push

public void push(T entry)

Description copied from interface: StackKernel

Pushes entry to the top of the stack.

Parameters:

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

pop

public T pop()

Description copied from interface: StackKernel

Removes the top of the stack and returns it.

Returns:

top of the stack

size

public int size()

Description copied from interface: StackKernel

Reports the size of this.

Returns:

|this|

clear

public void clear()

Description copied from interface: Standard

Resets this to its initial value.

iterator

public java.util.Iterator<T> iterator()

transferFrom

public void transferFrom(Stack<T> source)

Description copied from interface: Standard

Sets this to the incoming value of source, and resets source to an initial value; the declaration notwithstanding, the dynamic type of source must be the same as the dynamic type of this. If the type T has a no-argument constructor, then source satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then source satisfies the contract of the constructor call that was used to initialize #source.

Parameters:

source - object whose value is to be transferred

newInstance

public StackSL<T> newInstance()

Description copied from interface: Standard

Returns a new object with the same dynamic type as this, having an initial value. If the type T has a no-argument constructor, then the value of the new returned object satisfies the contract of the no-argument constructor for T. If T does not have a no-argument constructor, then the value of the new returned object satisfies the contract of the constructor call that was used to initialize this.

Returns:

new object "like" this with an initial value