Implement Enum handling and study hierarchy handling

2 files changed, 23 insertions, 2 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/validation/AbstractVampireLanguageValidator.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/validation/AbstractVampireLanguageValidator.java
index 65104ffb..8c94ec86 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/validation/AbstractVampireLanguageValidator.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/validation/AbstractVampireLanguageValidator.java
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.validation;

 

@@ -16,5 +16,4 @@ public abstract class AbstractVampireLanguageValidator extends AbstractDeclarati
                 result.add(ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage.eINSTANCE);

                 return result;

         }

-        

 }

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));

+        }

+}