@Override public Statement getSimpleCopy() { return new SequenceStatement(); } }
public static Statement isHead2Block(Statement head) { if (head.getLastBasicType() != Statement.LASTBASICTYPE_GENERAL) { return null; } // at most one outgoing edge StatEdge edge = null; List<StatEdge> lstSuccs = head.getSuccessorEdges(STATEDGE_DIRECT_ALL); if (!lstSuccs.isEmpty()) { edge = lstSuccs.get(0); } if (edge != null && edge.getType() == StatEdge.TYPE_REGULAR) { Statement stat = edge.getDestination(); if (stat != head && stat.getPredecessorEdges(StatEdge.TYPE_REGULAR).size() == 1 && !stat.isMonitorEnter()) { if (stat.getLastBasicType() == Statement.LASTBASICTYPE_GENERAL) { if (DecHelper.checkStatementExceptions(Arrays.asList(head, stat))) { return new SequenceStatement(head, stat); } } } } return null; }
SequenceStatement sequence = new SequenceStatement(lst); sequence.setAllParent();
SequenceStatement sequence = new SequenceStatement(lstStatements); sequence.setAllParent();
source == parent.getFirst()) { IfStatement ifparent = (IfStatement)parent; SequenceStatement block = new SequenceStatement(lst); block.setAllParent(); lst.add(0, source); SequenceStatement block = new SequenceStatement(lst); block.setAllParent();
SequenceStatement block = new SequenceStatement(Arrays.asList(loop, target)); loop.getParent().replaceStatement(loop, block); block.setAllParent();
stelse = new SequenceStatement(lst); stelse.setAllParent(); SequenceStatement newseq = new SequenceStatement(Arrays.asList(ifstat, ifbranch)); stelse = new SequenceStatement(lst); stelse.setAllParent();
oldexitedge.closure.addLabeledEdge(newexitedge); SequenceStatement block = new SequenceStatement(Arrays.asList(stat, bstat)); block.setAllParent();
public Statement getSimpleCopy() { return new SequenceStatement(); } }
public static Statement isHead2Block(Statement head) { if (head.getLastBasicType() != Statement.LASTBASICTYPE_GENERAL) { return null; } // at most one outgoing edge StatEdge edge = null; List<StatEdge> lstSuccs = head.getSuccessorEdges(STATEDGE_DIRECT_ALL); if (!lstSuccs.isEmpty()) { edge = lstSuccs.get(0); } if (edge != null && edge.getType() == StatEdge.TYPE_REGULAR) { Statement stat = edge.getDestination(); if (stat != head && stat.getPredecessorEdges(StatEdge.TYPE_REGULAR).size() == 1 && !stat.isMonitorEnter()) { if (stat.getLastBasicType() == Statement.LASTBASICTYPE_GENERAL) { if (DecHelper.checkStatementExceptions(Arrays.asList(head, stat))) { return new SequenceStatement(head, stat); } } } } return null; }
SequenceStatement sequence = new SequenceStatement(lst); sequence.setAllParent();
SequenceStatement sequence = new SequenceStatement(lstStatements); sequence.setAllParent();
source == parent.getFirst()) { IfStatement ifparent = (IfStatement)parent; SequenceStatement block = new SequenceStatement(lst); block.setAllParent(); lst.add(0, source); SequenceStatement block = new SequenceStatement(lst); block.setAllParent();
SequenceStatement block = new SequenceStatement(Arrays.asList(loop, target)); loop.getParent().replaceStatement(loop, block); block.setAllParent();
stelse = new SequenceStatement(lst); stelse.setAllParent(); SequenceStatement newseq = new SequenceStatement(Arrays.asList(ifstat, ifbranch)); stelse = new SequenceStatement(lst); stelse.setAllParent();
oldexitedge.closure.addLabeledEdge(newexitedge); SequenceStatement block = new SequenceStatement(Arrays.asList(stat, bstat)); block.setAllParent();