1 package Analysis.SSJava;
3 public class DeltaLocation extends CompositeLocation {
7 public DeltaLocation(CompositeLocation comp, int numDelta) {
8 this.numDelta = numDelta;
9 this.locTuple = comp.getTuple();
12 public int getNumDelta() {
16 public String toString() {
19 for (int i = 0; i < numDelta; i++) {
23 int tupleSize = locTuple.size();
24 for (int i = 0; i < tupleSize; i++) {
25 Location locElement = locTuple.get(i);
32 for (int i = 0; i < numDelta; i++) {