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

[IRC.git] / Robust / src / IR / Flat / FlatCheckNode.java

diff --git a/Robust/src/IR/Flat/FlatCheckNode.java b/Robust/src/IR/Flat/FlatCheckNode.java
deleted file mode 100644 (file)
index d890a92..0000000
--- a/Robust/src/IR/Flat/FlatCheckNode.java
+++ /dev/null
@@ -1,33 +0,0 @@
-package IR.Flat;
-
-public class FlatCheckNode extends FlatNode {
-    TempDescriptor [] temps;
-    String [] vars;
-    String spec;
-
-    public FlatCheckNode(String spec, String[] vars, TempDescriptor[] temps) {
-       this.spec=spec;
-       this.vars=vars;
-       this.temps=temps;
-    }
-
-    public int kind() {
-        return FKind.FlatCheckNode;
-    }
-
-    public String getSpec() {
-       return spec;
-    }
-
-    public String[] getVars() {
-       return vars;
-    }
-
-    public TempDescriptor [] getTemps() {
-       return temps;
-    }
-    
-    public TempDescriptor [] readsTemps() {
-       return temps;
-    }
-}