@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + Arrays.hashCode(attributes);
result = prime * result + ((value == null) ? 0 : value.hashCode());
return result;
}
@Override
public int hashCode() {
int result = getClass().hashCode();
if (value != null) {
result = 37 * result + value.hashCode();
}
return result;
}
@Override
public int hashCode() {
final int prime = 43;
int result = super.hashCode();
result = prime * result + (eliminated ? 1231 : 1237);
result = prime * result + owner.hashCode();
result = prime * result + slot.hashCode();
return result;
}
@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + Arrays.hashCode(args);
result = prime * result + ((function == null) ? 0 : function.hashCode());
result = prime * result + ((name == null) ? 0 : name.hashCode());
result = prime * result + ((this.result == null) ? 0 : this.result.hashCode());
return result;
}
public int hashCode() {
return super.hashCode() ^ value1.hashCode() ^ value2.hashCode();
}
