// <summary>
// Starts a new code branching for block `block'.
// </summary>
public FlowBranching StartFlowBranching(Block block)
{
Set(Options.DoFlowAnalysis);
current_flow_branching = FlowBranching.CreateBranching(
CurrentBranching, FlowBranching.BranchingType.Block, block, block.StartLocation);
return(current_flow_branching);
}
// <summary>
// Starts a new code branching. This inherits the state of all local
// variables and parameters from the current branching.
// </summary>
public FlowBranching StartFlowBranching(FlowBranching.BranchingType type, Location loc)
{
current_flow_branching = FlowBranching.CreateBranching(CurrentBranching, type, null, loc);
return(current_flow_branching);
}