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 int getType() {
22 public TermNode(Constraint constr, Conjunction conj) {
28 public TermNode(AbstractRepair ar) {
33 public TermNode(ConsequenceNode cn) {
38 public TermNode(ScopeNode sn) {
43 public TermNode(MultUpdateNode un) {
48 public ConsequenceNode getConsequence() {
49 if (type!=CONSEQUENCE)
50 throw new Error("Not Consequence Node!");
55 public Conjunction getConjunction() {
56 if (type!=CONJUNCTION)
57 throw new Error("Not Conjunction Node!");
62 public Constraint getConstraint() {
63 if (type!=CONJUNCTION)
64 throw new Error("Not Conjunction Node!");
69 public MultUpdateNode getUpdate() {
71 throw new Error("Not Update Node!");
76 public ScopeNode getScope() {
78 throw new Error("Not Scope Node!");
83 public AbstractRepair getAbstract() {
85 throw new Error("Not Abstract Repair Node!");