Source code: org/bdgp/apps/dagedit/datamodel/TermSplitHistoryItem.java
1 package org.bdgp.apps.dagedit.datamodel;
2
3 import java.util.*;
4 import javax.swing.tree.*;
5
6 public class TermSplitHistoryItem extends HistoryItem {
7
8 protected Term result;
9 protected Term originalTarget;
10 protected Term originalResult;
11
12 public TermSplitHistoryItem(Term target, Term result) {
13 this.type = STRUCTURAL_SPLIT;
14 this.originalTarget = (Term) target.clone();
15 this.originalResult = (Term) result.clone();
16 this.target = target;
17 this.result = result;
18 }
19
20 public Vector getTouchedNodes() {
21 Vector out = new Vector();
22 out.addElement(originalTarget);
23 out.addElement(originalResult);
24 return out;
25 }
26
27 public Term getResult() {
28 return result;
29 }
30
31 public Term getOriginalResult() {
32 return originalResult;
33 }
34
35 public String toString() {
36 return "Split "+target+" ("+target.getID()+") to create "+result+
37 " ("+result.getID()+")";
38 }
39 }