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 d922461..0000000
--- a/Robust/src/IR/Tree/FlagEffects.java
+++ /dev/null
@@ -1,29 +0,0 @@
-package IR.Tree;
-
-import IR.*;
-import java.util.*;
-
-public class FlagEffects {
-    Vector effects;
-    String name;
-
-    public FlagEffects(String name) {
-       effects=new Vector();
-       this.name=name;
-    }
-
-    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+")";
-    }
-}