initial commit

1 files changed, 25 insertions, 0 deletions

diff --git a/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend b/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend
new file mode 100644
index 00000000..a7ff7252
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src/org/eclipse/viatra/solver/language/validation/SolverLanguageValidator.xtend
@@ -0,0 +1,25 @@
+/*

+ * generated by Xtext 2.18.0.M3

+ */

+package org.eclipse.viatra.solver.language.validation

+

+

+/**

+ * This class contains custom validation rules. 

+ *

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

+ */

+class SolverLanguageValidator extends AbstractSolverLanguageValidator {

+        

+//      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', 

+//                                      SolverLanguagePackage.Literals.GREETING__NAME,

+//                                      INVALID_NAME)

+//              }

+//      }

+        

+}