return header instanceof TryHeaderNode;
}
void apply_()
{
TryHeaderNode head= (TryHeaderNode) header;
catchNodes= head.getCatchNodes();
for (Node catchNode : head.getCatchNodes())
{
graph.rerootOutEdges(catchNode, newNode, false);
graph.removeInEdges(catchNode);
graph.removeNode(catchNode);
}
tryBodyNode= head.getTryBody();
graph.rerootOutEdges(tryBodyNode, newNode, false);
graph.removeInEdges(tryBodyNode);
graph.removeNode(tryBodyNode);
finallyNode= head.getFinallyNode();
if (finallyNode != null)
{
Block b= finallyNode.block;
b.removeChild(b.getFirstChild());