This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / IR / Tree / FlagEffects.java

diff --git a/Robust/src/IR/Tree/FlagEffects.java b/Robust/src/IR/Tree/FlagEffects.java
deleted file mode 100644 (file)
index 6167af8..0000000
--- a/Robust/src/IR/Tree/FlagEffects.java
+++ /dev/null
@@ -1,64 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-import java.util.*;
-
-public class FlagEffects {
-    Vector effects;
-    Vector tageffects;
-    String name;
-    VarDescriptor vd;
-
-    public FlagEffects(String name) {
-       effects=new Vector();
-       tageffects=new Vector();
-       this.name=name;
-    }
-
-    public void setVar(VarDescriptor vd) {
-       this.vd=vd;
-    }
-
-    public VarDescriptor getVar() {
-       return vd;
-    }
-
-    public String getName() {
-       return name;
-    }
-
-    public void addEffect(FlagEffect fe) {
-       effects.add(fe);
-    }
-
-    public void addTagEffect(TagEffect te) {
-       tageffects.add(te);
-    }
-
-    public int numTagEffects() {
-       return tageffects.size();
-    }
-
-    public TagEffect getTagEffect(int i) {
-       return (TagEffect) tageffects.get(i);
-    }
-
-    public int numEffects() {
-       return effects.size();
-    }
-
-    public FlagEffect getEffect(int i) {
-       return (FlagEffect) effects.get(i);
-    }
-
-    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+")";
-    }
-}