return branching;
}
- public FlowBranchingIterator StartFlowBranching (Iterator iterator, FlowBranching parent)
+ public FlowBranchingIterator StartFlowBranching (StateMachineInitializer iterator, FlowBranching parent)
{
FlowBranchingIterator branching = new FlowBranchingIterator (parent, iterator);
current_flow_branching = branching;
UsingInitializerScope = 1 << 12,
+ LockScope = 1 << 13,
+
/// <summary>
/// Whether control flow analysis is enabled
/// </summary>