From: bdemsky <bdemsky>
Date: Fri, 28 Apr 2006 22:42:55 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: preEdgeChange~920
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=293eff8775793d3b9739329867c5f5b8a82f02ea;p=IRC.git

*** empty log message ***
---

diff --git a/Robust/src/IR/Tree/FlagEffect.java b/Robust/src/IR/Tree/FlagEffect.java
new file mode 100644
index 00000000..a468435e
--- /dev/null
+++ b/Robust/src/IR/Tree/FlagEffect.java
@@ -0,0 +1,33 @@
+package IR.Tree;
+
+import IR.*;
+
+public class FlagEffect {
+    FlagDescriptor flag;
+    boolean status;
+    String name;
+
+    public FlagEffect(String flag, boolean status) {
+	this.name=flag;
+	this.status=status;
+    }
+
+    public void setFlag(FlagDescriptor flag) {
+	this.flag=flag;
+    }
+
+    public FlagDescriptor getFlag() {
+	return flag;
+    }
+
+    public int kind() {
+	return Kind.FlagNode;
+    }
+
+    public String printNode(int indent) {
+	if (status)
+	    return name;
+	else
+	    return "!"+name;
+    }
+}
diff --git a/Robust/src/IR/Tree/FlagEffects.java b/Robust/src/IR/Tree/FlagEffects.java
new file mode 100644
index 00000000..de0f9bb7
--- /dev/null
+++ b/Robust/src/IR/Tree/FlagEffects.java
@@ -0,0 +1,28 @@
+package IR.Tree;
+
+import IR.*;
+
+public class FlagEffects {
+    Vector effects;
+    String name;
+
+    public FlagEffects(String name) {
+	this.name=name;
+	effects=new Vector();
+    }
+
+    public void addEffect(FlagEffect fe) {
+	effects.add(fe);
+    }
+
+    public String printNode(int indent) {
+	String st=name+"(";
+	for(int i=0;i<effects.size();i++) {
+	    FlagEffect fe=(FlagEffect)effects.get(i);
+	    st+=fe.printNode(0);
+	    if ((i+1)!=effects.size())
+		st+=",";
+	}
+	return st+")";
+    }
+}