minicp.state

Class StateStack<E>

java.lang.Object

minicp.state.StateStack<E>

public class StateStack<E>
extends Object

Generic Stack that can be saved and restored through the StateManager.saveState() / StateManager.restoreState() methods.

Constructor Summary

Constructors

Constructor and Description
StateStack(StateManager sm) Creates a restorable stack.

Method Summary

Modifier and Type	Method and Description
E	get(int index)
void	push(E elem)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StateStack

public StateStack(StateManager sm)

Creates a restorable stack.

Parameters:

sm - the state manager that saves/restores the stack when StateManager.saveState() / StateManager.restoreState() methods are called.

Method Detail

push

public void push(E elem)

size

public int size()

get

public E get(int index)