// removes the edge coming in from the given predecessor public void removeInEdge(CfgNode predecessor) { for (Iterator iter = this.inEdges.iterator(); iter.hasNext(); ) { CfgEdge inEdge = (CfgEdge) iter.next(); if (inEdge.getSource() == predecessor) { iter.remove(); } } }