org.enhydra.jawe
Interface HistoryManager
- All Known Implementing Classes:
- HistoryMgr
- public interface HistoryManager
Used to handle history.
- Author:
- Sasa Bojanic
Method Summary |
void |
addToHistory(org.enhydra.shark.xpdl.XMLElement current,
org.enhydra.shark.xpdl.XMLElement el)
|
boolean |
canGoBack()
|
boolean |
canGoForward()
|
void |
cleanHistory()
|
org.enhydra.shark.xpdl.XMLElement |
getNext(org.enhydra.shark.xpdl.XMLElement current)
|
org.enhydra.shark.xpdl.XMLElement |
getPrevious(org.enhydra.shark.xpdl.XMLElement current)
|
void |
init(int maxHistory)
|
void |
removeFromHistory(org.enhydra.shark.xpdl.XMLElement el)
|
init
public void init(int maxHistory)
addToHistory
public void addToHistory(org.enhydra.shark.xpdl.XMLElement current,
org.enhydra.shark.xpdl.XMLElement el)
removeFromHistory
public void removeFromHistory(org.enhydra.shark.xpdl.XMLElement el)
getNext
public org.enhydra.shark.xpdl.XMLElement getNext(org.enhydra.shark.xpdl.XMLElement current)
getPrevious
public org.enhydra.shark.xpdl.XMLElement getPrevious(org.enhydra.shark.xpdl.XMLElement current)
canGoBack
public boolean canGoBack()
canGoForward
public boolean canGoForward()
cleanHistory
public void cleanHistory()