Robust/src/IR/Flat/FlatCheckNode.java

   1 package IR.Flat;
   2
   3 public class FlatCheckNode extends FlatNode {
   4     TempDescriptor [] temps;
   5     String [] vars;
   6     String spec;
   7
   8     public FlatCheckNode(String spec, String[] vars, TempDescriptor[] temps) {
   9         this.spec=spec;
  10         this.vars=vars;
  11         this.temps=temps;
  12     }
  13
  14     public int kind() {
  15         return FKind.FlatCheckNode;
  16     }
  17
  18     public String getSpec() {
  19         return spec;
  20     }
  21
  22     public String[] getVars() {
  23         return vars;
  24     }
  25
  26     public TempDescriptor [] getTemps() {
  27         return temps;
  28     }
  29
  30     public TempDescriptor [] readsTemps() {
  31         return temps;
  32     }
  33 }