@SuppressWarnings("unused") private String assignEdgesWellFormed(PAG pag) { for (Iterator iter = pag.getVarNodeNumberer().iterator(); iter.hasNext(); ) { VarNode v = (VarNode) iter.next(); Set<AssignEdge> outgoingAssigns = getAssignBarEdges(v); for (AssignEdge edge : outgoingAssigns) { if (edge.getSrc() != v) return edge + " src should be " + v; } Set<AssignEdge> incomingAssigns = getAssignEdges(v); for (AssignEdge edge : incomingAssigns) { if (edge.getDst() != v) return edge + " dst should be " + v; } } return null; }
/** * @param assignSource * @param assignTarget */ private void addAssignEdge(AssignEdge assignEdge) { contextSensitiveAssignEdges.put(assignEdge.getSrc(), assignEdge); contextSensitiveAssignBarEdges.put(assignEdge.getDst(), assignEdge); }