@Override public boolean equals(Object obj) { if (obj instanceof PointsToSetVariable) { return pointerKey.equals(((PointsToSetVariable) obj).pointerKey); } else { return false; } }
@Override public String toString() { return pointerKey.toString() + ":" + super.toString(); }
/** * Use this with extreme care, to add filters to this variable.. * * @param pointerKey The pointerKey to set. */ void setPointerKey(PointerKey pointerKey) { // check that we haven't modified the hash code!!! this is crucial assert this.pointerKey.hashCode() == pointerKey.hashCode(); this.pointerKey = pointerKey; }