selfEdges= graph.removeSelfEdges(header);
}
void rollOut_(Block block)
{
WhileStatement loopStmt= new WhileStatement();
Block loopBody= new Block();
loopStmt.setBlock(loopBody);
loopStmt.setExpression(new BooleanLiteral(true));
block.appendChild(loopStmt);
Iterator iter= selfEdges.iterator();
while (iter.hasNext())
{
Edge edge= (Edge) iter.next();
if (!edge.isGlobal())
continue;
loopStmt.isLabeled();
produceJump(edge, loopStmt);
}
graph.rollOut(header, loopBody);
}