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);
}
