예제 #1
0
        public void loadModelFromZ3Logfile()
        {
            LoadZ3LogForm loadform = new LoadZ3LogForm(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.LoaderTaskParse);
        }
예제 #2
0
        public void loadModelFromZ3Logfile()
        {
            LoadZ3LogForm loadform = new LoadZ3LogForm(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.LoaderTaskParse);
        }