Skip to content

WebDSL-Action-sig.stx

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
module 

imports
  signatures/WebDSL-Core-sig
  signatures/WebDSL-DataModel-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-Search-sig
  signatures/WebDSL-UI-sig
  signatures/HQL-sig

signature

  sorts
    
    
    
    
    
    
    
    
    
    ThisLex = string
    
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    OptSort-Plhdr : OptSort
    Block-Plhdr : Block
    Function-Plhdr : Function
    ElseIfStatement-Plhdr : ElseIfStatement
    OptElse-Plhdr : OptElse
    Case-Plhdr : Case
    TypeCaseAlt-Plhdr : TypeCaseAlt
    OptTypeAlias-Plhdr : OptTypeAlias
    CaseAltExps-Plhdr : CaseAltExps
    ConstValue-Plhdr : ConstValue
    Exp-Plhdr : Exp
    PropAssignment-Plhdr : PropAssignment
    ObjectPropertyAssignment-Plhdr : ObjectPropertyAssignment
    Mapping-Plhdr : Mapping
    ThisCall-Plhdr : ThisCall
    FAExp-Plhdr : FAExp
    OptGroupBy-Plhdr : OptGroupBy
    GroupBy-Plhdr : GroupBy
    ForExp-Plhdr : ForExp
    HqlExp-Plhdr : HqlExp
    LimitValueExp-Plhdr : LimitValueExp
    DslExp-Plhdr : DslExp
    EmailCall-Plhdr : EmailCall

signature

  constructors
     : FunId * OptFormalArgs * OptSort * Block -> Function
    OptSortNone : OptSort
     : Sort -> OptSort
    GlobalFunction : Function -> Definition
    CachedGlobalFunction : Function -> Definition
    ExtendGlobalFunction : Function -> Definition
    EntityFunction : Function -> EntityBodyDeclaration
    CachedFunction : Function -> EntityBodyDeclaration
    ExtendFunction : Function -> EntityBodyDeclaration
    StaticEntityFunction : Function -> EntityBodyDeclaration
    FunctionExp : OptFormalArgs * OptSort * Block -> Exp
    FunctionRef : FunId * list(Sort) * OptSort -> Exp
    FunctionRefCall : FunId * list(Sort) * OptSort * list(Exp) -> Exp
    FunctionRefCallPartial : FunId * list(Sort) * OptSort * list(Exp) -> Exp
     : list(Statement) -> Block
    Block2Statement : Block -> Statement
    Stat : Exp -> Statement
     : Exp -> Statement
    ReturnEmpty : Statement
    GoTo : PageCall -> Statement
    GoToAlt : PageCall -> Statement
    VarDecl : VarId * Sort -> Statement
    VarDeclInit : VarId * Sort * Exp -> Statement
    VarDeclInitInferred : VarId * Exp -> Statement
    If : Exp * Block * Block -> Statement
    IfNoElse : Exp * Block -> Statement
    IfWithElseIf : Exp * Block * list(ElseIfStatement) * OptElse -> Statement
    ElseIf : Exp * Block -> ElseIfStatement
    OptElseSome : Block -> OptElse
    OptElseNone : OptElse
    CaseStmt : list(Exp) * list(Case) -> Statement
    CaseAlt : CaseAltExps * Block -> Case
    CaseAltDefault : Block -> Case
    TypeCaseStmt : Exp * OptTypeAlias * list(TypeCaseAlt) -> Statement
    TypeAlias : Id -> OptTypeAlias
    OptTypeAliasNone : OptTypeAlias
    TypeCaseAlt : Sort * Block -> TypeCaseAlt
    TypeCaseAltDefault : Block -> TypeCaseAlt
    CaseExps : list(Exp) -> CaseAltExps
    ForStmt : VarId * Sort * Exp * OptFilter * Block -> Statement
    ForStmtInferred : VarId * Exp * OptFilter * Block -> Statement
    ForAllStmt : VarId * Sort * OptFilter * Block -> Statement
    ForCountStmt : VarId * Exp * Exp * Block -> Statement
    WhileStmt : Exp * Block -> Statement
    Const : ConstValue -> Exp
    Int : Int -> ConstValue
    Long : Long -> ConstValue
    Float : Float -> ConstValue
    StringConst : String -> ConstValue
     : VarId -> Exp
     : FAExp * PropertyId -> Exp
     : Exp * Exp -> Exp
    This : ThisLex -> Exp
     : Exp -> FAExp
     : FAVarId -> FAExp
    FAGlobal : FAExp
    FASession : FAExp
    ObjectCreation : SimpleSortLex * list(PropAssignment) -> Exp
    PropAssignment : ObjectPropertyAssignment -> PropAssignment
    PropAssignmentComma : ObjectPropertyAssignment -> PropAssignment
    ObjectPropertyAssignment : Id * Exp -> ObjectPropertyAssignment
     : Exp * Exp -> Statement
    MapCreation : list(Mapping) -> Exp
    Mapping : Exp * Exp -> Mapping
     : list(Exp) -> Exp
     : list(Exp) -> Exp
    TypedListCreation : Sort * list(Exp) -> Exp
    TypedSetCreation : Sort * list(Exp) -> Exp
     : ThisCall -> Exp
     : FunId * list(Exp) -> ThisCall
    Call : Exp * Id * list(Exp) -> Exp
    IsA : Exp * Sort -> Exp
     : Exp * Sort -> Exp
    InColl : Exp * Exp -> Exp
    IfExp : Exp * Exp * Exp -> Exp
    OutputShorthand : Exp -> OutputShorthand
    SimpleThisCall : ThisCall -> SimpleExp
    SimpleCall : SimpleExp * Id * list(Exp) -> SimpleExp
    InterpExp : Exp -> StringPart
    Eq : Exp * Exp -> Exp
    NotEq : Exp * Exp -> Exp
    LargerThan : Exp * Exp -> Exp
    LargerThanOrEqual : Exp * Exp -> Exp
    SmallerThan : Exp * Exp -> Exp
    SmallerThanOrEqual : Exp * Exp -> Exp
    True : Exp
    False : Exp
    Null : Exp
    And : Exp * Exp -> Exp
    Or : Exp * Exp -> Exp
    Not : Exp -> Exp
    ForExp : Exp * VarId * Sort * Exp * OptFilter * OptGroupBy -> ForExp
    ForExpInferred : Exp * VarId * Exp * OptFilter * OptGroupBy -> ForExp
    ForExpShort : VarId * Sort * Exp -> ForExp
    ForExpShortFilter : VarId * Sort * Exp * Filter -> ForExp
    ForExpShortFilterInferred : VarId * Exp * Filter -> ForExp
    ForExpShortGroupBy : VarId * Sort * Exp * GroupBy -> ForExp
    ForExpShortGroupByInferred : VarId * Exp * GroupBy -> ForExp
    ForExpShortFilterGroupBy : VarId * Sort * Exp * Filter * GroupBy -> ForExp
    ForExpShortFilterGroupByInferred : VarId * Exp * Filter * GroupBy -> ForExp
    ForExp2Exp : ForExp -> Exp
    OptGroupBySome : GroupBy -> OptGroupBy
    OptGroupByNone : OptGroupBy
    GroupBy : Exp -> GroupBy
    AndForExp : ForExp -> Exp
    OrForExp : ForExp -> Exp
    Mul : Exp * Exp -> Exp
    Div : Exp * Exp -> Exp
    Mod : Exp * Exp -> Exp
    Add : Exp * Exp -> Exp
    Sub : Exp * Exp -> Exp
    HqlExp : HqlExp -> Exp
    HqlQuery : HQLQueryRule -> HqlExp
    HqlQueryLimit : HQLQueryRule * LimitValueExp -> HqlExp
    HqlQueryLimitOffset : HQLQueryRule * LimitValueExp * LimitValueExp -> HqlExp
    LimitValueExp : Exp -> LimitValueExp
    LimitValueDslExp : DslExp -> LimitValueExp
    DslExp : Exp -> DslExp
    HqlStatement : HQLDeleteStatement -> Statement
    RenderEmailFunctionCall : EmailCall -> Exp
    EmailFunctionCall : EmailCall -> Exp
    EmailFunctionCallAlt : EmailCall -> Exp
    SendEmailFunctionCall : EmailCall -> Exp
    EmailCall : Id * list(Exp) -> EmailCall
    RenderTemplateFunctionCall : TemplateCall -> Exp
    ValidateTemplateFunctionCall : TemplateCall -> Exp