protected override void Visit_WHILE(WHILE node)
{
GNode save = new GNode(node, last, this);
Visit(node.statements);
if (last != null)
{
last.successors.AddLast(save);
}
last = save;
}
protected override void Visit_WHILE(WHILE node)
{
/* MOVE CODE HERE */
}
protected virtual void Visit_WHILE(WHILE node)
{
}
