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

   package org.bdgp.apps.dagedit.datamodel;
   
   import java.util.*;
   import javax.swing.tree.*;
   
   public class TermAddHistoryItem extends HistoryItem {
   
       protected Term result;
   
      // if target is null, create a new root
      public TermAddHistoryItem(Term target, Term result) {
    this.type = STRUCTURAL_ADD;
    this.target = target;
    this.result = result;
      }
  
      public Term getResult() {
    return result;
      }
  
      public String toString() {
    if (target == null)
        return "Created new root";
    else
        return "Added "+result+" ("+result.getID()+") to "+
      target+" ("+target.getID()+")";
      }
  
      public Vector getTouchedNodes() {
    Vector out = new Vector();
    out.addElement(result);
    return out;
      }
  }