public void removeAllSuccessors(Statement stat) { if (stat == null) { return; } for (StatEdge edge : getAllSuccessorEdges()) { if (edge.getDestination() == stat) { removeSuccessor(edge); } } }
private static void removeNonImmediateEdges(Statement stat) { for (Statement st : stat.getStats()) { removeNonImmediateEdges(st); } if (!stat.hasBasicSuccEdge()) { for (StatEdge edge : stat.getSuccessorEdges(StatEdge.TYPE_CONTINUE | StatEdge.TYPE_BREAK)) { stat.removeSuccessor(edge); } } }
public static void destroyStatementContent(Statement stat, boolean self) { for (Statement st : stat.getStats()) { destroyStatementContent(st, true); } stat.getStats().clear(); if (self) { for (StatEdge edge : stat.getAllSuccessorEdges()) { stat.removeSuccessor(edge); } } } }
if (regedges == 0) { StatEdge edge = lstHeadSuccs.get(0); head.removeSuccessor(edge); edge.setSource(this); this.addSuccessor(edge); head.removeSuccessor(edge);
ifparent.getFirst().removeSuccessor(ifparent.getIfEdge()); ifchild.getFirst().removeSuccessor(ifchild.getIfEdge()); ifparent.getStats().removeWithKey(ifchild.id);
List<StatEdge> lst = lastData.getAllSuccessorEdges(); if (!lst.isEmpty()) { lastData.removeSuccessor(lst.get(0));
private static void removeParameterCheck(Statement stat) { Statement st = stat.getFirst(); while (st.type == Statement.TYPE_SEQUENCE) { st = st.getFirst(); } IfStatement ifstat = (IfStatement)st; if (ifstat.getElsestat() != null) { // if - else StatEdge ifedge = ifstat.getIfEdge(); StatEdge elseedge = ifstat.getElseEdge(); Statement ifbranch = ifstat.getIfstat(); Statement elsebranch = ifstat.getElsestat(); ifstat.getFirst().removeSuccessor(ifedge); ifstat.getFirst().removeSuccessor(elseedge); ifstat.getStats().removeWithKey(ifbranch.id); ifstat.getStats().removeWithKey(elsebranch.id); if (!ifbranch.getAllSuccessorEdges().isEmpty()) { ifbranch.removeSuccessor(ifbranch.getAllSuccessorEdges().get(0)); } ifstat.getParent().replaceStatement(ifstat, elsebranch); ifstat.getParent().setAllParent(); } }
ifparent.getFirst().removeSuccessor(ifparent.getIfEdge()); ifchild.removeSuccessor(ifchild.getAllSuccessorEdges().get(0)); ifparent.getStats().removeWithKey(ifchild.id); ifchild.getFirst().removeSuccessor(ifedge); ifedge.setSource(ifparent.getFirst()); ifchild.getFirst().removeSuccessor(ifchild.getIfEdge());
firstif.getFirst().removeSuccessor(firstif.getIfEdge()); second.removeSuccessor(edge); edge.setSource(firstif); firstif.addSuccessor(edge); firstif.getFirst().removeSuccessor(ifedge);
StatEdge endedge = ifstat.getAllSuccessorEdges().get(0); ifstat.removeSuccessor(endedge); endedge.setSource(ifelsestat); if (endedge.closure != null) { ifelsestat.getFirst().removeSuccessor(ifelsestat.getIfEdge());
oldstat.removeSuccessor(edge); edge.setSource(newstat); newstat.addSuccessor(edge);
!first.getExprents().isEmpty())) { first.removeSuccessor(stat.getIfEdge()); first.removeSuccessor(stat.getElseEdge());
st.removeSuccessor(edge); st.removeSuccessor(edge);
edge.getSource().removeSuccessor(edge); StatEdge sucedge = st.getAllSuccessorEdges().get(0); if (sucedge.getType() != StatEdge.TYPE_FINALLYEXIT) { st.removeSuccessor(sucedge);
pre.removeSuccessor(pre.getAllSuccessorEdges().get(0)); // single regular edge source.removeSuccessor(edge);
current.removeSuccessor(current.getSuccessorEdges(Statement.STATEDGE_DIRECT_ALL).get(0));
lastif.getFirst().removeSuccessor(ifedge); lastif.removeSuccessor(elseedge);
for (StatEdge edge : node.getEdges(StatEdge.TYPE_EXCEPTION, DIRECTION_FORWARD)) { if (setHandlers.contains(edge.getDestination())) { node.removeSuccessor(edge);
firstif.getFirst().removeSuccessor(ifedge); firstif.removeSuccessor(firstif.getAllSuccessorEdges().get(0)); firstif.getFirst().removeSuccessor(ifedge); firstif.removeSuccessor(elseedge);
bstat.setExprents(DecHelper.copyExprentList(dest.getExprents())); ifst.getFirst().removeSuccessor(ifedge); StatEdge newedge = new StatEdge(StatEdge.TYPE_REGULAR, ifst.getFirst(), bstat); ifst.getFirst().addSuccessor(newedge); dest = isExitEdge(destedge); if (dest != null) { stat.removeSuccessor(destedge);