VAMPIRE: post-submission push

1 files changed, 24 insertions, 0 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.xtend
new file mode 100644
index 00000000..daeb9860
--- /dev/null
+++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.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 AlloyLanguageValidator extends AbstractAlloyLanguageValidator {
+
+//  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)
+//              }
+//      }
+}