public ToolView(IIdeServices ideServices)
{
Contract.Requires <ArgumentNullException>(ideServices != null, nameof(ideServices));
this.ideServices = ideServices;
this.CallGraph = new CallGraphView(this);
this.Replay = new ReplayView(this);
this.DisplayFlowGraphCommand = new Command(this.DisplayFlowGraph);
this.ExploreReachabilityCommand = new Command(() => this.Explore(false));
this.ExploreCorrectnessCommand = new Command(() => this.Explore(true));
this.CancelCommand = new Command(this.Cancel);
this.UpdateCurrentSolution();
}
public IdeHub(IIdeServices ideServices)
{
this.ideServices = ideServices;
}
