示例#1
0
        // <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);
        }
示例#2
0
 // <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);
 }