public void StartBuildingNewGraph(FlowGraphId newGraphId) { Contract.Requires <InvalidOperationException>(this.Graph == null); this.nodeIdProvider = new FlowNodeId.Provider(); this.edgeIdProvider = new InnerFlowEdgeId.Provider(); this.variableIdProvider = new LocalFlowVariableId.Provider(); this.Graph = new FlowGraph(newGraphId, this); }
public FlowGraphBuilder(FlowGraphId newGraphId) { this.StartBuildingNewGraph(newGraphId); }