Robust/src/IR/Flat/FlatCheckNode.java

   1 package IR.Flat;
   2
   3 public class FlatCheckNode extends FlatNode {
   4     TempDescriptor td;
   5     String spec;
   6
   7     public FlatCheckNode(TempDescriptor td, String spec) {
   8         this.td=td;
   9         this.spec=spec;
  10     }
  11
  12     public int kind() {
  13         return FKind.FlatCheckNode;
  14     }
  15
  16     public TempDescriptor [] readsTemps() {
  17         return new TempDescriptor[] {td};
  18     }
  19 }