components.stack

Class Stack1L<T>

java.lang.Object

components.stack.StackSecondary<T>

components.stack.Stack1L<T>

Type Parameters:

T -

All Implemented Interfaces:

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

public class Stack1L<T>
extends StackSecondary<T>

An implementation thinly layered on top of a java.util.Stack.

Author:

Matthew Shoemaker

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

this = $this.rep

Constructor Summary

Constructors

Constructor and Description
Stack1L()

Method Summary

Modifier and Type	Method and Description
void	clear() Resets this to its initial value.
java.util.Iterator<T>	iterator()
Stack1L<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

Stack1L

public Stack1L()

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.

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 Stack1L<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

iterator

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