public void loadModelFromBoogie() { LoadBoogieForm loadform = new LoadBoogieForm(launchedFromAddin, ctrl); if (parameterConfiguration != null) { loadform.setParameterConfiguration(parameterConfiguration); } else { loadform.reloadParameterConfiguration(); } DialogResult dialogResult; dialogResult = loadform.ShowDialog(); if (dialogResult != DialogResult.OK) { return; } parameterConfiguration = loadform.GetParameterConfiguration(); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); loadModel(parameterConfiguration, Loader.LoaderTask.LoaderTaskBoogie); }
public void loadModelFromBoogie() { LoadBoogieForm loadform = new LoadBoogieForm(launchedFromAddin, ctrl); if (parameterConfiguration != null) { loadform.setParameterConfiguration(parameterConfiguration); } else { loadform.reloadParameterConfiguration(); } DialogResult dialogResult; dialogResult = loadform.ShowDialog(); if (dialogResult != DialogResult.OK) return; parameterConfiguration = loadform.GetParameterConfiguration(); ParameterConfiguration.saveParameterConfigurationToSettings(parameterConfiguration); loadModel(parameterConfiguration, Loader.LoaderTask.LoaderTaskBoogie); }