Robust/src/IR/Flat/FlatCheckNode.java

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