From 293eff8775793d3b9739329867c5f5b8a82f02ea Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 28 Apr 2006 22:42:55 +0000
Subject: [PATCH] *** empty log message ***

---
 Robust/src/IR/Tree/FlagEffect.java  | 33 +++++++++++++++++++++++++++++
 Robust/src/IR/Tree/FlagEffects.java | 28 ++++++++++++++++++++++++
 2 files changed, 61 insertions(+)
 create mode 100644 Robust/src/IR/Tree/FlagEffect.java
 create mode 100644 Robust/src/IR/Tree/FlagEffects.java

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+")";
+    }
+}
-- 
2.34.1