Robust/src/Analysis/SSJava/DeltaLocation.java

   1 package Analysis.SSJava;
   2
   3 public class DeltaLocation extends CompositeLocation {
   4
   5   private int numDelta;
   6
   7   public DeltaLocation(CompositeLocation comp, int numDelta) {
   8     this.numDelta = numDelta;
   9     this.locTuple = comp.getTuple();
  10   }
  11
  12   public int getNumDelta() {
  13     return numDelta;
  14   }
  15
  16   public String toString() {
  17
  18     String rtr = "";
  19     for (int i = 0; i < numDelta; i++) {
  20       rtr += "DELTA[";
  21     }
  22
  23     int tupleSize = locTuple.size();
  24     for (int i = 0; i < tupleSize; i++) {
  25       Location locElement = locTuple.get(i);
  26       if (i != 0) {
  27         rtr += ",";
  28       }
  29       rtr += locElement;
  30     }
  31
  32     for (int i = 0; i < numDelta; i++) {
  33       rtr += "]";
  34     }
  35
  36     return rtr;
  37   }
  38
  39 }