WebDSL-DataValidation.sdf3
pdmosses/webdsl-statix/webdslstatix/syntax/WebDSL-DataValidation.sdf3
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
26
27
28
29
30
31
32
33
34
35
36
37
|
module WebDSL-DataValidation
imports
WebDSL-Action
WebDSL-Lexical
WebDSL-UI
WebDSL-DataModel
WebDSL-Core
context-free syntax
Annotation.ValidateCreateAnno = <validatecreate ( <Exp> , <Exp> )>
Annotation.ValidateUpdateAnno = <validateupdate ( <Exp> , <Exp> )>
Annotation.ValidateDeleteAnno = <validatedelete ( <Exp> , <Exp> )>
Annotation.ValidateAnno = <validate ( <Exp> , <Exp> )>
Annotation.NamedValidateAnno = <<Id> : validate ( <Exp> , <Exp> )>
EntityBodyDeclaration.ValidateEntity = <
validate ( <Exp> , <Exp> )
>
Statement.ValidateStatement = <
validate ( <Exp> , <Exp> ) ;
>
Statement.NamedValidateStatement = <
<Id> : validate ( <Exp> , <Exp> ) ;
>
ThisCall = <validate ( <Exp> , <Exp> )> {reject}
TemplateCall.ValidationErrors = <validationErrors ( <Id> )>
TemplateCall.ValidationErrorsEmpty = <validationErrors ( )>
lexical syntax
TemplateId = "validationErrors" {reject}
|