1 files changed, 24 insertions, 0 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/validation/SmtLanguageValidator.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/validation/SmtLanguageValidator.xtend
new file mode 100644
index 00000000..2ae6130f
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/validation/SmtLanguageValidator.xtend
@@ -0,0 +1,24 @@
+/*

+ * generated by Xtext

+ */

+package hu.bme.mit.inf.dslreasoner.validation

+//import org.eclipse.xtext.validation.Check

+

+/**

+ * Custom validation rules. 

+ *

+ * see http://www.eclipse.org/Xtext/documentation.html#validation

+ */

+class SmtLanguageValidator extends AbstractSmtLanguageValidator {

+

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

+//                                      MyDslPackage.Literals.GREETING__NAME,

+//                                      INVALID_NAME)

+//              }

+//      }

+}