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

   package org.bdgp.apps.dagedit.datamodel;
   
   import java.util.*;
   import javax.swing.tree.*;
   
   public class TermImportHistoryItem extends HistoryItem {
   
       Term importedTerm;
   
      public TermImportHistoryItem(Term target, Term importedTerm) {
    this.target = target;
    this.importedTerm = Term.cloneSubtree(importedTerm);
    this.type = STRUCTURAL_IMPORT;
      }
  
      public Term getImportedTerm() {
    return importedTerm;
      }
  
      public Vector getTouchedNodes() {
          Vector out = new Vector();
    out.addElement(target);
    return out;
      }
  
      public String toString() {
    StringBuffer out = new StringBuffer("Import:\n");
    out.append("   target = "+target+", importedTerm = "+
         importedTerm+"\n");
    return out.toString();
      }
  }