public bool EqualTo(TaintStatus other, Analysis.FlagType flag) { if (this.tainted.get(flag) != other.tainted.get(flag)) { return(false); } if (this.priority.get(flag) != other.priority.get(flag)) { return(false); } if (!checkFlowEquality(other.lines)) { return(false); } return(true); }
public bool EqualTo(TaintStatus other) { if (!this.tainted.equalTo(other.tainted)) { return(false); } if (!this.priority.equalTo(other.priority)) { return(false); } if (!checkFlowEquality(other.lines)) { return(false); } return(true); }