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 ce2f09af7bd6a42694ffe820158c240bab4f5ba9..d890a920dc1c8a9ff67936a316ccdf6d62e1d2f5 100644 (file)
--- a/Robust/src/IR/Flat/FlatCheckNode.java
+++ b/Robust/src/IR/Flat/FlatCheckNode.java
@@ -2,10 +2,12 @@ package IR.Flat;
 
 public class FlatCheckNode extends FlatNode {
     TempDescriptor [] temps;
+    String [] vars;
     String spec;
 
-    public FlatCheckNode(String spec, TempDescriptor[] temps) {
+    public FlatCheckNode(String spec, String[] vars, TempDescriptor[] temps) {
        this.spec=spec;
+       this.vars=vars;
        this.temps=temps;
     }
 
@@ -17,6 +19,10 @@ public class FlatCheckNode extends FlatNode {
        return spec;
     }
 
+    public String[] getVars() {
+       return vars;
+    }
+
     public TempDescriptor [] getTemps() {
        return temps;
     }