expressir 0.2.16-x64-mingw32 → 0.2.17-x64-mingw32
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/exe/format +51 -13
- data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
- data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
- data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
- data/lib/expressir/express_exp/formatter.rb +185 -135
- data/lib/expressir/express_exp/parser.rb +29 -29
- data/lib/expressir/express_exp/schema_head_formatter.rb +1 -4
- data/lib/expressir/express_exp/visitor.rb +11 -6
- data/lib/expressir/model/entity.rb +6 -6
- data/lib/expressir/model/expressions/query_expression.rb +3 -3
- data/lib/expressir/model/function.rb +15 -11
- data/lib/expressir/model/informal_proposition.rb +4 -1
- data/lib/expressir/model/interfaced_item.rb +4 -1
- data/lib/expressir/model/model_element.rb +20 -7
- data/lib/expressir/model/procedure.rb +15 -11
- data/lib/expressir/model/repository.rb +3 -3
- data/lib/expressir/model/rule.rb +16 -12
- data/lib/expressir/model/schema.rb +52 -45
- data/lib/expressir/model/statements/alias.rb +3 -3
- data/lib/expressir/model/statements/repeat.rb +3 -3
- data/lib/expressir/model/subtype_constraint.rb +1 -6
- data/lib/expressir/model/type.rb +9 -5
- data/lib/expressir/version.rb +1 -1
- data/original/examples/syntax/{hyperlink.exp → multiple.exp} +8 -8
- data/original/examples/syntax/multiple.yaml +180 -0
- data/original/examples/syntax/multiple_formatted.exp +71 -0
- data/original/examples/syntax/multiple_hyperlink_formatted.exp +71 -0
- data/original/examples/syntax/multiple_schema_head_hyperlink_formatted.exp +13 -0
- data/original/examples/syntax/remark.exp +41 -41
- data/original/examples/syntax/remark.yaml +445 -0
- data/original/examples/syntax/remark_formatted.exp +62 -50
- data/original/examples/syntax/{simple.exp → single.exp} +1 -1
- data/original/examples/syntax/single.yaml +8 -0
- data/original/examples/syntax/single_formatted.exp +6 -0
- data/original/examples/syntax/single_formatted.yaml +18 -0
- data/original/examples/syntax/syntax.exp +29 -19
- data/original/examples/syntax/syntax.yaml +3438 -0
- data/original/examples/syntax/syntax_formatted.exp +271 -131
- data/original/examples/syntax/syntax_schema_head_formatted.exp +18 -0
- data/spec/expressir/express_exp/formatter_spec.rb +110 -0
- data/spec/expressir/express_exp/parser_spec.rb +98 -0
- data/spec/expressir/model/{model_element/find_spec.rb → model_element_spec.rb} +93 -10
- metadata +17 -16
- data/original/examples/syntax/hyperlink_formatted.exp +0 -51
- data/original/examples/syntax/source.exp +0 -16
- data/spec/expressir/express_exp/formatter/remark_spec.rb +0 -28
- data/spec/expressir/express_exp/formatter/syntax_spec.rb +0 -28
- data/spec/expressir/express_exp/hyperlink_formatter_spec.rb +0 -28
- data/spec/expressir/express_exp/parser/multiple_spec.rb +0 -37
- data/spec/expressir/express_exp/parser/remark_spec.rb +0 -411
- data/spec/expressir/express_exp/parser/source_spec.rb +0 -29
- data/spec/expressir/express_exp/parser/syntax_spec.rb +0 -3086
- data/spec/expressir/express_exp/schema_head_formatter_spec.rb +0 -40
- data/spec/expressir/model/model_element/hash_spec.rb +0 -66
|
@@ -0,0 +1,445 @@
|
|
|
1
|
+
---
|
|
2
|
+
_class: Expressir::Model::Repository
|
|
3
|
+
schemas:
|
|
4
|
+
- _class: Expressir::Model::Schema
|
|
5
|
+
id: remark_schema
|
|
6
|
+
remarks:
|
|
7
|
+
- |-
|
|
8
|
+
Any character within the EXPRESS character set may occur between the start and end of
|
|
9
|
+
an embedded remark including the newline character; therefore, embedded remarks can span
|
|
10
|
+
several physical lines.
|
|
11
|
+
- The tail remark is written at the end of a physical line.
|
|
12
|
+
- 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'
|
|
13
|
+
- universal scope - schema before
|
|
14
|
+
- universal scope - schema
|
|
15
|
+
constants:
|
|
16
|
+
- _class: Expressir::Model::Constant
|
|
17
|
+
id: remark_constant
|
|
18
|
+
remarks:
|
|
19
|
+
- schema scope - constant
|
|
20
|
+
- universal scope - constant
|
|
21
|
+
type:
|
|
22
|
+
_class: Expressir::Model::Types::String
|
|
23
|
+
expression:
|
|
24
|
+
_class: Expressir::Model::Literals::String
|
|
25
|
+
value: xxx
|
|
26
|
+
types:
|
|
27
|
+
- _class: Expressir::Model::Type
|
|
28
|
+
id: remark_type
|
|
29
|
+
remarks:
|
|
30
|
+
- schema scope - type
|
|
31
|
+
- universal scope - type
|
|
32
|
+
type:
|
|
33
|
+
_class: Expressir::Model::Types::Enumeration
|
|
34
|
+
items:
|
|
35
|
+
- _class: Expressir::Model::EnumerationItem
|
|
36
|
+
id: remark_enumeration_item
|
|
37
|
+
remarks:
|
|
38
|
+
- schema scope - enumeration item
|
|
39
|
+
- schema scope - enumeration item, on the same level as the type
|
|
40
|
+
- universal scope - enumeration item
|
|
41
|
+
- universal scope - enumeration item, on the same level as the type
|
|
42
|
+
where:
|
|
43
|
+
- _class: Expressir::Model::Where
|
|
44
|
+
id: WR1
|
|
45
|
+
remarks:
|
|
46
|
+
- type scope - type where
|
|
47
|
+
- type scope - type where, with prefix
|
|
48
|
+
- schema scope - type where
|
|
49
|
+
- schema scope - type where, with prefix
|
|
50
|
+
- universal scope - type where
|
|
51
|
+
- universal scope - type where, with prefix
|
|
52
|
+
expression:
|
|
53
|
+
_class: Expressir::Model::Literals::Logical
|
|
54
|
+
value: :TRUE
|
|
55
|
+
informal_propositions:
|
|
56
|
+
- _class: Expressir::Model::InformalProposition
|
|
57
|
+
id: IP1
|
|
58
|
+
remarks:
|
|
59
|
+
- type scope - type informal proposition
|
|
60
|
+
- type scope - type informal proposition, with prefix
|
|
61
|
+
- schema scope - type informal proposition
|
|
62
|
+
- schema scope - type informal proposition, with prefix
|
|
63
|
+
- universal scope - type informal proposition
|
|
64
|
+
- universal scope - type informal proposition, with prefix
|
|
65
|
+
entities:
|
|
66
|
+
- _class: Expressir::Model::Entity
|
|
67
|
+
id: remark_entity
|
|
68
|
+
remarks:
|
|
69
|
+
- schema scope - entity
|
|
70
|
+
- universal scope - entity
|
|
71
|
+
attributes:
|
|
72
|
+
- _class: Expressir::Model::Attribute
|
|
73
|
+
id: remark_attribute
|
|
74
|
+
remarks:
|
|
75
|
+
- entity scope - entity attribute
|
|
76
|
+
- schema scope - entity attribute
|
|
77
|
+
- universal scope - entity attribute
|
|
78
|
+
kind: :EXPLICIT
|
|
79
|
+
type:
|
|
80
|
+
_class: Expressir::Model::Types::String
|
|
81
|
+
- _class: Expressir::Model::Attribute
|
|
82
|
+
id: remark_derived_attribute
|
|
83
|
+
remarks:
|
|
84
|
+
- entity scope - entity derived attribute
|
|
85
|
+
- schema scope - entity derived attribute
|
|
86
|
+
- universal scope - entity derived attribute
|
|
87
|
+
kind: :DERIVED
|
|
88
|
+
type:
|
|
89
|
+
_class: Expressir::Model::Types::String
|
|
90
|
+
expression:
|
|
91
|
+
_class: Expressir::Model::Literals::String
|
|
92
|
+
value: xxx
|
|
93
|
+
- _class: Expressir::Model::Attribute
|
|
94
|
+
id: remark_inverse_attribute
|
|
95
|
+
remarks:
|
|
96
|
+
- entity scope - entity inverse attribute
|
|
97
|
+
- schema scope - entity inverse attribute
|
|
98
|
+
- universal scope - entity inverse attribute
|
|
99
|
+
kind: :INVERSE
|
|
100
|
+
type:
|
|
101
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
102
|
+
id: remark_entity
|
|
103
|
+
expression:
|
|
104
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
105
|
+
id: remark_attribute
|
|
106
|
+
unique:
|
|
107
|
+
- _class: Expressir::Model::Unique
|
|
108
|
+
id: UR1
|
|
109
|
+
remarks:
|
|
110
|
+
- entity scope - entity unique
|
|
111
|
+
- schema scope - entity unique
|
|
112
|
+
- universal scope - entity unique
|
|
113
|
+
attributes:
|
|
114
|
+
- _class: Expressir::Model::Expressions::SimpleReference
|
|
115
|
+
id: remark_attribute
|
|
116
|
+
where:
|
|
117
|
+
- _class: Expressir::Model::Where
|
|
118
|
+
id: WR1
|
|
119
|
+
remarks:
|
|
120
|
+
- entity scope - entity where
|
|
121
|
+
- entity scope - entity where, with prefix
|
|
122
|
+
- schema scope - entity where
|
|
123
|
+
- schema scope - entity where, with prefix
|
|
124
|
+
- universal scope - entity where
|
|
125
|
+
- universal scope - entity where, with prefix
|
|
126
|
+
expression:
|
|
127
|
+
_class: Expressir::Model::Literals::Logical
|
|
128
|
+
value: :TRUE
|
|
129
|
+
informal_propositions:
|
|
130
|
+
- _class: Expressir::Model::InformalProposition
|
|
131
|
+
id: IP1
|
|
132
|
+
remarks:
|
|
133
|
+
- entity scope - entity informal proposition
|
|
134
|
+
- entity scope - entity informal proposition, with prefix
|
|
135
|
+
- schema scope - entity informal proposition
|
|
136
|
+
- schema scope - entity informal proposition, with prefix
|
|
137
|
+
- universal scope - entity informal proposition
|
|
138
|
+
- universal scope - entity informal proposition, with prefix
|
|
139
|
+
subtype_constraints:
|
|
140
|
+
- _class: Expressir::Model::SubtypeConstraint
|
|
141
|
+
id: remark_subtype_constraint
|
|
142
|
+
remarks:
|
|
143
|
+
- schema scope - subtype constraint
|
|
144
|
+
- universal scope - subtype constraint
|
|
145
|
+
applies_to:
|
|
146
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
147
|
+
id: remark_entity
|
|
148
|
+
functions:
|
|
149
|
+
- _class: Expressir::Model::Function
|
|
150
|
+
id: remark_function
|
|
151
|
+
remarks:
|
|
152
|
+
- schema scope - function
|
|
153
|
+
- universal scope - function
|
|
154
|
+
parameters:
|
|
155
|
+
- _class: Expressir::Model::Parameter
|
|
156
|
+
id: remark_parameter
|
|
157
|
+
remarks:
|
|
158
|
+
- function scope - function parameter
|
|
159
|
+
- schema scope - function parameter
|
|
160
|
+
- universal scope - function parameter
|
|
161
|
+
type:
|
|
162
|
+
_class: Expressir::Model::Types::String
|
|
163
|
+
return_type:
|
|
164
|
+
_class: Expressir::Model::Types::Boolean
|
|
165
|
+
types:
|
|
166
|
+
- _class: Expressir::Model::Type
|
|
167
|
+
id: remark_type
|
|
168
|
+
remarks:
|
|
169
|
+
- function scope - function type
|
|
170
|
+
- schema scope - function type
|
|
171
|
+
- universal scope - function type
|
|
172
|
+
type:
|
|
173
|
+
_class: Expressir::Model::Types::Enumeration
|
|
174
|
+
items:
|
|
175
|
+
- _class: Expressir::Model::EnumerationItem
|
|
176
|
+
id: remark_enumeration_item
|
|
177
|
+
remarks:
|
|
178
|
+
- function scope - function enumeration item
|
|
179
|
+
- function scope - function enumeration item, on the same level as the type
|
|
180
|
+
- schema scope - function enumeration item
|
|
181
|
+
- schema scope - function enumeration item, on the same level as the type
|
|
182
|
+
- universal scope - function enumeration item
|
|
183
|
+
- universal scope - function enumeration item, on the same level as the
|
|
184
|
+
type
|
|
185
|
+
constants:
|
|
186
|
+
- _class: Expressir::Model::Constant
|
|
187
|
+
id: remark_constant
|
|
188
|
+
remarks:
|
|
189
|
+
- function scope - function constant
|
|
190
|
+
- schema scope - function constant
|
|
191
|
+
- universal scope - function constant
|
|
192
|
+
type:
|
|
193
|
+
_class: Expressir::Model::Types::String
|
|
194
|
+
expression:
|
|
195
|
+
_class: Expressir::Model::Literals::String
|
|
196
|
+
value: xxx
|
|
197
|
+
variables:
|
|
198
|
+
- _class: Expressir::Model::Variable
|
|
199
|
+
id: remark_variable
|
|
200
|
+
remarks:
|
|
201
|
+
- function scope - function variable
|
|
202
|
+
- schema scope - function variable
|
|
203
|
+
- universal scope - function variable
|
|
204
|
+
type:
|
|
205
|
+
_class: Expressir::Model::Types::String
|
|
206
|
+
statements:
|
|
207
|
+
- _class: Expressir::Model::Statements::Alias
|
|
208
|
+
id: remark_alias
|
|
209
|
+
remarks:
|
|
210
|
+
- function alias scope - function alias
|
|
211
|
+
expression:
|
|
212
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
213
|
+
id: remark_variable
|
|
214
|
+
statements:
|
|
215
|
+
- _class: Expressir::Model::Statements::Null
|
|
216
|
+
- _class: Expressir::Model::Statements::Repeat
|
|
217
|
+
id: remark_repeat
|
|
218
|
+
remarks:
|
|
219
|
+
- function repeat scope - function repeat
|
|
220
|
+
bound1:
|
|
221
|
+
_class: Expressir::Model::Literals::Integer
|
|
222
|
+
value: '1'
|
|
223
|
+
bound2:
|
|
224
|
+
_class: Expressir::Model::Literals::Integer
|
|
225
|
+
value: '9'
|
|
226
|
+
statements:
|
|
227
|
+
- _class: Expressir::Model::Statements::Null
|
|
228
|
+
- _class: Expressir::Model::Statements::Assignment
|
|
229
|
+
ref:
|
|
230
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
231
|
+
id: remark_variable
|
|
232
|
+
expression:
|
|
233
|
+
_class: Expressir::Model::Expressions::QueryExpression
|
|
234
|
+
id: remark_query
|
|
235
|
+
remarks:
|
|
236
|
+
- function query scope - function query
|
|
237
|
+
aggregate_source:
|
|
238
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
239
|
+
id: remark_variable
|
|
240
|
+
expression:
|
|
241
|
+
_class: Expressir::Model::Literals::Logical
|
|
242
|
+
value: :TRUE
|
|
243
|
+
rules:
|
|
244
|
+
- _class: Expressir::Model::Rule
|
|
245
|
+
id: remark_rule
|
|
246
|
+
remarks:
|
|
247
|
+
- schema scope - rule
|
|
248
|
+
- universal scope - rule
|
|
249
|
+
applies_to:
|
|
250
|
+
- _class: Expressir::Model::Expressions::SimpleReference
|
|
251
|
+
id: remark_entity
|
|
252
|
+
types:
|
|
253
|
+
- _class: Expressir::Model::Type
|
|
254
|
+
id: remark_type
|
|
255
|
+
remarks:
|
|
256
|
+
- rule scope - rule type
|
|
257
|
+
- schema scope - rule type
|
|
258
|
+
- universal scope - rule type
|
|
259
|
+
type:
|
|
260
|
+
_class: Expressir::Model::Types::Enumeration
|
|
261
|
+
items:
|
|
262
|
+
- _class: Expressir::Model::EnumerationItem
|
|
263
|
+
id: remark_enumeration_item
|
|
264
|
+
remarks:
|
|
265
|
+
- rule scope - rule enumeration item
|
|
266
|
+
- rule scope - rule enumeration item, on the same level as the type
|
|
267
|
+
- schema scope - rule enumeration item
|
|
268
|
+
- schema scope - rule enumeration item, on the same level as the type
|
|
269
|
+
- universal scope - rule enumeration item
|
|
270
|
+
- universal scope - rule enumeration item, on the same level as the type
|
|
271
|
+
constants:
|
|
272
|
+
- _class: Expressir::Model::Constant
|
|
273
|
+
id: remark_constant
|
|
274
|
+
remarks:
|
|
275
|
+
- rule scope - rule constant
|
|
276
|
+
- schema scope - rule constant
|
|
277
|
+
- universal scope - rule constant
|
|
278
|
+
type:
|
|
279
|
+
_class: Expressir::Model::Types::String
|
|
280
|
+
expression:
|
|
281
|
+
_class: Expressir::Model::Literals::String
|
|
282
|
+
value: xxx
|
|
283
|
+
variables:
|
|
284
|
+
- _class: Expressir::Model::Variable
|
|
285
|
+
id: remark_variable
|
|
286
|
+
remarks:
|
|
287
|
+
- rule scope - rule variable
|
|
288
|
+
- schema scope - rule variable
|
|
289
|
+
- universal scope - rule variable
|
|
290
|
+
type:
|
|
291
|
+
_class: Expressir::Model::Types::String
|
|
292
|
+
statements:
|
|
293
|
+
- _class: Expressir::Model::Statements::Alias
|
|
294
|
+
id: remark_alias
|
|
295
|
+
remarks:
|
|
296
|
+
- rule alias scope - rule alias
|
|
297
|
+
expression:
|
|
298
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
299
|
+
id: remark_variable
|
|
300
|
+
statements:
|
|
301
|
+
- _class: Expressir::Model::Statements::Null
|
|
302
|
+
- _class: Expressir::Model::Statements::Repeat
|
|
303
|
+
id: remark_repeat
|
|
304
|
+
remarks:
|
|
305
|
+
- rule repeat scope - rule repeat
|
|
306
|
+
bound1:
|
|
307
|
+
_class: Expressir::Model::Literals::Integer
|
|
308
|
+
value: '1'
|
|
309
|
+
bound2:
|
|
310
|
+
_class: Expressir::Model::Literals::Integer
|
|
311
|
+
value: '9'
|
|
312
|
+
statements:
|
|
313
|
+
- _class: Expressir::Model::Statements::Null
|
|
314
|
+
- _class: Expressir::Model::Statements::Assignment
|
|
315
|
+
ref:
|
|
316
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
317
|
+
id: remark_variable
|
|
318
|
+
expression:
|
|
319
|
+
_class: Expressir::Model::Expressions::QueryExpression
|
|
320
|
+
id: remark_query
|
|
321
|
+
remarks:
|
|
322
|
+
- rule query scope - rule query
|
|
323
|
+
aggregate_source:
|
|
324
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
325
|
+
id: remark_variable
|
|
326
|
+
expression:
|
|
327
|
+
_class: Expressir::Model::Literals::Logical
|
|
328
|
+
value: :TRUE
|
|
329
|
+
where:
|
|
330
|
+
- _class: Expressir::Model::Where
|
|
331
|
+
id: WR1
|
|
332
|
+
remarks:
|
|
333
|
+
- rule scope - rule where
|
|
334
|
+
- rule scope - rule where, with prefix
|
|
335
|
+
- schema scope - rule where
|
|
336
|
+
- schema scope - rule where, with prefix
|
|
337
|
+
- universal scope - rule where
|
|
338
|
+
- universal scope - rule where, with prefix
|
|
339
|
+
expression:
|
|
340
|
+
_class: Expressir::Model::Literals::Logical
|
|
341
|
+
value: :TRUE
|
|
342
|
+
informal_propositions:
|
|
343
|
+
- _class: Expressir::Model::InformalProposition
|
|
344
|
+
id: IP1
|
|
345
|
+
remarks:
|
|
346
|
+
- rule scope - rule informal proposition
|
|
347
|
+
- rule scope - rule informal proposition, with prefix
|
|
348
|
+
- schema scope - rule informal proposition
|
|
349
|
+
- schema scope - rule informal proposition, with prefix
|
|
350
|
+
- universal scope - rule informal proposition
|
|
351
|
+
- universal scope - rule informal proposition, with prefix
|
|
352
|
+
procedures:
|
|
353
|
+
- _class: Expressir::Model::Procedure
|
|
354
|
+
id: remark_procedure
|
|
355
|
+
remarks:
|
|
356
|
+
- schema scope - procedure
|
|
357
|
+
- universal scope - procedure
|
|
358
|
+
parameters:
|
|
359
|
+
- _class: Expressir::Model::Parameter
|
|
360
|
+
id: remark_parameter
|
|
361
|
+
remarks:
|
|
362
|
+
- procedure scope - procedure parameter
|
|
363
|
+
- schema scope - procedure parameter
|
|
364
|
+
- universal scope - procedure parameter
|
|
365
|
+
type:
|
|
366
|
+
_class: Expressir::Model::Types::String
|
|
367
|
+
types:
|
|
368
|
+
- _class: Expressir::Model::Type
|
|
369
|
+
id: remark_type
|
|
370
|
+
remarks:
|
|
371
|
+
- procedure scope - procedure type
|
|
372
|
+
- schema scope - procedure type
|
|
373
|
+
- universal scope - procedure type
|
|
374
|
+
type:
|
|
375
|
+
_class: Expressir::Model::Types::Enumeration
|
|
376
|
+
items:
|
|
377
|
+
- _class: Expressir::Model::EnumerationItem
|
|
378
|
+
id: remark_enumeration_item
|
|
379
|
+
remarks:
|
|
380
|
+
- procedure scope - procedure enumeration item
|
|
381
|
+
- procedure scope - procedure enumeration item, on the same level as the
|
|
382
|
+
type
|
|
383
|
+
- schema scope - procedure enumeration item
|
|
384
|
+
- schema scope - procedure enumeration item, on the same level as the type
|
|
385
|
+
- universal scope - procedure enumeration item
|
|
386
|
+
- universal scope - procedure enumeration item, on the same level as the
|
|
387
|
+
type
|
|
388
|
+
constants:
|
|
389
|
+
- _class: Expressir::Model::Constant
|
|
390
|
+
id: remark_constant
|
|
391
|
+
remarks:
|
|
392
|
+
- procedure scope - procedure constant
|
|
393
|
+
- schema scope - procedure constant
|
|
394
|
+
- universal scope - procedure constant
|
|
395
|
+
type:
|
|
396
|
+
_class: Expressir::Model::Types::String
|
|
397
|
+
expression:
|
|
398
|
+
_class: Expressir::Model::Literals::String
|
|
399
|
+
value: xxx
|
|
400
|
+
variables:
|
|
401
|
+
- _class: Expressir::Model::Variable
|
|
402
|
+
id: remark_variable
|
|
403
|
+
remarks:
|
|
404
|
+
- procedure scope - procedure variable
|
|
405
|
+
- schema scope - procedure variable
|
|
406
|
+
- universal scope - procedure variable
|
|
407
|
+
type:
|
|
408
|
+
_class: Expressir::Model::Types::String
|
|
409
|
+
statements:
|
|
410
|
+
- _class: Expressir::Model::Statements::Alias
|
|
411
|
+
id: remark_alias
|
|
412
|
+
remarks:
|
|
413
|
+
- procedure alias scope - procedure alias
|
|
414
|
+
expression:
|
|
415
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
416
|
+
id: remark_variable
|
|
417
|
+
statements:
|
|
418
|
+
- _class: Expressir::Model::Statements::Null
|
|
419
|
+
- _class: Expressir::Model::Statements::Repeat
|
|
420
|
+
id: remark_repeat
|
|
421
|
+
remarks:
|
|
422
|
+
- procedure repeat scope - procedure repeat
|
|
423
|
+
bound1:
|
|
424
|
+
_class: Expressir::Model::Literals::Integer
|
|
425
|
+
value: '1'
|
|
426
|
+
bound2:
|
|
427
|
+
_class: Expressir::Model::Literals::Integer
|
|
428
|
+
value: '9'
|
|
429
|
+
statements:
|
|
430
|
+
- _class: Expressir::Model::Statements::Null
|
|
431
|
+
- _class: Expressir::Model::Statements::Assignment
|
|
432
|
+
ref:
|
|
433
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
434
|
+
id: remark_variable
|
|
435
|
+
expression:
|
|
436
|
+
_class: Expressir::Model::Expressions::QueryExpression
|
|
437
|
+
id: remark_query
|
|
438
|
+
remarks:
|
|
439
|
+
- procedure query scope - procedure query
|
|
440
|
+
aggregate_source:
|
|
441
|
+
_class: Expressir::Model::Expressions::SimpleReference
|
|
442
|
+
id: remark_variable
|
|
443
|
+
expression:
|
|
444
|
+
_class: Expressir::Model::Literals::Logical
|
|
445
|
+
value: :TRUE
|
|
@@ -1,26 +1,33 @@
|
|
|
1
1
|
SCHEMA remark_schema;
|
|
2
|
+
|
|
2
3
|
CONSTANT
|
|
3
4
|
remark_constant : STRING := 'xxx';
|
|
4
5
|
END_CONSTANT;
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
6
|
+
|
|
7
|
+
TYPE remark_type = ENUMERATION OF
|
|
8
|
+
(remark_enumeration_item);
|
|
9
|
+
WHERE
|
|
10
|
+
WR1: TRUE;
|
|
8
11
|
END_TYPE;
|
|
12
|
+
|
|
9
13
|
ENTITY remark_entity;
|
|
10
14
|
remark_attribute : STRING;
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
15
|
+
DERIVE
|
|
16
|
+
remark_derived_attribute : STRING := 'xxx';
|
|
17
|
+
INVERSE
|
|
18
|
+
remark_inverse_attribute : remark_entity FOR remark_attribute;
|
|
19
|
+
UNIQUE
|
|
20
|
+
UR1: remark_attribute;
|
|
21
|
+
WHERE
|
|
22
|
+
WR1: TRUE;
|
|
19
23
|
END_ENTITY;
|
|
24
|
+
|
|
20
25
|
SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
|
|
21
26
|
END_SUBTYPE_CONSTRAINT;
|
|
27
|
+
|
|
22
28
|
FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
|
|
23
|
-
TYPE remark_type = ENUMERATION OF
|
|
29
|
+
TYPE remark_type = ENUMERATION OF
|
|
30
|
+
(remark_enumeration_item);
|
|
24
31
|
END_TYPE;
|
|
25
32
|
CONSTANT
|
|
26
33
|
remark_constant : STRING := 'xxx';
|
|
@@ -40,8 +47,10 @@ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
|
|
|
40
47
|
--"remark_query" function query scope - function query
|
|
41
48
|
);
|
|
42
49
|
END_FUNCTION;
|
|
43
|
-
|
|
44
|
-
|
|
50
|
+
|
|
51
|
+
RULE remark_rule FOR (remark_entity);
|
|
52
|
+
TYPE remark_type = ENUMERATION OF
|
|
53
|
+
(remark_enumeration_item);
|
|
45
54
|
END_TYPE;
|
|
46
55
|
CONSTANT
|
|
47
56
|
remark_constant : STRING := 'xxx';
|
|
@@ -51,18 +60,22 @@ PROCEDURE remark_procedure(remark_parameter : STRING);
|
|
|
51
60
|
END_LOCAL;
|
|
52
61
|
ALIAS remark_alias FOR remark_variable;
|
|
53
62
|
;
|
|
54
|
-
--"remark_alias"
|
|
63
|
+
--"remark_alias" rule alias scope - rule alias
|
|
55
64
|
END_ALIAS;
|
|
56
65
|
REPEAT remark_repeat := 1 TO 9;
|
|
57
66
|
;
|
|
58
|
-
--"remark_repeat"
|
|
67
|
+
--"remark_repeat" rule repeat scope - rule repeat
|
|
59
68
|
END_REPEAT;
|
|
60
69
|
remark_variable := QUERY(remark_query <* remark_variable | TRUE
|
|
61
|
-
--"remark_query"
|
|
70
|
+
--"remark_query" rule query scope - rule query
|
|
62
71
|
);
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
72
|
+
WHERE
|
|
73
|
+
WR1: TRUE;
|
|
74
|
+
END_RULE;
|
|
75
|
+
|
|
76
|
+
PROCEDURE remark_procedure(remark_parameter : STRING);
|
|
77
|
+
TYPE remark_type = ENUMERATION OF
|
|
78
|
+
(remark_enumeration_item);
|
|
66
79
|
END_TYPE;
|
|
67
80
|
CONSTANT
|
|
68
81
|
remark_constant : STRING := 'xxx';
|
|
@@ -72,18 +85,17 @@ RULE remark_rule FOR (remark_entity);
|
|
|
72
85
|
END_LOCAL;
|
|
73
86
|
ALIAS remark_alias FOR remark_variable;
|
|
74
87
|
;
|
|
75
|
-
--"remark_alias"
|
|
88
|
+
--"remark_alias" procedure alias scope - procedure alias
|
|
76
89
|
END_ALIAS;
|
|
77
90
|
REPEAT remark_repeat := 1 TO 9;
|
|
78
91
|
;
|
|
79
|
-
--"remark_repeat"
|
|
92
|
+
--"remark_repeat" procedure repeat scope - procedure repeat
|
|
80
93
|
END_REPEAT;
|
|
81
94
|
remark_variable := QUERY(remark_query <* remark_variable | TRUE
|
|
82
|
-
--"remark_query"
|
|
95
|
+
--"remark_query" procedure query scope - procedure query
|
|
83
96
|
);
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
END_RULE;
|
|
97
|
+
END_PROCEDURE;
|
|
98
|
+
|
|
87
99
|
END_SCHEMA;
|
|
88
100
|
(*"remark_schema"
|
|
89
101
|
Any character within the EXPRESS character set may occur between the start and end of
|
|
@@ -125,9 +137,9 @@ several physical lines.
|
|
|
125
137
|
--"remark_schema.remark_entity.remark_inverse_attribute" entity scope - entity inverse attribute
|
|
126
138
|
--"remark_schema.remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
|
|
127
139
|
--"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
|
|
128
|
-
--"remark_schema.remark_entity.
|
|
129
|
-
--"remark_schema.remark_entity.
|
|
130
|
-
--"remark_schema.remark_entity.
|
|
140
|
+
--"remark_schema.remark_entity.UR1" entity scope - entity unique
|
|
141
|
+
--"remark_schema.remark_entity.UR1" schema scope - entity unique
|
|
142
|
+
--"remark_schema.remark_entity.UR1" universal scope - entity unique
|
|
131
143
|
--"remark_schema.remark_entity.WR1" entity scope - entity where
|
|
132
144
|
--"remark_schema.remark_entity.WR1" entity scope - entity where, with prefix
|
|
133
145
|
--"remark_schema.remark_entity.WR1" schema scope - entity where
|
|
@@ -162,26 +174,6 @@ several physical lines.
|
|
|
162
174
|
--"remark_schema.remark_function.remark_variable" function scope - function variable
|
|
163
175
|
--"remark_schema.remark_function.remark_variable" schema scope - function variable
|
|
164
176
|
--"remark_schema.remark_function.remark_variable" universal scope - function variable
|
|
165
|
-
--"remark_schema.remark_procedure" schema scope - procedure
|
|
166
|
-
--"remark_schema.remark_procedure" universal scope - procedure
|
|
167
|
-
--"remark_schema.remark_procedure.remark_parameter" procedure scope - procedure parameter
|
|
168
|
-
--"remark_schema.remark_procedure.remark_parameter" schema scope - procedure parameter
|
|
169
|
-
--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
|
|
170
|
-
--"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
|
|
171
|
-
--"remark_schema.remark_procedure.remark_type" schema scope - procedure type
|
|
172
|
-
--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
|
|
173
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
|
|
174
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
|
|
175
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
|
|
176
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
|
|
177
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
|
|
178
|
-
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
|
|
179
|
-
--"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
|
|
180
|
-
--"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
|
|
181
|
-
--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
|
|
182
|
-
--"remark_schema.remark_procedure.remark_variable" procedure scope - procedure variable
|
|
183
|
-
--"remark_schema.remark_procedure.remark_variable" schema scope - procedure variable
|
|
184
|
-
--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
|
|
185
177
|
--"remark_schema.remark_rule" schema scope - rule
|
|
186
178
|
--"remark_schema.remark_rule" universal scope - rule
|
|
187
179
|
--"remark_schema.remark_rule.remark_type" rule scope - rule type
|
|
@@ -210,4 +202,24 @@ several physical lines.
|
|
|
210
202
|
--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition
|
|
211
203
|
--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition, with prefix
|
|
212
204
|
--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
|
|
213
|
-
--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition, with prefix
|
|
205
|
+
--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition, with prefix
|
|
206
|
+
--"remark_schema.remark_procedure" schema scope - procedure
|
|
207
|
+
--"remark_schema.remark_procedure" universal scope - procedure
|
|
208
|
+
--"remark_schema.remark_procedure.remark_parameter" procedure scope - procedure parameter
|
|
209
|
+
--"remark_schema.remark_procedure.remark_parameter" schema scope - procedure parameter
|
|
210
|
+
--"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
|
|
211
|
+
--"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
|
|
212
|
+
--"remark_schema.remark_procedure.remark_type" schema scope - procedure type
|
|
213
|
+
--"remark_schema.remark_procedure.remark_type" universal scope - procedure type
|
|
214
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
|
|
215
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
|
|
216
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
|
|
217
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
|
|
218
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
|
|
219
|
+
--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
|
|
220
|
+
--"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
|
|
221
|
+
--"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
|
|
222
|
+
--"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
|
|
223
|
+
--"remark_schema.remark_procedure.remark_variable" procedure scope - procedure variable
|
|
224
|
+
--"remark_schema.remark_procedure.remark_variable" schema scope - procedure variable
|
|
225
|
+
--"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
|