01: package org.enhydra.jawe;
02:
03: import org.enhydra.shark.xpdl.XMLElement;
04:
05: /**
06: * Used to handle history.
07: *
08: * @author Sasa Bojanic
09: */
10: public interface HistoryManager {
11:
12: void init(int maxHistory);
13:
14: void addToHistory(XMLElement current, XMLElement el);
15:
16: void removeFromHistory(XMLElement el);
17:
18: XMLElement getNext(XMLElement current);
19:
20: XMLElement getPrevious(XMLElement current);
21:
22: boolean canGoBack();
23:
24: boolean canGoForward();
25:
26: void cleanHistory();
27:
28: }
|