Source code: org/bdgp/apps/dagedit/datamodel/DEEditHistory.java

   package org.bdgp.apps.dagedit.datamodel;
   
   import java.util.*;
   import java.io.Serializable;
   
   public class DEEditHistory implements Serializable {
   
       protected Vector historyList;
       protected Vector relationshipTypes;
      protected Term root;
      protected Term originalRoot;
  
      protected String user;
      protected Date date;
      protected String version;
      protected String comment;
  
      protected boolean isActive = false;
  
      protected String title = null;
      protected TermRelationshipType defaultRelationshipType = null;
  
      public void setIsActive(boolean isActive) {
    this.isActive = isActive;
      }
  
      public boolean getIsActive() {
    return isActive;
      }
  
      public String getComment() {
    return comment;
      }
  
      public void setComment(String comment) {
    this.comment = comment;
      }
      
      public String getVersion() {
    return version;
      }
  
      public void setVersion(String version) {
    this.version = version;
      }
  
      public Date getDate() {
    return date;
      }
  
      public void setDate(Date date) {
    this.date = date;
      }
  
      public String getUser() {
    return user;
      }
  
      public void setUser(String user) {
    this.user = user;
      }
  
      public DEEditHistory(Term root) {
    this(root, true);
      }
  
      public DEEditHistory(Term root, boolean rememberOriginal) {
    historyList = new Vector();
    relationshipTypes = new Vector();
    this.root = root;
    if (rememberOriginal)
        originalRoot = Term.cloneSubtree(root);
      }
  
      public TermRelationshipType getDefaultRelationshipType() {
    return defaultRelationshipType;
      }
  
      public void setDefaultRelationshipType(TermRelationshipType trt) {
    defaultRelationshipType = trt;
      }
  
      public Vector getRelationshipTypes() {
    return relationshipTypes;
      }
  
      public void addRelationshipType(TermRelationshipType trt) {
    relationshipTypes.add(trt);
      }
  
      public void setRelationshipTypes(Vector types) {
    this.relationshipTypes = (Vector) types.clone();
      }
  
      public void removeRelationshipType(TermRelationshipType trt) {
    relationshipTypes.remove(trt);
      }
  
      public Term getRoot() {
   return root;
     }
 
     public Term getOriginalRoot() {
   return originalRoot;
     }
 
     public boolean isModified() {
   return historyList.size() != 0;
     }
 
     public void flush() {
   historyList.removeAllElements();
     }
 
     public HistoryItem getItemAt(int index) {
   return (HistoryItem) historyList.elementAt(index);
     }
 
     public int size() {
   return historyList.size();
     }
 
     public Enumeration getHistoryItems() {
   return historyList.elements();
     }
 
     public void addItem(HistoryItem item) {
   historyList.addElement(item);
     }
 
     public void setHistoryList(Vector historyList) {
   this.historyList = historyList;
     }
 
     public Vector getHistoryList() {
   return historyList;
     }
 
     public void removeItem(HistoryItem item) {
   historyList.removeElement(item);
     }
 
     public int indexOfItem(HistoryItem item) {
   return historyList.indexOf(item);
     }
 
     public void setTitle(String title) {
   this.title = title;
     }
     
     public String getTitle() {
   if (title != null)
       return title;
   else if (getIsActive())
       return "Active history";
   else {
       try {
     java.text.SimpleDateFormat format =
         new java.text.
       SimpleDateFormat("hh:mm aaa, MMMMM dd, yyyy");
     return "Saved by "+user+" at "+format.format(date);
       } catch (Exception e) {
     return "History";
       }
   }
     }
 
     public String toString() {
   return getTitle();
     }
 }