head.removeSuccessor(edge); edge.setSource(this); this.addSuccessor(edge);
ifelsestat.getParent().addLabeledEdge(endedge); ifelsestat.addSuccessor(endedge);
second.removeSuccessor(edge); edge.setSource(firstif); firstif.addSuccessor(edge);
StatEdge edge = new StatEdge(ifEdge.getType(), statement, ifEdge.getDestination()); statement.addSuccessor(edge); if (ifEdge.closure != null) { ifEdge.closure.addLabeledEdge(edge); statement.addSuccessor(new StatEdge(StatEdge.TYPE_BREAK, statement, retEdge.getDestination(), closure));
lastif.addSuccessor(newedge); stat.addLabeledEdge(newedge);
elseedge.setSource(ifstat.getFirst()); ifstat.addSuccessor(ifedge); ifstat.getFirst().addSuccessor(elseedge); newseq.setAllParent(); ifstat.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, ifstat, ifbranch)); ifstat.addSuccessor(ifedge); ifstat.getStats().removeWithKey(ifbranch.id); ifstat.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, ifstat, ifbranch));
head.removeSuccessor(edge); edge.setSource(this); this.addSuccessor(edge);
ifelsestat.getParent().addLabeledEdge(endedge); ifelsestat.addSuccessor(endedge);
second.removeSuccessor(edge); edge.setSource(firstif); firstif.addSuccessor(edge);
StatEdge edge = new StatEdge(ifedge.getType(), stif, ifedge.getDestination()); stif.addSuccessor(edge); if (ifedge.closure != null) { ifedge.closure.addLabeledEdge(edge); stif.addSuccessor(new StatEdge(StatEdge.TYPE_BREAK, stif, retedge.getDestination(), retedge.closure == stif ? stif.getParent() : retedge.closure));
lastif.addSuccessor(newedge); stat.addLabeledEdge(newedge);
elseedge.setSource(ifstat.getFirst()); ifstat.addSuccessor(ifedge); ifstat.getFirst().addSuccessor(elseedge); newseq.setAllParent(); ifstat.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, ifstat, ifbranch)); ifstat.addSuccessor(ifedge); ifstat.getStats().removeWithKey(ifbranch.id); ifstat.addSuccessor(new StatEdge(StatEdge.TYPE_REGULAR, ifstat, ifbranch));