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

   package org.bdgp.apps.dagedit.datamodel;
   
   import java.util.*;
   import javax.swing.tree.*;
   
   public class TermCommitAndObsoleteHistoryItem extends HistoryItem {
   
       protected Term result;
       protected Term originalResult;
  
      public TermCommitAndObsoleteHistoryItem(Term target, Term result) {
    this.type = STRUCTURAL_COMMITANDOBSOLETE;
    this.target = target;
    this.result = result;
    this.originalResult = (Term) result.clone();
      }
  
      public Term getOriginalResult() {
    return originalResult;
      }
  
      public Term getResult() {
    return result;
      }
  
      public String toString() {
    StringBuffer out = new StringBuffer("Commit and obsolete "+target+" ("+target.getID()+") to create "+result+" ("+result.getID()+")");
    return out.toString();
      }
  
      public Vector getTouchedNodes() {
    Vector out = new Vector();
    out.addElement(target);
    return out;
      }
  }