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