in modules/core/src/main/java/org/apache/fluo/core/thrift/OracleService.java [1942:1958]
public boolean equals(isLeader_result that) {
if (that == null)
return false;
if (this == that)
return true;
boolean this_present_success = true;
boolean that_present_success = true;
if (this_present_success || that_present_success) {
if (!(this_present_success && that_present_success))
return false;
if (this.success != that.success)
return false;
}
return true;
}