|
Lines 17-22
Link Here
|
| 17 |
|
17 |
|
| 18 |
«DEFINE generate(List[String] packageQNames) FOR Grammar» |
18 |
«DEFINE generate(List[String] packageQNames) FOR Grammar» |
| 19 |
|
19 |
|
|
|
20 |
«FILE validationPackage().asPath() + "/" + getName() + "Extensions.ext" SRC-» |
| 21 |
«ENDFILE» |
| 22 |
|
| 20 |
«FILE validationPackage().asPath() + "/" + getName() + "FastChecks.chk" SRC-» |
23 |
«FILE validationPackage().asPath() + "/" + getName() + "FastChecks.chk" SRC-» |
| 21 |
/* |
24 |
/* |
| 22 |
* This check file is used to specify inexpensive constraints for the |
25 |
* This check file is used to specify inexpensive constraints for the |
|
Lines 31-36
Link Here
|
| 31 |
* context Class WARNING "Name should start with a capital" : |
34 |
* context Class WARNING "Name should start with a capital" : |
| 32 |
* name.toFirstUpper() == name; |
35 |
* name.toFirstUpper() == name; |
| 33 |
*/ |
36 |
*/ |
|
|
37 |
|
| 38 |
extension «validationPackage().replaceAll('\\.', '::')»::«getName()»Extensions; |
| 34 |
«ENDFILE» |
39 |
«ENDFILE» |
| 35 |
|
40 |
|
| 36 |
«FILE validationPackage().asPath() + "/" + getName() + "Checks.chk" SRC-» |
41 |
«FILE validationPackage().asPath() + "/" + getName() + "Checks.chk" SRC-» |
|
Lines 46-51
Link Here
|
| 46 |
* context Class WARNING "Name should start with a capital" : |
51 |
* context Class WARNING "Name should start with a capital" : |
| 47 |
* name.toFirstUpper() == name; |
52 |
* name.toFirstUpper() == name; |
| 48 |
*/ |
53 |
*/ |
|
|
54 |
|
| 55 |
extension «validationPackage().replaceAll('\\.', '::')»::«getName()»Extensions; |
| 49 |
«ENDFILE» |
56 |
«ENDFILE» |
| 50 |
|
57 |
|
| 51 |
«FILE validationPackage().asPath() + "/" + getName() + "ExpensiveChecks.chk" SRC-» |
58 |
«FILE validationPackage().asPath() + "/" + getName() + "ExpensiveChecks.chk" SRC-» |
|
Lines 56-66
Link Here
|
| 56 |
* |
63 |
* |
| 57 |
* import myDsl; |
64 |
* import myDsl; |
| 58 |
* |
65 |
* |
| 59 |
* extension org::xtext::example::MyExtensions; |
66 |
* extension org::xtext::example::validation::MyDslExtensions; |
| 60 |
* |
67 |
* |
| 61 |
* context Model ERROR "Inconsistent Model" : |
68 |
* context Model ERROR "Inconsistent Model" : |
| 62 |
* invariantThatIsComplexToCheck(); |
69 |
* invariantThatIsComplexToCheck(); |
| 63 |
*/ |
70 |
*/ |
|
|
71 |
|
| 72 |
extension «validationPackage().replaceAll('\\.', '::')»::«getName()»Extensions; |
| 64 |
«ENDFILE» |
73 |
«ENDFILE» |
| 65 |
|
74 |
|
| 66 |
«FILE getCheckValidatorName().asPath()+".java" SRC_GEN» |
75 |
«FILE getCheckValidatorName().asPath()+".java" SRC_GEN» |