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

   package org.bdgp.apps.dagedit.datamodel;
   
   import java.util.*;
   import javax.swing.tree.*;
   
   public class TermMacroHistoryItem extends HistoryItem {
   
       protected Vector historyItems = new Vector();
       protected String description;
      protected Vector rels;
      protected Term result;
  
      public TermMacroHistoryItem(String description) {
    this.type = MACRO;
    this.description = description;
    rels = new Vector();
      }
  
      public void setTarget(Term target) {
    this.target = target;
      }
  
      public void setResult(Term term) {
    result = term;
      }
  
      public Term getResult() {
    return result;
      }
  
      public Vector getSources() {
    return rels;
      }
  
      public void setSources(TreePath [] paths) {
    for(int i=0; i < paths.length; i++) {
        TermRelationship tr = (TermRelationship) paths[i].
      getLastPathComponent();
        rels.addElement(tr);
    }
      }
  
      public void setSources(Vector rels) {
    this.rels = rels;
      }
  
      public String getDescription() {
    return description;
      }
  
      public int getHistoryItemCount() {
    return historyItems.size();
      }
  
      public HistoryItem getHistoryItemAt(int index) {
    return (HistoryItem) historyItems.elementAt(index);
      }
  
      public void setHistoryItems(Vector items) {
    this.historyItems = items;
      }
  
      public void addHistoryItem(HistoryItem item) {
    historyItems.addElement(item);
      }
  
      public void removeHistoryItem(HistoryItem item) {
    historyItems.removeElement(item);
      }
  
      public Vector getTouchedNodes() {
    Vector touched = new Vector();
    for(int i=0; i < historyItems.size(); i++) {
        HistoryItem item = (HistoryItem) historyItems.elementAt(i);
        Vector sub = item.getTouchedNodes();
        for(int j=0; j < sub.size(); j++) {
      Term node = (Term) sub.elementAt(j);
      if (!touched.contains(node))
          touched.addElement(node);
        }
    }
    return touched;
      }
  
      public String toString() {
    return (description != null ? description+" (macro)": "unnamed macro");
      }
  }