1 files changed, 22 insertions, 0 deletions

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

+ * generated by Xtext 2.14.0

+ */

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

+

+import org.eclipse.xtext.preferences.PreferenceKey;

+import org.eclipse.xtext.util.IAcceptor;

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

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

+

+@SuppressWarnings("restriction")

+public class VampireLanguageConfigurableIssueCodesProvider extends ConfigurableIssueCodesProvider {

+        protected static final String ISSUE_CODE_PREFIX = "ca.mcgill.ecse.dslreasoner.";

+

+        public static final String DEPRECATED_MODEL_PART = ISSUE_CODE_PREFIX + "deprecatedModelPart";

+

+        @Override

+        protected void initialize(IAcceptor<PreferenceKey> acceptor) {

+                super.initialize(acceptor);

+                acceptor.accept(create(DEPRECATED_MODEL_PART, SeverityConverter.SEVERITY_WARNING));

+        }

+}