historymanager.java

来自「jawe的最新版本,基于Java的图形化工作流编辑器。图形化工作流编辑器 。使用」· Java 代码 · 共 26 行

package org.enhydra.jawe;

import org.enhydra.shark.xpdl.XMLElement;

/**
 * Used to handle history.
 * 
 * @author Sasa Bojanic
 */
public interface HistoryManager {

   void init (int maxHistory);
   
   void addToHistory(XMLElement current,XMLElement el);
   void removeFromHistory(XMLElement el);

   XMLElement getNext(XMLElement current);
   XMLElement getPrevious (XMLElement current);

   boolean canGoBack();
   boolean canGoForward();
   
   void cleanHistory ();
   
}