1 files changed, 65 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java
new file mode 100644
index 00000000..9faf6232
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java
@@ -0,0 +1,65 @@
+/*

+ * generated by Xtext 2.14.0

+ */

+package ca.mcgill.ecse.dslreasoner.validation;

+

+import org.eclipse.core.resources.IProject;

+import org.eclipse.core.resources.ResourcesPlugin;

+import org.eclipse.core.runtime.jobs.Job;

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

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

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

+import org.eclipse.xtext.ui.preferences.OptionsConfigurationBlock;

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

+import org.eclipse.xtext.validation.SeverityConverter;

+

+@SuppressWarnings("restriction")

+public class VampireLanguageValidatorConfigurationBlock extends AbstractValidatorConfigurationBlock {

+

+        @Override

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

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

+        }

+

+        @Override

+        protected Job getBuildJob(IProject project) {

+                Job buildJob = new OptionsConfigurationBlock.BuildJob("Validation Settings Changed", project);

+                buildJob.setRule(ResourcesPlugin.getWorkspace().getRuleFactory().buildRule());

+                buildJob.setUser(true);

+                return buildJob;

+        }

+

+        @Override

+        protected String[] getFullBuildDialogStrings(boolean workspaceSettings) {

+                return new String[] { "Validation Settings Changed",

+                                "Validation settings have changed. A full rebuild is required for changes to take effect. Do the full build now?" };

+        }

+

+        @Override

+        protected void validateSettings(String changedKey, String oldValue, String newValue) {

+        }

+

+        protected Combo addComboBox(String prefKey, String label, Composite parent, int indent) {

+                String[] values = new String[] { SeverityConverter.SEVERITY_ERROR, SeverityConverter.SEVERITY_WARNING,

+                                SeverityConverter.SEVERITY_INFO, SeverityConverter.SEVERITY_IGNORE };

+                String[] valueLabels = new String[] { "Error", "Warning", "Info", "Ignore" };

+                Combo comboBox = addComboBox(parent, label, prefKey, indent, values, valueLabels);

+                return comboBox;

+        }

+

+        @Override

+        public void dispose() {

+                storeSectionExpansionStates(getDialogSettings());

+                super.dispose();

+        }

+

+        @Override

+        protected IDialogSettings getDialogSettings() {

+                IDialogSettings dialogSettings = super.getDialogSettings();

+                IDialogSettings section = dialogSettings.getSection("VampireLanguage");

+                if (section == null) {

+                        return dialogSettings.addNewSection("VampireLanguage");

+                }

+                return section;

+        }

+}