Robust/src/IR/Flat/FlatElementNode.java

   1 package IR.Flat;
   2 import IR.FieldDescriptor;
   3
   4 public class FlatElementNode extends FlatNode {
   5   TempDescriptor src;
   6   TempDescriptor dst;
   7   TempDescriptor index;
   8
   9   public FlatElementNode(TempDescriptor src, TempDescriptor index, TempDescriptor dst) {
  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 getIndex() {
  20     return index;
  21   }
  22
  23   public TempDescriptor getSrc() {
  24     return src;
  25   }
  26
  27   public TempDescriptor getDst() {
  28     return dst;
  29   }
  30
  31   public String toString() {
  32     return "FlatElementNode_"+dst.toString()+"="+src.toString()+"["+index.toString()+"]";
  33   }
  34
  35   public int kind() {
  36     return FKind.FlatElementNode;
  37   }
  38
  39   public TempDescriptor [] writesTemps() {
  40     return new TempDescriptor[] {dst};
  41   }
  42
  43   public TempDescriptor [] readsTemps() {
  44     return new TempDescriptor[] {src,index};
  45   }
  46 }