start of new file

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

diff --git a/Robust/src/IR/Flat/FlatCheckNode.java b/Robust/src/IR/Flat/FlatCheckNode.java
index 146890c1841fe6042c997f5185435c4703d3e908..d890a920dc1c8a9ff67936a316ccdf6d62e1d2f5 100644 (file)
--- a/Robust/src/IR/Flat/FlatCheckNode.java
+++ b/Robust/src/IR/Flat/FlatCheckNode.java
@@ -1,19 +1,33 @@
 package IR.Flat;
 
 public class FlatCheckNode extends FlatNode {
-    TempDescriptor td;
+    TempDescriptor [] temps;
+    String [] vars;
     String spec;
 
-    public FlatCheckNode(TempDescriptor td, String spec) {
-       this.td=td;
+    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 new TempDescriptor[] {td};
+       return temps;
     }
 }