Initial commit of the configuration language and application

1 files changed, 25 insertions, 0 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/ApplicationConfigurationValidator.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/ApplicationConfigurationValidator.xtend
new file mode 100644
index 00000000..1024cb19
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/validation/ApplicationConfigurationValidator.xtend
@@ -0,0 +1,25 @@
+/*

+ * generated by Xtext 2.10.0

+ */

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

+

+

+/**

+ * This class contains custom validation rules. 

+ *

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

+ */

+class ApplicationConfigurationValidator extends AbstractApplicationConfigurationValidator {

+        

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

+//                                      ApplicationConfigurationPackage.Literals.GREETING__NAME,

+//                                      INVALID_NAME)

+//              }

+//      }

+        

+}