@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);
}
