blob: 8d7a9f76e6ee9e96d79c74dbd383995f88705ca6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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)
// }
// }
}
|
