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 9c27896..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;
-  }
-}