1 files changed, 25 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidator.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidator.xtend
new file mode 100644
index 00000000..8d7a9f76
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/validation/VampireLanguageValidator.xtend
@@ -0,0 +1,25 @@
+/*

+ * generated by Xtext 2.12.0

+ */

+package ca.mcgill.ecse.dslreasoner.validation

+

+

+/**

+ * This class contains custom validation rules. 

+ *

+ * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation

+ */

+class VampireLanguageValidator extends AbstractVampireLanguageValidator {

+        

+//      public static val INVALID_NAME = 'invalidName'

+//

+//      @Check

+//      def checkGreetingStartsWithCapital(Greeting greeting) {

+//              if (!Character.isUpperCase(greeting.name.charAt(0))) {

+//                      warning('Name should start with a capital', 

+//                                      VampireLanguagePackage.Literals.GREETING__NAME,

+//                                      INVALID_NAME)

+//              }

+//      }

+        

+}