@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + ((cfg == null) ? 0 : cfg.hashCode());
result = prime * result + ((context == null) ? 0 : context.hashCode());
return result;
}
@Override
@SuppressWarnings({"AccessingNonPublicFieldOfAnotherObject"})
public boolean equals(Object obj) {
if (this == obj) return true;
if (obj == null) return false;
if (getClass() != obj.getClass()) return false;
SuperGraphNode other = (SuperGraphNode) obj;
if (cfg == null) {
if (other.cfg != null) return false;
} else if (!cfg.equals(other.cfg)) return false;
if (context == null) {
if (other.context != null) return false;
} else if (!context.equals(other.context)) return false;
return true;
}
/** @return the callstring */
public CallString getCallString() {
return context.getCallString();
}
