4 public final static int CONJUNCTION=1;
5 public final static int ABSTRACT=2;
6 public final static int UPDATE=3;
7 public final static int RULESCOPE=4;
8 public final static int CONSEQUENCE=5;
10 ConsequenceNode conseqnode;
14 AbstractRepair repair;
16 MultUpdateNode update;
18 public TermNode(Constraint constr, Conjunction conj) {
24 public TermNode(AbstractRepair ar) {
29 public TermNode(ConsequenceNode cn) {
34 public TermNode(ScopeNode sn) {
39 public TermNode(MultUpdateNode un) {
44 public ConsequenceNode getConsequence() {
45 if (type!=CONSEQUENCE)
46 throw new Error("Not Consequence Node!");
51 public Conjunction getConjunction() {
52 if (type!=CONJUNCTION)
53 throw new Error("Not Conjunction Node!");
58 public Constraint getConstraint() {
59 if (type!=CONJUNCTION)
60 throw new Error("Not Conjunction Node!");
65 public MultUpdateNode getUpdate() {
67 throw new Error("Not Update Node!");
72 public ScopeNode getScope() {
74 throw new Error("Not Scope Node!");
79 public AbstractRepair getAbstract() {
81 throw new Error("Not Abstract Repair Node!");