virtual public void catch_clause(catch_clause ast, int indent)
{
// Write("catch (", indent);
// visit(ast.ty);
// if (ast.id != null)
// Write(" {0}", ast.id.str);
// Write(")");
// statement(ast.block, indent + 1);
}
public virtual void catch_clause(catch_clause ast)
{
statement(ast.block);
}
