public class NavigationHistoryStack extends java.util.Stack<NavigationHistory>
Constructor and Description |
---|
NavigationHistoryStack()
Creats a NavigationHistoryManager
|
Modifier and Type | Method and Description |
---|---|
NavigationHistory |
popHistoryFrom(long navId)
Given a NavigationHistory's id, pop it off the history stack and all
other NavigationHistory afterwards.
|
NavigationHistory |
push(NavigationHistory object)
Pushes a new item on the stack, duplicate items can exist but are unique on the navigation id.
|
add, add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, equals, firstElement, forEach, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, iterator, lastElement, lastIndexOf, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeIf, replaceAll, retainAll, set, setElementAt, setSize, size, sort, spliterator, subList, toArray, toArray, toString, trimToSize
public NavigationHistoryStack()
public NavigationHistory popHistoryFrom(long navId)
id
- of the NavigationHistory to begin popping off the history
stackpublic NavigationHistory push(NavigationHistory object)
push
in class java.util.Stack<NavigationHistory>