expressir 0.2.16-x86-mingw32 → 0.2.17-x86-mingw32
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- 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
|