1 package Analysis.SSJava;
3 public class DeltaLocation extends CompositeLocation {
7 public DeltaLocation() {
11 public DeltaLocation(CompositeLocation comp, int numDelta) {
13 this.numDelta = numDelta;
14 this.locTuple.addAll(comp.getTuple());
17 public int getNumDelta() {
21 public void setNumDelta(int d) {
25 public String toString() {
28 for (int i = 0; i < numDelta; i++) {
32 int tupleSize = locTuple.size();
33 for (int i = 0; i < tupleSize; i++) {
34 Location locElement = locTuple.get(i);
41 for (int i = 0; i < numDelta; i++) {
48 public CompositeLocation clone() {
49 DeltaLocation clone = new DeltaLocation();
50 clone.getTuple().addAll(locTuple);
51 clone.setNumDelta(numDelta);
55 public boolean equals(Object o) {
57 if (!(o instanceof DeltaLocation)) {
61 DeltaLocation deltaLoc = (DeltaLocation) o;
63 if (deltaLoc.getTuple().equals(getTuple()) && deltaLoc.getNumDelta() == numDelta) {
71 public int hashCode() {
72 return locTuple.hashCode() + numDelta;