public boolean equals(Object o) { if (!(o instanceof PurityGraph)) { return false; } PurityGraph g = (PurityGraph) o; return nodes.equals(g.nodes) // && paramNodes.equals(g.paramNodes) // redundant info && edges.equals(g.edges) && locals.equals(g.locals) && ret.equals(g.ret) && globEscape.equals(g.globEscape) // && backEdges.equals(g.backEdges) // redundant info // && backLocals.equals(g.backLocals) // redundant info && mutated.equals(g.mutated); }
public boolean equals(Object other) { if (!(other instanceof Fact)) { return false; } Fact o = (Fact) other; if (!stmtToVar.equals(o.stmtToVar)) { return false; } if (alloc == null && o.alloc != null) { return false; } if (alloc != null && o.alloc == null) { return false; } if (alloc != null && !alloc.equals(o.alloc)) { return false; } return true; }
public boolean equals(Object other) { if(!(other instanceof Fact)) return false; Fact o = (Fact) other; if(!stmtToVar.equals(o.stmtToVar)) return false; if(alloc == null && o.alloc != null) return false; if(alloc != null && o.alloc == null) return false; if(alloc != null && !alloc.equals(o.alloc)) return false; return true; } public Stmt alloc() { return alloc; }
public boolean equals(Object other) { if(!(other instanceof Fact)) return false; Fact o = (Fact) other; if(!stmtToVar.equals(o.stmtToVar)) return false; if(alloc == null && o.alloc != null) return false; if(alloc != null && o.alloc == null) return false; if(alloc != null && !alloc.equals(o.alloc)) return false; return true; } public Stmt alloc() { return alloc; }
public boolean equals(Object o) { if (!(o instanceof PurityGraph)) return false; PurityGraph g = (PurityGraph)o; return nodes.equals(g.nodes) //&& paramNodes.equals(g.paramNodes) // redundant info && edges.equals(g.edges) && locals.equals(g.locals) && ret.equals(g.ret) && globEscape.equals(g.globEscape) //&& backEdges.equals(g.backEdges) // redundant info //&& backLocals.equals(g.backLocals) // redundant info && mutated.equals(g.mutated) ; }
public boolean equals(Object o) { if (!(o instanceof PurityGraph)) return false; PurityGraph g = (PurityGraph)o; return nodes.equals(g.nodes) //&& paramNodes.equals(g.paramNodes) // redundant info && edges.equals(g.edges) && locals.equals(g.locals) && ret.equals(g.ret) && globEscape.equals(g.globEscape) //&& backEdges.equals(g.backEdges) // redundant info //&& backLocals.equals(g.backLocals) // redundant info && mutated.equals(g.mutated) ; }
@Override public boolean equals(Object obj) { if (this == obj) return true; if (obj == null) return false; if (getClass() != obj.getClass()) return false; MethodSummaries other = (MethodSummaries) obj; if (clears == null) { if (other.clears != null) return false; } else if (!clears.equals(other.clears)) return false; if (flows == null) { if (other.flows != null) return false; } else if (!flows.equals(other.flows)) return false; if (gaps == null) { if (other.gaps != null) return false; } else if (!gaps.equals(other.gaps)) return false; return true; }
@Override public boolean equals(Object obj) { if (this == obj) return true; if (obj == null) return false; if (getClass() != obj.getClass()) return false; SerializedInfoflowResults other = (SerializedInfoflowResults) obj; if (fileFormatVersion != other.fileFormatVersion) return false; if (performanceData == null) { if (other.performanceData != null) return false; } else if (!performanceData.equals(other.performanceData)) return false; if (results == null) { if (other.results != null) return false; } else if (!results.equals(other.results)) return false; return true; }
@Override public boolean equals(Object obj) { if (this == obj) return true; if (obj == null) return false; if (getClass() != obj.getClass()) return false; InfoflowResults other = (InfoflowResults) obj; if (exceptions == null) { if (other.exceptions != null) return false; } else if (!exceptions.equals(other.exceptions)) return false; if (performanceData == null) { if (other.performanceData != null) return false; } else if (!performanceData.equals(other.performanceData)) return false; if (results == null) { if (other.results != null) return false; } else if (!results.equals(other.results)) return false; if (terminationState != other.terminationState) return false; return true; }