From 5c4471e3a4cd273bf68eb2ccc1d91f99b5c8c7bc Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 6 Mar 2019 17:26:43 -0500 Subject: Implement Enum handling and study hierarchy handling --- ...VampireLanguageValidatorConfigurationBlock.java | 65 ++++++++++++++++++++++ 1 file changed, 65 insertions(+) create mode 100644 Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ui/src-gen/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidatorConfigurationBlock.java') 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; + } +} -- cgit v1.2.3-54-g00ecf