public FlowBranchingTryFinally (FlowBranching parent,
ExceptionStatement stmt)
: base (parent, BranchingType.Exception, SiblingType.Try,
null, stmt.loc)
{
this.stmt = stmt;
}
public FlowBranchingException StartFlowBranching (ExceptionStatement stmt)
{
FlowBranchingException branching = new FlowBranchingException (CurrentBranching, stmt);
current_flow_branching = branching;
return branching;
}