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