public void CompleteAnalysis() { if (State == ESimState.DesignAnalysisCompleted) { return; } State = ESimState.DesignAnalysis; BehavioralAnalyzer.DoBehavioralAnalysis(this); State = ESimState.DesignAnalysisCompleted; }
internal void RunRefinements(IProject targetProject) { State = ESimState.DesignAnalysis; while (_refinementQ.Any()) { BeginRefinement(); IRefinementCycle refine = _refinementQ.Dequeue(); refine.Refine(this, targetProject); Elaborate(); State = ESimState.DesignAnalysis; BehavioralAnalyzer.DoBehavioralAnalysis(this); } State = ESimState.RefinementsCompleted; }