Robust/src/IR/Flat/FlatSetElementNode.java

   1 package IR.Flat;
   2 import IR.FieldDescriptor;
   3
   4 public class FlatSetElementNode extends FlatNode {
   5   TempDescriptor src;
   6   TempDescriptor dst;
   7   TempDescriptor index;
   8
   9   public FlatSetElementNode(TempDescriptor dst, TempDescriptor index, TempDescriptor src) {
  10     this.index=index;
  11     this.src=src;
  12     this.dst=dst;
  13   }
  14
  15   public boolean needsBoundsCheck() {
  16     return true;
  17   }
  18
  19   public TempDescriptor getSrc() {
  20     return src;
  21   }
  22
  23   public TempDescriptor getIndex() {
  24     return index;
  25   }
  26
  27   public TempDescriptor getDst() {
  28     return dst;
  29   }
  30
  31   public String toString() {
  32     return "FlatSetElementNode_"+dst.toString()+"["+index.toString()+"]="+src.toString();
  33   }
  34
  35   public int kind() {
  36     return FKind.FlatSetElementNode;
  37   }
  38
  39   public TempDescriptor [] readsTemps() {
  40     return new TempDescriptor [] {src,dst,index};
  41   }
  42 }