private void loadModel(ParameterConfiguration config, Loader.LoaderTask task) { try { // Create a new loader and LoadingProgressForm and execute the loading Loader loader = new Loader(config, task); LoadingProgressForm lprogf = new LoadingProgressForm(loader); lprogf.ShowDialog(); model = loader.GetModel(); loadTree(); } catch (Exception e) { MessageBox.Show(String.Format("Cannot load model for current configuration:\n\n\"{0}\"", e)); return; } }
private void Z3AxiomProfiler_OnLoadEvent(object sender, EventArgs e) { if (!this.launchedFromAddin) { if (parameterConfiguration != null) { Loader.LoaderTask task = Loader.LoaderTask.LoaderTaskBoogie; if ((parameterConfiguration.z3LogFile != null) && (parameterConfiguration.z3LogFile != "")) { task = Loader.LoaderTask.LoaderTaskParse; } loadModel(parameterConfiguration, task); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); } } }