1 files changed, 35 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java
new file mode 100644
index 00000000..ad6c3a18
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ui/src-gen/org/eclipse/viatra/solver/language/validation/SolverLanguageValidatorConfigurationBlock.java
@@ -0,0 +1,35 @@
+/*

+ * generated by Xtext 2.18.0.M3

+ */

+package org.eclipse.viatra.solver.language.validation;

+

+import org.eclipse.jface.dialogs.IDialogSettings;

+import org.eclipse.swt.widgets.Composite;

+import org.eclipse.xtext.ui.validation.AbstractValidatorConfigurationBlock;

+

+@SuppressWarnings("restriction")

+public class SolverLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock {

+

+        protected static final String SETTINGS_SECTION_NAME = "SolverLanguage";

+

+        @Override

+        protected void fillSettingsPage(Composite composite, int nColumns, int defaultIndent) {

+                addComboBox(SolverLanguageConfigurableIssueCodesProvider.DEPRECATED_MODEL_PART, "Deprecated Model Part", composite, defaultIndent);

+        }

+

+        @Override

+        public void dispose() {

+                storeSectionExpansionStates(getDialogSettings());

+                super.dispose();

+        }

+

+        @Override

+        protected IDialogSettings getDialogSettings() {

+                IDialogSettings dialogSettings = super.getDialogSettings();

+                IDialogSettings section = dialogSettings.getSection(SETTINGS_SECTION_NAME);

+                if (section == null) {

+                        return dialogSettings.addNewSection(SETTINGS_SECTION_NAME);

+                }

+                return section;

+        }

+}