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.
Files changed (57) hide show
  1. checksums.yaml +4 -4
  2. data/exe/format +51 -13
  3. data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
  4. data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
  5. data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
  6. data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
  7. data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
  8. data/lib/expressir/express_exp/formatter.rb +185 -135
  9. data/lib/expressir/express_exp/parser.rb +29 -29
  10. data/lib/expressir/express_exp/schema_head_formatter.rb +1 -4
  11. data/lib/expressir/express_exp/visitor.rb +11 -6
  12. data/lib/expressir/model/entity.rb +6 -6
  13. data/lib/expressir/model/expressions/query_expression.rb +3 -3
  14. data/lib/expressir/model/function.rb +15 -11
  15. data/lib/expressir/model/informal_proposition.rb +4 -1
  16. data/lib/expressir/model/interfaced_item.rb +4 -1
  17. data/lib/expressir/model/model_element.rb +20 -7
  18. data/lib/expressir/model/procedure.rb +15 -11
  19. data/lib/expressir/model/repository.rb +3 -3
  20. data/lib/expressir/model/rule.rb +16 -12
  21. data/lib/expressir/model/schema.rb +52 -45
  22. data/lib/expressir/model/statements/alias.rb +3 -3
  23. data/lib/expressir/model/statements/repeat.rb +3 -3
  24. data/lib/expressir/model/subtype_constraint.rb +1 -6
  25. data/lib/expressir/model/type.rb +9 -5
  26. data/lib/expressir/version.rb +1 -1
  27. data/original/examples/syntax/{hyperlink.exp → multiple.exp} +8 -8
  28. data/original/examples/syntax/multiple.yaml +180 -0
  29. data/original/examples/syntax/multiple_formatted.exp +71 -0
  30. data/original/examples/syntax/multiple_hyperlink_formatted.exp +71 -0
  31. data/original/examples/syntax/multiple_schema_head_hyperlink_formatted.exp +13 -0
  32. data/original/examples/syntax/remark.exp +41 -41
  33. data/original/examples/syntax/remark.yaml +445 -0
  34. data/original/examples/syntax/remark_formatted.exp +62 -50
  35. data/original/examples/syntax/{simple.exp → single.exp} +1 -1
  36. data/original/examples/syntax/single.yaml +8 -0
  37. data/original/examples/syntax/single_formatted.exp +6 -0
  38. data/original/examples/syntax/single_formatted.yaml +18 -0
  39. data/original/examples/syntax/syntax.exp +29 -19
  40. data/original/examples/syntax/syntax.yaml +3438 -0
  41. data/original/examples/syntax/syntax_formatted.exp +271 -131
  42. data/original/examples/syntax/syntax_schema_head_formatted.exp +18 -0
  43. data/spec/expressir/express_exp/formatter_spec.rb +110 -0
  44. data/spec/expressir/express_exp/parser_spec.rb +98 -0
  45. data/spec/expressir/model/{model_element/find_spec.rb → model_element_spec.rb} +93 -10
  46. metadata +17 -16
  47. data/original/examples/syntax/hyperlink_formatted.exp +0 -51
  48. data/original/examples/syntax/source.exp +0 -16
  49. data/spec/expressir/express_exp/formatter/remark_spec.rb +0 -28
  50. data/spec/expressir/express_exp/formatter/syntax_spec.rb +0 -28
  51. data/spec/expressir/express_exp/hyperlink_formatter_spec.rb +0 -28
  52. data/spec/expressir/express_exp/parser/multiple_spec.rb +0 -37
  53. data/spec/expressir/express_exp/parser/remark_spec.rb +0 -411
  54. data/spec/expressir/express_exp/parser/source_spec.rb +0 -29
  55. data/spec/expressir/express_exp/parser/syntax_spec.rb +0 -3086
  56. data/spec/expressir/express_exp/schema_head_formatter_spec.rb +0 -40
  57. 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
- TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
6
- WHERE
7
- WR1 : TRUE;
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
- DERIVE
12
- remark_derived_attribute : STRING := 'xxx';
13
- INVERSE
14
- remark_inverse_attribute : remark_entity FOR remark_attribute;
15
- UNIQUE
16
- remark_unique : remark_attribute;
17
- WHERE
18
- WR1 : TRUE;
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 (remark_enumeration_item);
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
- PROCEDURE remark_procedure(remark_parameter : STRING);
44
- TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
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" procedure alias scope - procedure 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" procedure repeat scope - procedure 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" procedure query scope - procedure query
70
+ --"remark_query" rule query scope - rule query
62
71
  );
63
- END_PROCEDURE;
64
- RULE remark_rule FOR (remark_entity);
65
- TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
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" rule alias scope - rule 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" rule repeat scope - rule 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" rule query scope - rule query
95
+ --"remark_query" procedure query scope - procedure query
83
96
  );
84
- WHERE
85
- WR1 : TRUE;
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.remark_unique" entity scope - entity unique
129
- --"remark_schema.remark_entity.remark_unique" schema scope - entity unique
130
- --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
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