|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ReadOnlyIntStack
This class is used to offer a read only view of the state stack. Each state number is encoded as an int.
| Method Summary | |
|---|---|
ReadOnlyIntStack |
duplicate()
Duplicates the current stack. |
int |
get(int pos)
Returns the state number at the given position. |
boolean |
isEmpty()
Returns true is the number of states in the stack is zero. |
int |
last()
Returns last inserted (i.e. |
int |
size()
Returns the number of states in the stack. |
| Method Detail |
|---|
int last()
int get(int pos)
pos - the position.
int size()
boolean isEmpty()
ReadOnlyIntStack duplicate()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||