expressir 0.2.9-x86-linux → 0.2.14-x86-linux
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 +20 -0
- data/expressir.gemspec +1 -0
- 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 +146 -105
- data/lib/expressir/express_exp/hyperlink_formatter.rb +25 -0
- data/lib/expressir/express_exp/parser.rb +2 -0
- data/lib/expressir/express_exp/schema_head_formatter.rb +14 -0
- data/lib/expressir/express_exp/visitor.rb +132 -82
- data/lib/expressir/model.rb +2 -1
- data/lib/expressir/model/attribute.rb +5 -1
- data/lib/expressir/model/constant.rb +5 -1
- data/lib/expressir/model/entity.rb +13 -22
- data/lib/expressir/model/enumeration_item.rb +5 -1
- data/lib/expressir/model/expressions/aggregate_initializer.rb +4 -2
- data/lib/expressir/model/expressions/aggregate_item.rb +3 -1
- data/lib/expressir/model/expressions/attribute_reference.rb +3 -1
- data/lib/expressir/model/expressions/binary_expression.rb +3 -1
- data/lib/expressir/model/expressions/call.rb +4 -2
- data/lib/expressir/model/expressions/entity_constructor.rb +4 -2
- data/lib/expressir/model/expressions/group_reference.rb +3 -1
- data/lib/expressir/model/expressions/index_reference.rb +3 -1
- data/lib/expressir/model/expressions/interval.rb +3 -1
- data/lib/expressir/model/expressions/query_expression.rb +5 -2
- data/lib/expressir/model/expressions/simple_reference.rb +3 -1
- data/lib/expressir/model/expressions/unary_expression.rb +3 -1
- data/lib/expressir/model/function.rb +28 -39
- data/lib/expressir/model/identifier.rb +1 -3
- data/lib/expressir/model/informal_proposition.rb +5 -1
- data/lib/expressir/model/interface.rb +4 -2
- data/lib/expressir/model/literals/binary.rb +3 -1
- data/lib/expressir/model/literals/integer.rb +3 -1
- data/lib/expressir/model/literals/logical.rb +3 -1
- data/lib/expressir/model/literals/real.rb +3 -1
- data/lib/expressir/model/literals/string.rb +3 -1
- data/lib/expressir/model/model_element.rb +140 -0
- data/lib/expressir/model/parameter.rb +5 -1
- data/lib/expressir/model/procedure.rb +29 -40
- data/lib/expressir/model/renamed_ref.rb +3 -1
- data/lib/expressir/model/repository.rb +5 -5
- data/lib/expressir/model/rule.rb +32 -43
- data/lib/expressir/model/schema.rb +48 -48
- data/lib/expressir/model/statements/alias.rb +6 -3
- data/lib/expressir/model/statements/assignment.rb +3 -1
- data/lib/expressir/model/statements/call.rb +4 -2
- data/lib/expressir/model/statements/case.rb +4 -2
- data/lib/expressir/model/statements/case_action.rb +4 -2
- data/lib/expressir/model/statements/compound.rb +4 -2
- data/lib/expressir/model/statements/escape.rb +1 -1
- data/lib/expressir/model/statements/if.rb +5 -3
- data/lib/expressir/model/statements/null.rb +1 -1
- data/lib/expressir/model/statements/repeat.rb +6 -3
- data/lib/expressir/model/statements/return.rb +3 -1
- data/lib/expressir/model/statements/skip.rb +1 -1
- data/lib/expressir/model/subtype_constraint.rb +5 -2
- data/lib/expressir/model/type.rb +10 -11
- data/lib/expressir/model/types/aggregate.rb +5 -1
- data/lib/expressir/model/types/array.rb +3 -1
- data/lib/expressir/model/types/bag.rb +3 -1
- data/lib/expressir/model/types/binary.rb +3 -1
- data/lib/expressir/model/types/boolean.rb +1 -1
- data/lib/expressir/model/types/enumeration.rb +5 -3
- data/lib/expressir/model/types/generic.rb +5 -1
- data/lib/expressir/model/types/generic_entity.rb +5 -1
- data/lib/expressir/model/types/integer.rb +1 -1
- data/lib/expressir/model/types/list.rb +3 -1
- data/lib/expressir/model/types/logical.rb +1 -1
- data/lib/expressir/model/types/number.rb +1 -1
- data/lib/expressir/model/types/real.rb +3 -1
- data/lib/expressir/model/types/select.rb +5 -3
- data/lib/expressir/model/types/set.rb +3 -1
- data/lib/expressir/model/types/string.rb +3 -1
- data/lib/expressir/model/unique.rb +6 -2
- data/lib/expressir/model/variable.rb +5 -1
- data/lib/expressir/model/where.rb +5 -1
- data/lib/expressir/version.rb +1 -1
- data/original/examples/syntax/hyperlink.exp +8 -0
- data/original/examples/syntax/hyperlink_formatted.exp +19 -0
- data/original/examples/syntax/remark_formatted.exp +0 -5
- data/original/examples/syntax/simple.exp +3 -0
- data/original/examples/syntax/syntax.exp +197 -189
- data/original/examples/syntax/syntax_formatted.exp +362 -800
- data/spec/expressir/express_exp/{format_remark_spec.rb → formatter/remark_spec.rb} +2 -2
- data/spec/expressir/express_exp/{format_syntax_spec.rb → formatter/syntax_spec.rb} +2 -2
- data/spec/expressir/express_exp/hyperlink_formatter_spec.rb +24 -0
- data/spec/expressir/express_exp/{head_source_spec.rb → parser/head_source_spec.rb} +2 -5
- data/spec/expressir/express_exp/{parse_multiple_spec.rb → parser/multiple_spec.rb} +6 -1
- data/spec/expressir/express_exp/{parse_remark_spec.rb → parser/remark_spec.rb} +5 -5
- data/spec/expressir/express_exp/{source_spec.rb → parser/source_spec.rb} +2 -5
- data/spec/expressir/express_exp/{parse_syntax_spec.rb → parser/syntax_spec.rb} +1619 -1582
- data/spec/expressir/express_exp/schema_head_formatter_spec.rb +36 -0
- data/spec/expressir/model/{find_spec.rb → model_element/find_spec.rb} +7 -2
- data/spec/expressir/model/model_element/hash_spec.rb +66 -0
- metadata +34 -12
- data/lib/expressir/model/scope.rb +0 -66
- data/spec/expressir/express_exp/ap233_spec.rb +0 -22
@@ -18,254 +18,206 @@ CONSTANT
|
|
18
18
|
END_CONSTANT;
|
19
19
|
TYPE empty_type = BOOLEAN;
|
20
20
|
END_TYPE;
|
21
|
-
|
22
21
|
TYPE where_type = BOOLEAN;
|
23
22
|
WHERE
|
24
23
|
TRUE;
|
25
24
|
END_TYPE;
|
26
|
-
|
27
25
|
TYPE where_label_type = BOOLEAN;
|
28
26
|
WHERE
|
29
27
|
WR1 : TRUE;
|
30
28
|
END_TYPE;
|
31
|
-
|
32
29
|
ENTITY empty_entity;
|
33
30
|
END_ENTITY;
|
34
|
-
|
35
31
|
ENTITY abstract_entity
|
36
32
|
ABSTRACT SUPERTYPE;
|
37
33
|
END_ENTITY;
|
38
|
-
|
39
34
|
ENTITY abstract_supertype_entity
|
40
35
|
ABSTRACT SUPERTYPE;
|
41
36
|
END_ENTITY;
|
42
|
-
|
43
37
|
ENTITY abstract_supertype_constraint_entity
|
44
38
|
ABSTRACT SUPERTYPE OF (empty_entity);
|
45
39
|
END_ENTITY;
|
46
|
-
|
47
40
|
ENTITY supertype_constraint_entity
|
48
41
|
SUPERTYPE OF (empty_entity);
|
49
42
|
END_ENTITY;
|
50
|
-
|
51
43
|
ENTITY subtype_entity
|
52
44
|
SUBTYPE OF (empty_entity);
|
53
45
|
END_ENTITY;
|
54
|
-
|
55
46
|
ENTITY supertype_constraint_subtype_entity
|
56
47
|
SUPERTYPE OF (empty_entity)
|
57
48
|
SUBTYPE OF (empty_entity);
|
58
49
|
END_ENTITY;
|
59
|
-
|
60
50
|
ENTITY attribute_entity;
|
61
51
|
test : BOOLEAN;
|
62
52
|
END_ENTITY;
|
63
|
-
|
64
53
|
ENTITY attribute_optional_entity;
|
65
54
|
test : OPTIONAL BOOLEAN;
|
66
55
|
END_ENTITY;
|
67
|
-
|
68
56
|
ENTITY attribute_multiple_entity;
|
69
57
|
test : BOOLEAN;
|
70
58
|
test2 : BOOLEAN;
|
71
59
|
END_ENTITY;
|
72
|
-
|
73
60
|
ENTITY attribute_multiple_shorthand_entity;
|
74
61
|
test : BOOLEAN;
|
75
62
|
test2 : BOOLEAN;
|
76
63
|
END_ENTITY;
|
77
|
-
|
78
|
-
|
64
|
+
ENTITY attribute_redeclared_entity
|
65
|
+
SUBTYPE OF (attribute_entity);
|
79
66
|
SELF\attribute_entity.test : BOOLEAN;
|
80
67
|
END_ENTITY;
|
81
|
-
|
82
|
-
|
68
|
+
ENTITY attribute_redeclared_renamed_entity
|
69
|
+
SUBTYPE OF (attribute_entity);
|
83
70
|
SELF\attribute_entity.test RENAMED test2 : BOOLEAN;
|
84
71
|
END_ENTITY;
|
85
|
-
|
86
72
|
ENTITY derived_attribute_entity;
|
87
73
|
DERIVE
|
88
74
|
test : BOOLEAN := TRUE;
|
89
75
|
END_ENTITY;
|
90
|
-
|
91
|
-
|
76
|
+
ENTITY derived_attribute_redeclared_entity
|
77
|
+
SUBTYPE OF (attribute_entity);
|
92
78
|
DERIVE
|
93
79
|
SELF\attribute_entity.test : BOOLEAN := TRUE;
|
94
80
|
END_ENTITY;
|
95
|
-
|
96
|
-
|
81
|
+
ENTITY derived_attribute_redeclared_renamed_entity
|
82
|
+
SUBTYPE OF (attribute_entity);
|
97
83
|
DERIVE
|
98
84
|
SELF\attribute_entity.test RENAMED test2 : BOOLEAN := TRUE;
|
99
85
|
END_ENTITY;
|
100
|
-
|
101
86
|
ENTITY inverse_attribute_entity;
|
102
87
|
INVERSE
|
103
88
|
test : attribute_entity FOR test;
|
104
89
|
END_ENTITY;
|
105
|
-
|
106
90
|
ENTITY inverse_attribute_entity_entity;
|
107
91
|
INVERSE
|
108
92
|
test : attribute_entity FOR attribute_entity.test;
|
109
93
|
END_ENTITY;
|
110
|
-
|
111
94
|
ENTITY inverse_attribute_set_entity;
|
112
95
|
INVERSE
|
113
96
|
test : SET OF attribute_entity FOR test;
|
114
97
|
END_ENTITY;
|
115
|
-
|
116
98
|
ENTITY inverse_attribute_set_bound_entity;
|
117
99
|
INVERSE
|
118
100
|
test : SET [1:9] OF attribute_entity FOR test;
|
119
101
|
END_ENTITY;
|
120
|
-
|
121
102
|
ENTITY inverse_attribute_bag_entity;
|
122
103
|
INVERSE
|
123
104
|
test : BAG OF attribute_entity FOR test;
|
124
105
|
END_ENTITY;
|
125
|
-
|
126
106
|
ENTITY inverse_attribute_bag_bound_entity;
|
127
107
|
INVERSE
|
128
108
|
test : BAG [1:9] OF attribute_entity FOR test;
|
129
109
|
END_ENTITY;
|
130
|
-
|
131
|
-
|
110
|
+
ENTITY inverse_attribute_redeclared_entity
|
111
|
+
SUBTYPE OF (attribute_entity);
|
132
112
|
INVERSE
|
133
113
|
SELF\attribute_entity.test : attribute_entity FOR test;
|
134
114
|
END_ENTITY;
|
135
|
-
|
136
|
-
|
115
|
+
ENTITY inverse_attribute_redeclared_renamed_entity
|
116
|
+
SUBTYPE OF (attribute_entity);
|
137
117
|
INVERSE
|
138
118
|
SELF\attribute_entity.test RENAMED test2 : attribute_entity FOR test;
|
139
119
|
END_ENTITY;
|
140
|
-
|
141
120
|
ENTITY unique_entity;
|
142
121
|
test : BOOLEAN;
|
143
122
|
UNIQUE
|
144
123
|
test;
|
145
124
|
END_ENTITY;
|
146
|
-
|
147
125
|
ENTITY unique_label_entity;
|
148
126
|
test : BOOLEAN;
|
149
127
|
UNIQUE
|
150
128
|
UR1 : test;
|
151
129
|
END_ENTITY;
|
152
|
-
|
153
|
-
|
130
|
+
ENTITY unique_redeclared_entity
|
131
|
+
SUBTYPE OF (attribute_entity);
|
154
132
|
UNIQUE
|
155
133
|
SELF\attribute_entity.test;
|
156
134
|
END_ENTITY;
|
157
|
-
|
158
|
-
|
135
|
+
ENTITY unique_label_redeclared_entity
|
136
|
+
SUBTYPE OF (attribute_entity);
|
159
137
|
UNIQUE
|
160
138
|
UR1 : SELF\attribute_entity.test;
|
161
139
|
END_ENTITY;
|
162
|
-
|
163
140
|
ENTITY where_entity;
|
164
141
|
WHERE
|
165
142
|
TRUE;
|
166
143
|
END_ENTITY;
|
167
|
-
|
168
144
|
ENTITY where_label_entity;
|
169
145
|
WHERE
|
170
146
|
WR1 : TRUE;
|
171
147
|
END_ENTITY;
|
172
|
-
|
173
148
|
SUBTYPE_CONSTRAINT empty_subtype_constraint FOR empty_entity;
|
174
149
|
END_SUBTYPE_CONSTRAINT;
|
175
|
-
|
176
150
|
SUBTYPE_CONSTRAINT abstract_supertype_subtype_constraint FOR empty_entity;
|
177
151
|
ABSTRACT SUPERTYPE;
|
178
152
|
END_SUBTYPE_CONSTRAINT;
|
179
|
-
|
180
153
|
SUBTYPE_CONSTRAINT total_over_subtype_constraint FOR empty_entity;
|
181
154
|
TOTAL_OVER(a);
|
182
155
|
END_SUBTYPE_CONSTRAINT;
|
183
|
-
|
184
156
|
SUBTYPE_CONSTRAINT supertype_expression_subtype_constraint FOR empty_entity;
|
185
157
|
a;
|
186
158
|
END_SUBTYPE_CONSTRAINT;
|
187
|
-
|
188
159
|
SUBTYPE_CONSTRAINT supertype_expression_andor_subtype_constraint FOR empty_entity;
|
189
160
|
a ANDOR b;
|
190
161
|
END_SUBTYPE_CONSTRAINT;
|
191
|
-
|
192
162
|
SUBTYPE_CONSTRAINT supertype_expression_and_subtype_constraint FOR empty_entity;
|
193
163
|
a AND b;
|
194
164
|
END_SUBTYPE_CONSTRAINT;
|
195
|
-
|
196
165
|
SUBTYPE_CONSTRAINT supertype_expression_andor_and_subtype_constraint FOR empty_entity;
|
197
166
|
a ANDOR b AND c;
|
198
167
|
END_SUBTYPE_CONSTRAINT;
|
199
|
-
|
200
168
|
SUBTYPE_CONSTRAINT supertype_expression_and_andor_subtype_constraint FOR empty_entity;
|
201
169
|
a AND b ANDOR c;
|
202
170
|
END_SUBTYPE_CONSTRAINT;
|
203
|
-
|
204
171
|
SUBTYPE_CONSTRAINT supertype_expression_parenthesis_andor_and_subtype_constraint FOR empty_entity;
|
205
172
|
(a ANDOR b) AND c;
|
206
173
|
END_SUBTYPE_CONSTRAINT;
|
207
|
-
|
208
174
|
SUBTYPE_CONSTRAINT supertype_expression_and_parenthesis_andor_subtype_constraint FOR empty_entity;
|
209
175
|
a AND (b ANDOR c);
|
210
176
|
END_SUBTYPE_CONSTRAINT;
|
211
|
-
|
212
177
|
SUBTYPE_CONSTRAINT supertype_expression_oneof_subtype_constraint FOR empty_entity;
|
213
178
|
ONEOF(a, b);
|
214
179
|
END_SUBTYPE_CONSTRAINT;
|
215
|
-
|
216
180
|
SUBTYPE_CONSTRAINT supertype_expression_and_oneof_subtype_constraint FOR empty_entity;
|
217
181
|
a AND ONEOF(b, c);
|
218
182
|
END_SUBTYPE_CONSTRAINT;
|
219
|
-
|
220
183
|
SUBTYPE_CONSTRAINT supertype_expression_andor_oneof_subtype_constraint FOR empty_entity;
|
221
184
|
a ANDOR ONEOF(b, c);
|
222
185
|
END_SUBTYPE_CONSTRAINT;
|
223
|
-
|
224
186
|
SUBTYPE_CONSTRAINT supertype_expression_oneof_and_subtype_constraint FOR empty_entity;
|
225
187
|
ONEOF(a, b) AND c;
|
226
188
|
END_SUBTYPE_CONSTRAINT;
|
227
|
-
|
228
189
|
SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_subtype_constraint FOR empty_entity;
|
229
190
|
ONEOF(a, b) ANDOR c;
|
230
191
|
END_SUBTYPE_CONSTRAINT;
|
231
|
-
|
232
192
|
SUBTYPE_CONSTRAINT supertype_expression_oneof_and_oneof_subtype_constraint FOR empty_entity;
|
233
193
|
ONEOF(a, b) AND ONEOF(c, d);
|
234
194
|
END_SUBTYPE_CONSTRAINT;
|
235
|
-
|
236
195
|
SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_oneof_subtype_constraint FOR empty_entity;
|
237
196
|
ONEOF(a, b) ANDOR ONEOF(c, d);
|
238
197
|
END_SUBTYPE_CONSTRAINT;
|
239
|
-
|
240
198
|
FUNCTION empty_function : BOOLEAN;
|
241
199
|
;
|
242
200
|
END_FUNCTION;
|
243
|
-
|
244
201
|
FUNCTION parameter_function(test : BOOLEAN) : BOOLEAN;
|
245
202
|
;
|
246
203
|
END_FUNCTION;
|
247
|
-
|
248
204
|
FUNCTION multiple_parameter_function(test : BOOLEAN; test2 : BOOLEAN) : BOOLEAN;
|
249
205
|
;
|
250
206
|
END_FUNCTION;
|
251
|
-
|
252
207
|
FUNCTION multiple_shorthand_parameter_function(test : BOOLEAN; test2 : BOOLEAN) : BOOLEAN;
|
253
208
|
;
|
254
209
|
END_FUNCTION;
|
255
|
-
|
256
210
|
FUNCTION type_function : BOOLEAN;
|
257
211
|
TYPE test = BOOLEAN;
|
258
212
|
END_TYPE;
|
259
213
|
;
|
260
214
|
END_FUNCTION;
|
261
|
-
|
262
215
|
FUNCTION constant_function : BOOLEAN;
|
263
216
|
CONSTANT
|
264
217
|
test : BOOLEAN := TRUE;
|
265
218
|
END_CONSTANT;
|
266
219
|
;
|
267
220
|
END_FUNCTION;
|
268
|
-
|
269
221
|
FUNCTION multiple_constant_function : BOOLEAN;
|
270
222
|
CONSTANT
|
271
223
|
test : BOOLEAN := TRUE;
|
@@ -273,14 +225,12 @@ FUNCTION multiple_constant_function : BOOLEAN;
|
|
273
225
|
END_CONSTANT;
|
274
226
|
;
|
275
227
|
END_FUNCTION;
|
276
|
-
|
277
228
|
FUNCTION variable_function : BOOLEAN;
|
278
229
|
LOCAL
|
279
230
|
test : BOOLEAN;
|
280
231
|
END_LOCAL;
|
281
232
|
;
|
282
233
|
END_FUNCTION;
|
283
|
-
|
284
234
|
FUNCTION multiple_variable_function : BOOLEAN;
|
285
235
|
LOCAL
|
286
236
|
test : BOOLEAN;
|
@@ -288,7 +238,6 @@ FUNCTION multiple_variable_function : BOOLEAN;
|
|
288
238
|
END_LOCAL;
|
289
239
|
;
|
290
240
|
END_FUNCTION;
|
291
|
-
|
292
241
|
FUNCTION multiple_shorthand_variable_function : BOOLEAN;
|
293
242
|
LOCAL
|
294
243
|
test : BOOLEAN;
|
@@ -296,14 +245,12 @@ FUNCTION multiple_shorthand_variable_function : BOOLEAN;
|
|
296
245
|
END_LOCAL;
|
297
246
|
;
|
298
247
|
END_FUNCTION;
|
299
|
-
|
300
248
|
FUNCTION variable_expression_function : BOOLEAN;
|
301
249
|
LOCAL
|
302
250
|
test : BOOLEAN := TRUE;
|
303
251
|
END_LOCAL;
|
304
252
|
;
|
305
253
|
END_FUNCTION;
|
306
|
-
|
307
254
|
FUNCTION multiple_variable_expression_function : BOOLEAN;
|
308
255
|
LOCAL
|
309
256
|
test : BOOLEAN := TRUE;
|
@@ -311,7 +258,6 @@ FUNCTION multiple_variable_expression_function : BOOLEAN;
|
|
311
258
|
END_LOCAL;
|
312
259
|
;
|
313
260
|
END_FUNCTION;
|
314
|
-
|
315
261
|
FUNCTION multiple_shorthand_variable_expression_function : BOOLEAN;
|
316
262
|
LOCAL
|
317
263
|
test : BOOLEAN := TRUE;
|
@@ -319,105 +265,430 @@ FUNCTION multiple_shorthand_variable_expression_function : BOOLEAN;
|
|
319
265
|
END_LOCAL;
|
320
266
|
;
|
321
267
|
END_FUNCTION;
|
322
|
-
|
323
268
|
PROCEDURE empty_procedure;
|
324
269
|
END_PROCEDURE;
|
325
|
-
|
326
270
|
PROCEDURE parameter_procedure(test : BOOLEAN);
|
327
271
|
END_PROCEDURE;
|
328
|
-
|
329
272
|
PROCEDURE multiple_parameter_procedure(test : BOOLEAN; test2 : BOOLEAN);
|
330
273
|
END_PROCEDURE;
|
331
|
-
|
332
274
|
PROCEDURE multiple_shorthand_parameter_procedure(test : BOOLEAN; test2 : BOOLEAN);
|
333
275
|
END_PROCEDURE;
|
334
|
-
|
335
276
|
PROCEDURE variable_parameter_procedure(VAR test : BOOLEAN);
|
336
277
|
END_PROCEDURE;
|
337
|
-
|
338
278
|
PROCEDURE multiple_variable_parameter_procedure(VAR test : BOOLEAN; test2 : BOOLEAN);
|
339
279
|
END_PROCEDURE;
|
340
|
-
|
341
280
|
PROCEDURE multiple_variable_parameter2_procedure(test : BOOLEAN; VAR test2 : BOOLEAN);
|
342
281
|
END_PROCEDURE;
|
343
|
-
|
344
282
|
PROCEDURE multiple_shorthand_variable_parameter_procedure(VAR test : BOOLEAN; VAR test2 : BOOLEAN);
|
345
283
|
END_PROCEDURE;
|
346
|
-
|
347
284
|
PROCEDURE type_procedure;
|
348
285
|
TYPE test = BOOLEAN;
|
349
286
|
END_TYPE;
|
350
287
|
END_PROCEDURE;
|
351
|
-
|
352
288
|
PROCEDURE constant_procedure;
|
353
289
|
CONSTANT
|
354
290
|
test : BOOLEAN := TRUE;
|
355
291
|
END_CONSTANT;
|
356
292
|
END_PROCEDURE;
|
357
|
-
|
358
293
|
PROCEDURE multiple_constant_procedure;
|
359
294
|
CONSTANT
|
360
295
|
test : BOOLEAN := TRUE;
|
361
296
|
test2 : BOOLEAN := TRUE;
|
362
297
|
END_CONSTANT;
|
363
298
|
END_PROCEDURE;
|
364
|
-
|
365
299
|
PROCEDURE variable_procedure;
|
366
300
|
LOCAL
|
367
301
|
test : BOOLEAN;
|
368
302
|
END_LOCAL;
|
369
303
|
END_PROCEDURE;
|
370
|
-
|
371
304
|
PROCEDURE multiple_variable_procedure;
|
372
305
|
LOCAL
|
373
306
|
test : BOOLEAN;
|
374
307
|
test2 : BOOLEAN;
|
375
308
|
END_LOCAL;
|
376
309
|
END_PROCEDURE;
|
377
|
-
|
378
310
|
PROCEDURE multiple_shorthand_variable_procedure;
|
379
311
|
LOCAL
|
380
312
|
test : BOOLEAN;
|
381
313
|
test2 : BOOLEAN;
|
382
314
|
END_LOCAL;
|
383
315
|
END_PROCEDURE;
|
384
|
-
|
385
316
|
PROCEDURE variable_expression_procedure;
|
386
317
|
LOCAL
|
387
318
|
test : BOOLEAN := TRUE;
|
388
319
|
END_LOCAL;
|
389
320
|
END_PROCEDURE;
|
390
|
-
|
391
321
|
PROCEDURE multiple_variable_expression_procedure;
|
392
322
|
LOCAL
|
393
323
|
test : BOOLEAN := TRUE;
|
394
324
|
test2 : BOOLEAN := TRUE;
|
395
325
|
END_LOCAL;
|
396
326
|
END_PROCEDURE;
|
397
|
-
|
398
327
|
PROCEDURE multiple_shorthand_variable_expression_procedure;
|
399
328
|
LOCAL
|
400
329
|
test : BOOLEAN := TRUE;
|
401
330
|
test2 : BOOLEAN := TRUE;
|
402
331
|
END_LOCAL;
|
403
332
|
END_PROCEDURE;
|
404
|
-
|
405
333
|
PROCEDURE statement_procedure;
|
406
334
|
;
|
407
335
|
END_PROCEDURE;
|
408
|
-
|
336
|
+
PROCEDURE statements;
|
337
|
+
PROCEDURE alias_simple_reference_statement;
|
338
|
+
ALIAS test FOR test;
|
339
|
+
;
|
340
|
+
END_ALIAS;
|
341
|
+
END_PROCEDURE;
|
342
|
+
PROCEDURE alias_group_reference_statement;
|
343
|
+
ALIAS test FOR test\test2;
|
344
|
+
;
|
345
|
+
END_ALIAS;
|
346
|
+
END_PROCEDURE;
|
347
|
+
PROCEDURE alias_index_reference_statement;
|
348
|
+
ALIAS test FOR test[1];
|
349
|
+
;
|
350
|
+
END_ALIAS;
|
351
|
+
END_PROCEDURE;
|
352
|
+
PROCEDURE alias_index2_reference_statement;
|
353
|
+
ALIAS test FOR test[1:9];
|
354
|
+
;
|
355
|
+
END_ALIAS;
|
356
|
+
END_PROCEDURE;
|
357
|
+
PROCEDURE alias_attribute_reference_statement;
|
358
|
+
ALIAS test FOR test.test2;
|
359
|
+
;
|
360
|
+
END_ALIAS;
|
361
|
+
END_PROCEDURE;
|
362
|
+
PROCEDURE assignment_simple_reference_statement;
|
363
|
+
test := TRUE;
|
364
|
+
END_PROCEDURE;
|
365
|
+
PROCEDURE assignment_group_reference_statement;
|
366
|
+
test\test2 := TRUE;
|
367
|
+
END_PROCEDURE;
|
368
|
+
PROCEDURE assignment_index_reference_statement;
|
369
|
+
test[1] := TRUE;
|
370
|
+
END_PROCEDURE;
|
371
|
+
PROCEDURE assignment_index2_reference_statement;
|
372
|
+
test[1:9] := TRUE;
|
373
|
+
END_PROCEDURE;
|
374
|
+
PROCEDURE assignment_attribute_reference_statement;
|
375
|
+
test.test2 := TRUE;
|
376
|
+
END_PROCEDURE;
|
377
|
+
PROCEDURE case_statement;
|
378
|
+
CASE test OF
|
379
|
+
TRUE :
|
380
|
+
;
|
381
|
+
END_CASE;
|
382
|
+
END_PROCEDURE;
|
383
|
+
PROCEDURE case_multiple_statement;
|
384
|
+
CASE test OF
|
385
|
+
TRUE :
|
386
|
+
;
|
387
|
+
TRUE :
|
388
|
+
;
|
389
|
+
END_CASE;
|
390
|
+
END_PROCEDURE;
|
391
|
+
PROCEDURE case_multiple_shorthand_statement;
|
392
|
+
CASE test OF
|
393
|
+
TRUE, TRUE :
|
394
|
+
;
|
395
|
+
END_CASE;
|
396
|
+
END_PROCEDURE;
|
397
|
+
PROCEDURE case_otherwise_statement;
|
398
|
+
CASE test OF
|
399
|
+
TRUE :
|
400
|
+
;
|
401
|
+
OTHERWISE :
|
402
|
+
;
|
403
|
+
END_CASE;
|
404
|
+
END_PROCEDURE;
|
405
|
+
PROCEDURE compound_statement;
|
406
|
+
BEGIN
|
407
|
+
;
|
408
|
+
END;
|
409
|
+
END_PROCEDURE;
|
410
|
+
PROCEDURE escape_statement;
|
411
|
+
ESCAPE;
|
412
|
+
END_PROCEDURE;
|
413
|
+
PROCEDURE if_statement;
|
414
|
+
IF TRUE THEN
|
415
|
+
;
|
416
|
+
END_IF;
|
417
|
+
END_PROCEDURE;
|
418
|
+
PROCEDURE if2_statement;
|
419
|
+
IF TRUE THEN
|
420
|
+
;
|
421
|
+
;
|
422
|
+
END_IF;
|
423
|
+
END_PROCEDURE;
|
424
|
+
PROCEDURE if_else_statement;
|
425
|
+
IF TRUE THEN
|
426
|
+
;
|
427
|
+
ELSE
|
428
|
+
;
|
429
|
+
END_IF;
|
430
|
+
END_PROCEDURE;
|
431
|
+
PROCEDURE if2_else_statement;
|
432
|
+
IF TRUE THEN
|
433
|
+
;
|
434
|
+
;
|
435
|
+
ELSE
|
436
|
+
;
|
437
|
+
END_IF;
|
438
|
+
END_PROCEDURE;
|
439
|
+
PROCEDURE if_else2_statement;
|
440
|
+
IF TRUE THEN
|
441
|
+
;
|
442
|
+
ELSE
|
443
|
+
;
|
444
|
+
;
|
445
|
+
END_IF;
|
446
|
+
END_PROCEDURE;
|
447
|
+
PROCEDURE if2_else2_statement;
|
448
|
+
IF TRUE THEN
|
449
|
+
;
|
450
|
+
;
|
451
|
+
ELSE
|
452
|
+
;
|
453
|
+
;
|
454
|
+
END_IF;
|
455
|
+
END_PROCEDURE;
|
456
|
+
PROCEDURE null_statement;
|
457
|
+
;
|
458
|
+
END_PROCEDURE;
|
459
|
+
PROCEDURE call_statement;
|
460
|
+
empty_procedure;
|
461
|
+
END_PROCEDURE;
|
462
|
+
PROCEDURE call_parameter_statement;
|
463
|
+
empty_procedure(TRUE);
|
464
|
+
END_PROCEDURE;
|
465
|
+
PROCEDURE call_parameter2_statement;
|
466
|
+
empty_procedure(TRUE, TRUE);
|
467
|
+
END_PROCEDURE;
|
468
|
+
PROCEDURE call_insert_statement;
|
469
|
+
INSERT(TRUE);
|
470
|
+
END_PROCEDURE;
|
471
|
+
PROCEDURE call_remove_statement;
|
472
|
+
REMOVE(TRUE);
|
473
|
+
END_PROCEDURE;
|
474
|
+
PROCEDURE repeat_statement;
|
475
|
+
REPEAT;
|
476
|
+
;
|
477
|
+
END_REPEAT;
|
478
|
+
END_PROCEDURE;
|
479
|
+
PROCEDURE repeat_variable_statement;
|
480
|
+
REPEAT test := 1 TO 9;
|
481
|
+
;
|
482
|
+
END_REPEAT;
|
483
|
+
END_PROCEDURE;
|
484
|
+
PROCEDURE repeat_variable_increment_statement;
|
485
|
+
REPEAT test := 1 TO 9 BY 2;
|
486
|
+
;
|
487
|
+
END_REPEAT;
|
488
|
+
END_PROCEDURE;
|
489
|
+
PROCEDURE repeat_while_statement;
|
490
|
+
REPEAT WHILE TRUE;
|
491
|
+
;
|
492
|
+
END_REPEAT;
|
493
|
+
END_PROCEDURE;
|
494
|
+
PROCEDURE repeat_until_statement;
|
495
|
+
REPEAT UNTIL TRUE;
|
496
|
+
;
|
497
|
+
END_REPEAT;
|
498
|
+
END_PROCEDURE;
|
499
|
+
PROCEDURE return_statement;
|
500
|
+
RETURN;
|
501
|
+
END_PROCEDURE;
|
502
|
+
PROCEDURE return_expression_statement;
|
503
|
+
RETURN (TRUE);
|
504
|
+
END_PROCEDURE;
|
505
|
+
PROCEDURE skip_statement;
|
506
|
+
SKIP;
|
507
|
+
END_PROCEDURE;
|
508
|
+
END_PROCEDURE;
|
509
|
+
PROCEDURE types;
|
510
|
+
TYPE binary_type = BINARY;
|
511
|
+
END_TYPE;
|
512
|
+
TYPE binary_width_type = BINARY (3);
|
513
|
+
END_TYPE;
|
514
|
+
TYPE binary_width_fixed_type = BINARY (3) FIXED;
|
515
|
+
END_TYPE;
|
516
|
+
TYPE boolean_type = BOOLEAN;
|
517
|
+
END_TYPE;
|
518
|
+
TYPE integer_type = INTEGER;
|
519
|
+
END_TYPE;
|
520
|
+
TYPE logical_type = LOGICAL;
|
521
|
+
END_TYPE;
|
522
|
+
TYPE number_type = NUMBER;
|
523
|
+
END_TYPE;
|
524
|
+
TYPE real_type = REAL;
|
525
|
+
END_TYPE;
|
526
|
+
TYPE real_precision_type = REAL (3);
|
527
|
+
END_TYPE;
|
528
|
+
TYPE string_type = STRING;
|
529
|
+
END_TYPE;
|
530
|
+
TYPE string_width_type = STRING (3);
|
531
|
+
END_TYPE;
|
532
|
+
TYPE string_width_fixed_type = STRING (3) FIXED;
|
533
|
+
END_TYPE;
|
534
|
+
TYPE array_type = ARRAY [1:9] OF STRING;
|
535
|
+
END_TYPE;
|
536
|
+
TYPE array_optional_type = ARRAY [1:9] OF OPTIONAL STRING;
|
537
|
+
END_TYPE;
|
538
|
+
TYPE array_unique_type = ARRAY [1:9] OF UNIQUE STRING;
|
539
|
+
END_TYPE;
|
540
|
+
TYPE array_optional_unique_type = ARRAY [1:9] OF OPTIONAL UNIQUE STRING;
|
541
|
+
END_TYPE;
|
542
|
+
TYPE bag_type = BAG OF STRING;
|
543
|
+
END_TYPE;
|
544
|
+
TYPE bag_bound_type = BAG [1:9] OF STRING;
|
545
|
+
END_TYPE;
|
546
|
+
TYPE list_type = LIST OF STRING;
|
547
|
+
END_TYPE;
|
548
|
+
TYPE list_bound_type = LIST [1:9] OF STRING;
|
549
|
+
END_TYPE;
|
550
|
+
TYPE list_unique_type = LIST OF UNIQUE STRING;
|
551
|
+
END_TYPE;
|
552
|
+
TYPE list_bound_unique_type = LIST [1:9] OF UNIQUE STRING;
|
553
|
+
END_TYPE;
|
554
|
+
TYPE set_type = SET OF STRING;
|
555
|
+
END_TYPE;
|
556
|
+
TYPE set_bound_type = SET [1:9] OF STRING;
|
557
|
+
END_TYPE;
|
558
|
+
TYPE select_type = SELECT;
|
559
|
+
END_TYPE;
|
560
|
+
TYPE select_extensible_type = EXTENSIBLE SELECT;
|
561
|
+
END_TYPE;
|
562
|
+
TYPE select_extensible_generic_entity_type = EXTENSIBLE GENERIC_ENTITY SELECT;
|
563
|
+
END_TYPE;
|
564
|
+
TYPE select_list_type = SELECT (empty_type);
|
565
|
+
END_TYPE;
|
566
|
+
TYPE select_extension_type_ref_type = SELECT BASED_ON select_type;
|
567
|
+
END_TYPE;
|
568
|
+
TYPE select_extension_type_ref_list_type = SELECT BASED_ON select_type WITH (empty_type);
|
569
|
+
END_TYPE;
|
570
|
+
TYPE enumeration_type = ENUMERATION;
|
571
|
+
END_TYPE;
|
572
|
+
TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION;
|
573
|
+
END_TYPE;
|
574
|
+
TYPE enumeration_list_type = ENUMERATION OF (test);
|
575
|
+
END_TYPE;
|
576
|
+
TYPE enumeration_extension_type_ref_type = ENUMERATION BASED_ON enumeration_type;
|
577
|
+
END_TYPE;
|
578
|
+
TYPE enumeration_extension_type_ref_list_type = ENUMERATION BASED_ON enumeration_type WITH (test);
|
579
|
+
END_TYPE;
|
580
|
+
END_PROCEDURE;
|
581
|
+
PROCEDURE expressions;
|
582
|
+
LOCAL
|
583
|
+
binary_expression : BOOLEAN := %011110000111100001111000;
|
584
|
+
integer_expression : BOOLEAN := 999;
|
585
|
+
true_logical_expression : BOOLEAN := TRUE;
|
586
|
+
false_logical_expression : BOOLEAN := FALSE;
|
587
|
+
unknown_logical_expression : BOOLEAN := UNKNOWN;
|
588
|
+
real_expression : BOOLEAN := 999.999;
|
589
|
+
simple_string_expression : BOOLEAN := 'xxx';
|
590
|
+
utf8_simple_string_expression : BOOLEAN := 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.';
|
591
|
+
encoded_string_expression : BOOLEAN := "000000780000007800000078";
|
592
|
+
const_e_expression : BOOLEAN := CONST_E;
|
593
|
+
indeterminate_expression : BOOLEAN := ?;
|
594
|
+
pi_expression : BOOLEAN := PI;
|
595
|
+
self_expression : BOOLEAN := SELF;
|
596
|
+
abs_expression : BOOLEAN := ABS(TRUE);
|
597
|
+
acos_expression : BOOLEAN := ACOS(TRUE);
|
598
|
+
asin_expression : BOOLEAN := ASIN(TRUE);
|
599
|
+
atan_expression : BOOLEAN := ATAN(TRUE);
|
600
|
+
blength_expression : BOOLEAN := BLENGTH(TRUE);
|
601
|
+
cos_expression : BOOLEAN := COS(TRUE);
|
602
|
+
exists_expression : BOOLEAN := EXISTS(TRUE);
|
603
|
+
exp_expression : BOOLEAN := EXP(TRUE);
|
604
|
+
format_expression : BOOLEAN := FORMAT(TRUE);
|
605
|
+
hibound_expression : BOOLEAN := HIBOUND(TRUE);
|
606
|
+
hiindex_expression : BOOLEAN := HIINDEX(TRUE);
|
607
|
+
length_expression : BOOLEAN := LENGTH(TRUE);
|
608
|
+
lobound_expression : BOOLEAN := LOBOUND(TRUE);
|
609
|
+
loindex_expression : BOOLEAN := LOINDEX(TRUE);
|
610
|
+
log_expression : BOOLEAN := LOG(TRUE);
|
611
|
+
log2_expression : BOOLEAN := LOG2(TRUE);
|
612
|
+
log10_expression : BOOLEAN := LOG10(TRUE);
|
613
|
+
nvl_expression : BOOLEAN := NVL(TRUE);
|
614
|
+
odd_expression : BOOLEAN := ODD(TRUE);
|
615
|
+
rolesof_expression : BOOLEAN := ROLESOF(TRUE);
|
616
|
+
sin_expression : BOOLEAN := SIN(TRUE);
|
617
|
+
sizeof_expression : BOOLEAN := SIZEOF(TRUE);
|
618
|
+
sqrt_expression : BOOLEAN := SQRT(TRUE);
|
619
|
+
tan_expression : BOOLEAN := TAN(TRUE);
|
620
|
+
typeof_expression : BOOLEAN := TYPEOF(TRUE);
|
621
|
+
usedin_expression : BOOLEAN := USEDIN(TRUE);
|
622
|
+
value_expression : BOOLEAN := VALUE(TRUE);
|
623
|
+
value_in_expression : BOOLEAN := VALUE_IN(TRUE);
|
624
|
+
value_unique_expression : BOOLEAN := VALUE_UNIQUE(TRUE);
|
625
|
+
plus_expression : BOOLEAN := +4;
|
626
|
+
plus_addition_expression : BOOLEAN := +(4 + 2);
|
627
|
+
minus_expression : BOOLEAN := -4;
|
628
|
+
minus_addition_expression : BOOLEAN := -(4 + 2);
|
629
|
+
addition_expression : BOOLEAN := 4 + 2;
|
630
|
+
subtraction_expression : BOOLEAN := 4 - 2;
|
631
|
+
multiplication_expression : BOOLEAN := 4 * 2;
|
632
|
+
real_division_expression : BOOLEAN := 4 / 2;
|
633
|
+
integer_division_expression : BOOLEAN := 4 DIV 2;
|
634
|
+
modulo_expression : BOOLEAN := 4 MOD 2;
|
635
|
+
exponentiation_expression : BOOLEAN := 4 ** 2;
|
636
|
+
addition_addition_expression : BOOLEAN := 4 + 2 + 1;
|
637
|
+
subtraction_subtraction_expression : BOOLEAN := 4 - 2 - 1;
|
638
|
+
addition_subtraction_expression : BOOLEAN := 4 + 2 - 1;
|
639
|
+
subtraction_addition_expression : BOOLEAN := 4 - 2 + 1;
|
640
|
+
addition_multiplication_expression : BOOLEAN := 8 + 4 * 2;
|
641
|
+
multiplication_addition_expression : BOOLEAN := 8 * 4 + 2;
|
642
|
+
parenthesis_addition_multiplication_expression : BOOLEAN := (8 + 4) * 2;
|
643
|
+
multiplication_parenthesis_addition_expression : BOOLEAN := 8 * (4 + 2);
|
644
|
+
equal_expression : BOOLEAN := 4 = 2;
|
645
|
+
not_equal_expression : BOOLEAN := 4 <> 2;
|
646
|
+
instance_equal_expression : BOOLEAN := 4 :=: 2;
|
647
|
+
instance_not_equal_expression : BOOLEAN := 4 :<>: 2;
|
648
|
+
lt_expression : BOOLEAN := 4 < 2;
|
649
|
+
gt_expression : BOOLEAN := 4 > 2;
|
650
|
+
lte_expression : BOOLEAN := 4 <= 2;
|
651
|
+
gte_expression : BOOLEAN := 4 >= 2;
|
652
|
+
not_expression : BOOLEAN := NOT TRUE;
|
653
|
+
not_or_expression : BOOLEAN := NOT (TRUE OR FALSE);
|
654
|
+
or_expression : BOOLEAN := TRUE OR FALSE;
|
655
|
+
and_expression : BOOLEAN := TRUE AND FALSE;
|
656
|
+
or_or_expression : BOOLEAN := TRUE OR FALSE OR TRUE;
|
657
|
+
and_and_expression : BOOLEAN := TRUE AND FALSE AND TRUE;
|
658
|
+
or_and_expression : BOOLEAN := TRUE OR FALSE AND TRUE;
|
659
|
+
and_or_expression : BOOLEAN := TRUE AND FALSE OR TRUE;
|
660
|
+
parenthesis_or_and_expression : BOOLEAN := (TRUE OR FALSE) AND TRUE;
|
661
|
+
and_parenthesis_or_expression : BOOLEAN := TRUE AND (FALSE OR TRUE);
|
662
|
+
combine_expression : BOOLEAN := test || test2;
|
663
|
+
in_expression : BOOLEAN := TRUE IN [TRUE];
|
664
|
+
like_expression : BOOLEAN := 'xxx' LIKE 'xxx';
|
665
|
+
aggregate_initializer_expression : BOOLEAN := [4];
|
666
|
+
repeated_aggregate_initializer_expression : BOOLEAN := [4:2];
|
667
|
+
complex_aggregate_initializer_expression : BOOLEAN := [4 + 2];
|
668
|
+
complex_repeated_aggregate_initializer_expression : BOOLEAN := [4 + 2:4 + 2];
|
669
|
+
call_expression : BOOLEAN := parameter_function(TRUE);
|
670
|
+
simple_reference_expression : BOOLEAN := test;
|
671
|
+
group_reference_expression : BOOLEAN := test\test2;
|
672
|
+
index_reference_expression : BOOLEAN := test[1];
|
673
|
+
index2_reference_expression : BOOLEAN := test[1:9];
|
674
|
+
attribute_reference_expression : BOOLEAN := test.test2;
|
675
|
+
lt_lt_interval_expression : BOOLEAN := {1 < 5 < 9};
|
676
|
+
lte_lt_interval_expression : BOOLEAN := {1 <= 5 < 9};
|
677
|
+
lt_lte_interval_expression : BOOLEAN := {1 < 5 <= 9};
|
678
|
+
lte_lte_interval_expression : BOOLEAN := {1 <= 5 <= 9};
|
679
|
+
query_expression : BOOLEAN := QUERY(test <* test2 | TRUE);
|
680
|
+
END_LOCAL;
|
681
|
+
END_PROCEDURE;
|
409
682
|
RULE empty_rule FOR (empty_entity);
|
410
683
|
WHERE
|
411
684
|
TRUE;
|
412
685
|
END_RULE;
|
413
|
-
|
414
686
|
RULE type_rule FOR (empty_entity);
|
415
687
|
TYPE test = BOOLEAN;
|
416
688
|
END_TYPE;
|
417
689
|
WHERE
|
418
690
|
TRUE;
|
419
691
|
END_RULE;
|
420
|
-
|
421
692
|
RULE constant_rule FOR (empty_entity);
|
422
693
|
CONSTANT
|
423
694
|
test : BOOLEAN := TRUE;
|
@@ -425,7 +696,6 @@ RULE constant_rule FOR (empty_entity);
|
|
425
696
|
WHERE
|
426
697
|
TRUE;
|
427
698
|
END_RULE;
|
428
|
-
|
429
699
|
RULE multiple_constant_rule FOR (empty_entity);
|
430
700
|
CONSTANT
|
431
701
|
test : BOOLEAN := TRUE;
|
@@ -434,7 +704,6 @@ RULE multiple_constant_rule FOR (empty_entity);
|
|
434
704
|
WHERE
|
435
705
|
TRUE;
|
436
706
|
END_RULE;
|
437
|
-
|
438
707
|
RULE variable_rule FOR (empty_entity);
|
439
708
|
LOCAL
|
440
709
|
test : BOOLEAN;
|
@@ -442,7 +711,6 @@ RULE variable_rule FOR (empty_entity);
|
|
442
711
|
WHERE
|
443
712
|
TRUE;
|
444
713
|
END_RULE;
|
445
|
-
|
446
714
|
RULE multiple_variable_rule FOR (empty_entity);
|
447
715
|
LOCAL
|
448
716
|
test : BOOLEAN;
|
@@ -451,7 +719,6 @@ RULE multiple_variable_rule FOR (empty_entity);
|
|
451
719
|
WHERE
|
452
720
|
TRUE;
|
453
721
|
END_RULE;
|
454
|
-
|
455
722
|
RULE multiple_shorthand_variable_rule FOR (empty_entity);
|
456
723
|
LOCAL
|
457
724
|
test : BOOLEAN;
|
@@ -460,7 +727,6 @@ RULE multiple_shorthand_variable_rule FOR (empty_entity);
|
|
460
727
|
WHERE
|
461
728
|
TRUE;
|
462
729
|
END_RULE;
|
463
|
-
|
464
730
|
RULE variable_expression_rule FOR (empty_entity);
|
465
731
|
LOCAL
|
466
732
|
test : BOOLEAN := TRUE;
|
@@ -468,7 +734,6 @@ RULE variable_expression_rule FOR (empty_entity);
|
|
468
734
|
WHERE
|
469
735
|
TRUE;
|
470
736
|
END_RULE;
|
471
|
-
|
472
737
|
RULE multiple_variable_expression_rule FOR (empty_entity);
|
473
738
|
LOCAL
|
474
739
|
test : BOOLEAN := TRUE;
|
@@ -477,7 +742,6 @@ RULE multiple_variable_expression_rule FOR (empty_entity);
|
|
477
742
|
WHERE
|
478
743
|
TRUE;
|
479
744
|
END_RULE;
|
480
|
-
|
481
745
|
RULE multiple_shorthand_variable_expression_rule FOR (empty_entity);
|
482
746
|
LOCAL
|
483
747
|
test : BOOLEAN := TRUE;
|
@@ -486,715 +750,13 @@ RULE multiple_shorthand_variable_expression_rule FOR (empty_entity);
|
|
486
750
|
WHERE
|
487
751
|
TRUE;
|
488
752
|
END_RULE;
|
489
|
-
|
490
753
|
RULE statement_rule FOR (empty_entity);
|
491
754
|
;
|
492
755
|
WHERE
|
493
756
|
TRUE;
|
494
757
|
END_RULE;
|
495
|
-
|
496
758
|
RULE where_label_rule FOR (empty_entity);
|
497
759
|
WHERE
|
498
760
|
WR1 : TRUE;
|
499
761
|
END_RULE;
|
500
|
-
|
501
|
-
TYPE binary_type = BINARY;
|
502
|
-
END_TYPE;
|
503
|
-
|
504
|
-
TYPE binary_width_type = BINARY (3);
|
505
|
-
END_TYPE;
|
506
|
-
|
507
|
-
TYPE binary_width_fixed_type = BINARY (3) FIXED;
|
508
|
-
END_TYPE;
|
509
|
-
|
510
|
-
TYPE boolean_type = BOOLEAN;
|
511
|
-
END_TYPE;
|
512
|
-
|
513
|
-
TYPE integer_type = INTEGER;
|
514
|
-
END_TYPE;
|
515
|
-
|
516
|
-
TYPE logical_type = LOGICAL;
|
517
|
-
END_TYPE;
|
518
|
-
|
519
|
-
TYPE number_type = NUMBER;
|
520
|
-
END_TYPE;
|
521
|
-
|
522
|
-
TYPE real_type = REAL;
|
523
|
-
END_TYPE;
|
524
|
-
|
525
|
-
TYPE real_precision_type = REAL (3);
|
526
|
-
END_TYPE;
|
527
|
-
|
528
|
-
TYPE string_type = STRING;
|
529
|
-
END_TYPE;
|
530
|
-
|
531
|
-
TYPE string_width_type = STRING (3);
|
532
|
-
END_TYPE;
|
533
|
-
|
534
|
-
TYPE string_width_fixed_type = STRING (3) FIXED;
|
535
|
-
END_TYPE;
|
536
|
-
|
537
|
-
TYPE array_type = ARRAY [1:9] OF STRING;
|
538
|
-
END_TYPE;
|
539
|
-
|
540
|
-
TYPE array_optional_type = ARRAY [1:9] OF OPTIONAL STRING;
|
541
|
-
END_TYPE;
|
542
|
-
|
543
|
-
TYPE array_unique_type = ARRAY [1:9] OF UNIQUE STRING;
|
544
|
-
END_TYPE;
|
545
|
-
|
546
|
-
TYPE array_optional_unique_type = ARRAY [1:9] OF OPTIONAL UNIQUE STRING;
|
547
|
-
END_TYPE;
|
548
|
-
|
549
|
-
TYPE bag_type = BAG OF STRING;
|
550
|
-
END_TYPE;
|
551
|
-
|
552
|
-
TYPE bag_bound_type = BAG [1:9] OF STRING;
|
553
|
-
END_TYPE;
|
554
|
-
|
555
|
-
TYPE list_type = LIST OF STRING;
|
556
|
-
END_TYPE;
|
557
|
-
|
558
|
-
TYPE list_bound_type = LIST [1:9] OF STRING;
|
559
|
-
END_TYPE;
|
560
|
-
|
561
|
-
TYPE list_unique_type = LIST OF UNIQUE STRING;
|
562
|
-
END_TYPE;
|
563
|
-
|
564
|
-
TYPE list_bound_unique_type = LIST [1:9] OF UNIQUE STRING;
|
565
|
-
END_TYPE;
|
566
|
-
|
567
|
-
TYPE set_type = SET OF STRING;
|
568
|
-
END_TYPE;
|
569
|
-
|
570
|
-
TYPE set_bound_type = SET [1:9] OF STRING;
|
571
|
-
END_TYPE;
|
572
|
-
|
573
|
-
TYPE select_type = SELECT;
|
574
|
-
END_TYPE;
|
575
|
-
|
576
|
-
TYPE select_extensible_type = EXTENSIBLE SELECT;
|
577
|
-
END_TYPE;
|
578
|
-
|
579
|
-
TYPE select_extensible_generic_entity_type = EXTENSIBLE GENERIC_ENTITY SELECT;
|
580
|
-
END_TYPE;
|
581
|
-
|
582
|
-
TYPE select_list_type = SELECT (empty_type);
|
583
|
-
END_TYPE;
|
584
|
-
|
585
|
-
TYPE select_extension_type_ref_type = SELECT BASED_ON select_type;
|
586
|
-
END_TYPE;
|
587
|
-
|
588
|
-
TYPE select_extension_type_ref_list_type = SELECT BASED_ON select_type WITH (empty_type);
|
589
|
-
END_TYPE;
|
590
|
-
|
591
|
-
TYPE enumeration_type = ENUMERATION;
|
592
|
-
END_TYPE;
|
593
|
-
|
594
|
-
TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION;
|
595
|
-
END_TYPE;
|
596
|
-
|
597
|
-
TYPE enumeration_list_type = ENUMERATION OF (test);
|
598
|
-
END_TYPE;
|
599
|
-
|
600
|
-
TYPE enumeration_extension_type_ref_type = ENUMERATION BASED_ON enumeration_type;
|
601
|
-
END_TYPE;
|
602
|
-
|
603
|
-
TYPE enumeration_extension_type_ref_list_type = ENUMERATION BASED_ON enumeration_type WITH (test);
|
604
|
-
END_TYPE;
|
605
|
-
|
606
|
-
FUNCTION alias_simple_reference_statement : BOOLEAN;
|
607
|
-
ALIAS test FOR test;
|
608
|
-
;
|
609
|
-
END_ALIAS;
|
610
|
-
END_FUNCTION;
|
611
|
-
|
612
|
-
FUNCTION alias_attribute_reference_statement : BOOLEAN;
|
613
|
-
ALIAS test FOR test.test;
|
614
|
-
;
|
615
|
-
END_ALIAS;
|
616
|
-
END_FUNCTION;
|
617
|
-
|
618
|
-
FUNCTION alias_group_reference_statement : BOOLEAN;
|
619
|
-
ALIAS test FOR test\test;
|
620
|
-
;
|
621
|
-
END_ALIAS;
|
622
|
-
END_FUNCTION;
|
623
|
-
|
624
|
-
FUNCTION alias_index_reference_statement : BOOLEAN;
|
625
|
-
ALIAS test FOR test[1];
|
626
|
-
;
|
627
|
-
END_ALIAS;
|
628
|
-
END_FUNCTION;
|
629
|
-
|
630
|
-
FUNCTION alias_index2_reference_statement : BOOLEAN;
|
631
|
-
ALIAS test FOR test[1:9];
|
632
|
-
;
|
633
|
-
END_ALIAS;
|
634
|
-
END_FUNCTION;
|
635
|
-
|
636
|
-
FUNCTION assignment_simple_reference_statement : BOOLEAN;
|
637
|
-
test := TRUE;
|
638
|
-
END_FUNCTION;
|
639
|
-
|
640
|
-
FUNCTION assignment_attribute_reference_statement : BOOLEAN;
|
641
|
-
test.test := TRUE;
|
642
|
-
END_FUNCTION;
|
643
|
-
|
644
|
-
FUNCTION assignment_group_reference_statement : BOOLEAN;
|
645
|
-
test\test := TRUE;
|
646
|
-
END_FUNCTION;
|
647
|
-
|
648
|
-
FUNCTION assignment_index_reference_statement : BOOLEAN;
|
649
|
-
test[1] := TRUE;
|
650
|
-
END_FUNCTION;
|
651
|
-
|
652
|
-
FUNCTION assignment_index2_reference_statement : BOOLEAN;
|
653
|
-
test[1:9] := TRUE;
|
654
|
-
END_FUNCTION;
|
655
|
-
|
656
|
-
FUNCTION case_statement : BOOLEAN;
|
657
|
-
CASE test OF
|
658
|
-
TRUE :
|
659
|
-
;
|
660
|
-
END_CASE;
|
661
|
-
END_FUNCTION;
|
662
|
-
|
663
|
-
FUNCTION case_multiple_statement : BOOLEAN;
|
664
|
-
CASE test OF
|
665
|
-
TRUE :
|
666
|
-
;
|
667
|
-
TRUE :
|
668
|
-
;
|
669
|
-
END_CASE;
|
670
|
-
END_FUNCTION;
|
671
|
-
|
672
|
-
FUNCTION case_multiple_shorthand_statement : BOOLEAN;
|
673
|
-
CASE test OF
|
674
|
-
TRUE, TRUE :
|
675
|
-
;
|
676
|
-
END_CASE;
|
677
|
-
END_FUNCTION;
|
678
|
-
|
679
|
-
FUNCTION case_otherwise_statement : BOOLEAN;
|
680
|
-
CASE test OF
|
681
|
-
TRUE :
|
682
|
-
;
|
683
|
-
OTHERWISE :
|
684
|
-
;
|
685
|
-
END_CASE;
|
686
|
-
END_FUNCTION;
|
687
|
-
|
688
|
-
FUNCTION compound_statement : BOOLEAN;
|
689
|
-
BEGIN
|
690
|
-
;
|
691
|
-
END;
|
692
|
-
END_FUNCTION;
|
693
|
-
|
694
|
-
FUNCTION escape_statement : BOOLEAN;
|
695
|
-
ESCAPE;
|
696
|
-
END_FUNCTION;
|
697
|
-
|
698
|
-
FUNCTION if_statement : BOOLEAN;
|
699
|
-
IF TRUE THEN
|
700
|
-
;
|
701
|
-
END_IF;
|
702
|
-
END_FUNCTION;
|
703
|
-
|
704
|
-
FUNCTION if2_statement : BOOLEAN;
|
705
|
-
IF TRUE THEN
|
706
|
-
;
|
707
|
-
;
|
708
|
-
END_IF;
|
709
|
-
END_FUNCTION;
|
710
|
-
|
711
|
-
FUNCTION if_else_statement : BOOLEAN;
|
712
|
-
IF TRUE THEN
|
713
|
-
;
|
714
|
-
ELSE
|
715
|
-
;
|
716
|
-
END_IF;
|
717
|
-
END_FUNCTION;
|
718
|
-
|
719
|
-
FUNCTION if2_else_statement : BOOLEAN;
|
720
|
-
IF TRUE THEN
|
721
|
-
;
|
722
|
-
;
|
723
|
-
ELSE
|
724
|
-
;
|
725
|
-
END_IF;
|
726
|
-
END_FUNCTION;
|
727
|
-
|
728
|
-
FUNCTION if_else2_statement : BOOLEAN;
|
729
|
-
IF TRUE THEN
|
730
|
-
;
|
731
|
-
ELSE
|
732
|
-
;
|
733
|
-
;
|
734
|
-
END_IF;
|
735
|
-
END_FUNCTION;
|
736
|
-
|
737
|
-
FUNCTION if2_else2_statement : BOOLEAN;
|
738
|
-
IF TRUE THEN
|
739
|
-
;
|
740
|
-
;
|
741
|
-
ELSE
|
742
|
-
;
|
743
|
-
;
|
744
|
-
END_IF;
|
745
|
-
END_FUNCTION;
|
746
|
-
|
747
|
-
FUNCTION null_statement : BOOLEAN;
|
748
|
-
;
|
749
|
-
END_FUNCTION;
|
750
|
-
|
751
|
-
FUNCTION call_statement : BOOLEAN;
|
752
|
-
empty_procedure;
|
753
|
-
END_FUNCTION;
|
754
|
-
|
755
|
-
FUNCTION call_parameter_statement : BOOLEAN;
|
756
|
-
empty_procedure(TRUE);
|
757
|
-
END_FUNCTION;
|
758
|
-
|
759
|
-
FUNCTION call_parameter2_statement : BOOLEAN;
|
760
|
-
empty_procedure(TRUE, TRUE);
|
761
|
-
END_FUNCTION;
|
762
|
-
|
763
|
-
FUNCTION call_insert_statement : BOOLEAN;
|
764
|
-
INSERT(TRUE);
|
765
|
-
END_FUNCTION;
|
766
|
-
|
767
|
-
FUNCTION call_remove_statement : BOOLEAN;
|
768
|
-
REMOVE(TRUE);
|
769
|
-
END_FUNCTION;
|
770
|
-
|
771
|
-
FUNCTION repeat_statement : BOOLEAN;
|
772
|
-
REPEAT;
|
773
|
-
;
|
774
|
-
END_REPEAT;
|
775
|
-
END_FUNCTION;
|
776
|
-
|
777
|
-
FUNCTION repeat_variable_statement : BOOLEAN;
|
778
|
-
REPEAT test := 1 TO 9;
|
779
|
-
;
|
780
|
-
END_REPEAT;
|
781
|
-
END_FUNCTION;
|
782
|
-
|
783
|
-
FUNCTION repeat_variable_increment_statement : BOOLEAN;
|
784
|
-
REPEAT test := 1 TO 9 BY 2;
|
785
|
-
;
|
786
|
-
END_REPEAT;
|
787
|
-
END_FUNCTION;
|
788
|
-
|
789
|
-
FUNCTION repeat_while_statement : BOOLEAN;
|
790
|
-
REPEAT WHILE TRUE;
|
791
|
-
;
|
792
|
-
END_REPEAT;
|
793
|
-
END_FUNCTION;
|
794
|
-
|
795
|
-
FUNCTION repeat_until_statement : BOOLEAN;
|
796
|
-
REPEAT UNTIL TRUE;
|
797
|
-
;
|
798
|
-
END_REPEAT;
|
799
|
-
END_FUNCTION;
|
800
|
-
|
801
|
-
FUNCTION return_statement : BOOLEAN;
|
802
|
-
RETURN;
|
803
|
-
END_FUNCTION;
|
804
|
-
|
805
|
-
FUNCTION return_expression_statement : BOOLEAN;
|
806
|
-
RETURN (TRUE);
|
807
|
-
END_FUNCTION;
|
808
|
-
|
809
|
-
FUNCTION skip_statement : BOOLEAN;
|
810
|
-
SKIP;
|
811
|
-
END_FUNCTION;
|
812
|
-
|
813
|
-
FUNCTION binary_expression : BOOLEAN;
|
814
|
-
RETURN (%011110000111100001111000);
|
815
|
-
END_FUNCTION;
|
816
|
-
|
817
|
-
FUNCTION integer_expression : BOOLEAN;
|
818
|
-
RETURN (999);
|
819
|
-
END_FUNCTION;
|
820
|
-
|
821
|
-
FUNCTION true_logical_expression : BOOLEAN;
|
822
|
-
RETURN (TRUE);
|
823
|
-
END_FUNCTION;
|
824
|
-
|
825
|
-
FUNCTION false_logical_expression : BOOLEAN;
|
826
|
-
RETURN (FALSE);
|
827
|
-
END_FUNCTION;
|
828
|
-
|
829
|
-
FUNCTION unknown_logical_expression : BOOLEAN;
|
830
|
-
RETURN (UNKNOWN);
|
831
|
-
END_FUNCTION;
|
832
|
-
|
833
|
-
FUNCTION real_expression : BOOLEAN;
|
834
|
-
RETURN (999.999);
|
835
|
-
END_FUNCTION;
|
836
|
-
|
837
|
-
FUNCTION simple_string_expression : BOOLEAN;
|
838
|
-
RETURN ('xxx');
|
839
|
-
END_FUNCTION;
|
840
|
-
|
841
|
-
FUNCTION utf8_simple_string_expression : BOOLEAN;
|
842
|
-
RETURN ('UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.');
|
843
|
-
END_FUNCTION;
|
844
|
-
|
845
|
-
FUNCTION encoded_string_expression : BOOLEAN;
|
846
|
-
RETURN ("000000780000007800000078");
|
847
|
-
END_FUNCTION;
|
848
|
-
|
849
|
-
FUNCTION const_e_expression : BOOLEAN;
|
850
|
-
RETURN (CONST_E);
|
851
|
-
END_FUNCTION;
|
852
|
-
|
853
|
-
FUNCTION indeterminate_expression : BOOLEAN;
|
854
|
-
RETURN (?);
|
855
|
-
END_FUNCTION;
|
856
|
-
|
857
|
-
FUNCTION pi_expression : BOOLEAN;
|
858
|
-
RETURN (PI);
|
859
|
-
END_FUNCTION;
|
860
|
-
|
861
|
-
FUNCTION self_expression : BOOLEAN;
|
862
|
-
RETURN (SELF);
|
863
|
-
END_FUNCTION;
|
864
|
-
|
865
|
-
FUNCTION abs_expression : BOOLEAN;
|
866
|
-
RETURN (ABS(TRUE));
|
867
|
-
END_FUNCTION;
|
868
|
-
|
869
|
-
FUNCTION acos_expression : BOOLEAN;
|
870
|
-
RETURN (ACOS(TRUE));
|
871
|
-
END_FUNCTION;
|
872
|
-
|
873
|
-
FUNCTION asin_expression : BOOLEAN;
|
874
|
-
RETURN (ASIN(TRUE));
|
875
|
-
END_FUNCTION;
|
876
|
-
|
877
|
-
FUNCTION atan_expression : BOOLEAN;
|
878
|
-
RETURN (ATAN(TRUE));
|
879
|
-
END_FUNCTION;
|
880
|
-
|
881
|
-
FUNCTION blength_expression : BOOLEAN;
|
882
|
-
RETURN (BLENGTH(TRUE));
|
883
|
-
END_FUNCTION;
|
884
|
-
|
885
|
-
FUNCTION cos_expression : BOOLEAN;
|
886
|
-
RETURN (COS(TRUE));
|
887
|
-
END_FUNCTION;
|
888
|
-
|
889
|
-
FUNCTION exists_expression : BOOLEAN;
|
890
|
-
RETURN (EXISTS(TRUE));
|
891
|
-
END_FUNCTION;
|
892
|
-
|
893
|
-
FUNCTION exp_expression : BOOLEAN;
|
894
|
-
RETURN (EXP(TRUE));
|
895
|
-
END_FUNCTION;
|
896
|
-
|
897
|
-
FUNCTION format_expression : BOOLEAN;
|
898
|
-
RETURN (FORMAT(TRUE));
|
899
|
-
END_FUNCTION;
|
900
|
-
|
901
|
-
FUNCTION hibound_expression : BOOLEAN;
|
902
|
-
RETURN (HIBOUND(TRUE));
|
903
|
-
END_FUNCTION;
|
904
|
-
|
905
|
-
FUNCTION hiindex_expression : BOOLEAN;
|
906
|
-
RETURN (HIINDEX(TRUE));
|
907
|
-
END_FUNCTION;
|
908
|
-
|
909
|
-
FUNCTION length_expression : BOOLEAN;
|
910
|
-
RETURN (LENGTH(TRUE));
|
911
|
-
END_FUNCTION;
|
912
|
-
|
913
|
-
FUNCTION lobound_expression : BOOLEAN;
|
914
|
-
RETURN (LOBOUND(TRUE));
|
915
|
-
END_FUNCTION;
|
916
|
-
|
917
|
-
FUNCTION loindex_expression : BOOLEAN;
|
918
|
-
RETURN (LOINDEX(TRUE));
|
919
|
-
END_FUNCTION;
|
920
|
-
|
921
|
-
FUNCTION log_expression : BOOLEAN;
|
922
|
-
RETURN (LOG(TRUE));
|
923
|
-
END_FUNCTION;
|
924
|
-
|
925
|
-
FUNCTION log2_expression : BOOLEAN;
|
926
|
-
RETURN (LOG2(TRUE));
|
927
|
-
END_FUNCTION;
|
928
|
-
|
929
|
-
FUNCTION log10_expression : BOOLEAN;
|
930
|
-
RETURN (LOG10(TRUE));
|
931
|
-
END_FUNCTION;
|
932
|
-
|
933
|
-
FUNCTION nvl_expression : BOOLEAN;
|
934
|
-
RETURN (NVL(TRUE));
|
935
|
-
END_FUNCTION;
|
936
|
-
|
937
|
-
FUNCTION odd_expression : BOOLEAN;
|
938
|
-
RETURN (ODD(TRUE));
|
939
|
-
END_FUNCTION;
|
940
|
-
|
941
|
-
FUNCTION rolesof_expression : BOOLEAN;
|
942
|
-
RETURN (ROLESOF(TRUE));
|
943
|
-
END_FUNCTION;
|
944
|
-
|
945
|
-
FUNCTION sin_expression : BOOLEAN;
|
946
|
-
RETURN (SIN(TRUE));
|
947
|
-
END_FUNCTION;
|
948
|
-
|
949
|
-
FUNCTION sizeof_expression : BOOLEAN;
|
950
|
-
RETURN (SIZEOF(TRUE));
|
951
|
-
END_FUNCTION;
|
952
|
-
|
953
|
-
FUNCTION sqrt_expression : BOOLEAN;
|
954
|
-
RETURN (SQRT(TRUE));
|
955
|
-
END_FUNCTION;
|
956
|
-
|
957
|
-
FUNCTION tan_expression : BOOLEAN;
|
958
|
-
RETURN (TAN(TRUE));
|
959
|
-
END_FUNCTION;
|
960
|
-
|
961
|
-
FUNCTION typeof_expression : BOOLEAN;
|
962
|
-
RETURN (TYPEOF(TRUE));
|
963
|
-
END_FUNCTION;
|
964
|
-
|
965
|
-
FUNCTION usedin_expression : BOOLEAN;
|
966
|
-
RETURN (USEDIN(TRUE));
|
967
|
-
END_FUNCTION;
|
968
|
-
|
969
|
-
FUNCTION value_expression : BOOLEAN;
|
970
|
-
RETURN (VALUE(TRUE));
|
971
|
-
END_FUNCTION;
|
972
|
-
|
973
|
-
FUNCTION value_in_expression : BOOLEAN;
|
974
|
-
RETURN (VALUE_IN(TRUE));
|
975
|
-
END_FUNCTION;
|
976
|
-
|
977
|
-
FUNCTION value_unique_expression : BOOLEAN;
|
978
|
-
RETURN (VALUE_UNIQUE(TRUE));
|
979
|
-
END_FUNCTION;
|
980
|
-
|
981
|
-
FUNCTION plus_expression : BOOLEAN;
|
982
|
-
RETURN (+4);
|
983
|
-
END_FUNCTION;
|
984
|
-
|
985
|
-
FUNCTION plus_addition_expression : BOOLEAN;
|
986
|
-
RETURN (+(4 + 2));
|
987
|
-
END_FUNCTION;
|
988
|
-
|
989
|
-
FUNCTION minus_expression : BOOLEAN;
|
990
|
-
RETURN (-4);
|
991
|
-
END_FUNCTION;
|
992
|
-
|
993
|
-
FUNCTION minus_addition_expression : BOOLEAN;
|
994
|
-
RETURN (-(4 + 2));
|
995
|
-
END_FUNCTION;
|
996
|
-
|
997
|
-
FUNCTION addition_expression : BOOLEAN;
|
998
|
-
RETURN (4 + 2);
|
999
|
-
END_FUNCTION;
|
1000
|
-
|
1001
|
-
FUNCTION subtraction_expression : BOOLEAN;
|
1002
|
-
RETURN (4 - 2);
|
1003
|
-
END_FUNCTION;
|
1004
|
-
|
1005
|
-
FUNCTION multiplication_expression : BOOLEAN;
|
1006
|
-
RETURN (4 * 2);
|
1007
|
-
END_FUNCTION;
|
1008
|
-
|
1009
|
-
FUNCTION real_division_expression : BOOLEAN;
|
1010
|
-
RETURN (4 / 2);
|
1011
|
-
END_FUNCTION;
|
1012
|
-
|
1013
|
-
FUNCTION integer_division_expression : BOOLEAN;
|
1014
|
-
RETURN (4 DIV 2);
|
1015
|
-
END_FUNCTION;
|
1016
|
-
|
1017
|
-
FUNCTION modulo_expression : BOOLEAN;
|
1018
|
-
RETURN (4 MOD 2);
|
1019
|
-
END_FUNCTION;
|
1020
|
-
|
1021
|
-
FUNCTION exponentiation_expression : BOOLEAN;
|
1022
|
-
RETURN (4 ** 2);
|
1023
|
-
END_FUNCTION;
|
1024
|
-
|
1025
|
-
FUNCTION addition_addition_expression : BOOLEAN;
|
1026
|
-
RETURN (4 + 2 + 1);
|
1027
|
-
END_FUNCTION;
|
1028
|
-
|
1029
|
-
FUNCTION subtraction_subtraction_expression : BOOLEAN;
|
1030
|
-
RETURN (4 - 2 - 1);
|
1031
|
-
END_FUNCTION;
|
1032
|
-
|
1033
|
-
FUNCTION addition_subtraction_expression : BOOLEAN;
|
1034
|
-
RETURN (4 + 2 - 1);
|
1035
|
-
END_FUNCTION;
|
1036
|
-
|
1037
|
-
FUNCTION subtraction_addition_expression : BOOLEAN;
|
1038
|
-
RETURN (4 - 2 + 1);
|
1039
|
-
END_FUNCTION;
|
1040
|
-
|
1041
|
-
FUNCTION addition_multiplication_expression : BOOLEAN;
|
1042
|
-
RETURN (8 + 4 * 2);
|
1043
|
-
END_FUNCTION;
|
1044
|
-
|
1045
|
-
FUNCTION multiplication_addition_expression : BOOLEAN;
|
1046
|
-
RETURN (8 * 4 + 2);
|
1047
|
-
END_FUNCTION;
|
1048
|
-
|
1049
|
-
FUNCTION parenthesis_addition_multiplication_expression : BOOLEAN;
|
1050
|
-
RETURN ((8 + 4) * 2);
|
1051
|
-
END_FUNCTION;
|
1052
|
-
|
1053
|
-
FUNCTION multiplication_parenthesis_addition_expression : BOOLEAN;
|
1054
|
-
RETURN (8 * (4 + 2));
|
1055
|
-
END_FUNCTION;
|
1056
|
-
|
1057
|
-
FUNCTION equal_expression : BOOLEAN;
|
1058
|
-
RETURN (4 = 2);
|
1059
|
-
END_FUNCTION;
|
1060
|
-
|
1061
|
-
FUNCTION not_equal_expression : BOOLEAN;
|
1062
|
-
RETURN (4 <> 2);
|
1063
|
-
END_FUNCTION;
|
1064
|
-
|
1065
|
-
FUNCTION instance_equal_expression : BOOLEAN;
|
1066
|
-
RETURN (4 :=: 2);
|
1067
|
-
END_FUNCTION;
|
1068
|
-
|
1069
|
-
FUNCTION instance_not_equal_expression : BOOLEAN;
|
1070
|
-
RETURN (4 :<>: 2);
|
1071
|
-
END_FUNCTION;
|
1072
|
-
|
1073
|
-
FUNCTION lt_expression : BOOLEAN;
|
1074
|
-
RETURN (4 < 2);
|
1075
|
-
END_FUNCTION;
|
1076
|
-
|
1077
|
-
FUNCTION gt_expression : BOOLEAN;
|
1078
|
-
RETURN (4 > 2);
|
1079
|
-
END_FUNCTION;
|
1080
|
-
|
1081
|
-
FUNCTION lte_expression : BOOLEAN;
|
1082
|
-
RETURN (4 <= 2);
|
1083
|
-
END_FUNCTION;
|
1084
|
-
|
1085
|
-
FUNCTION gte_expression : BOOLEAN;
|
1086
|
-
RETURN (4 >= 2);
|
1087
|
-
END_FUNCTION;
|
1088
|
-
|
1089
|
-
FUNCTION not_expression : BOOLEAN;
|
1090
|
-
RETURN (NOT TRUE);
|
1091
|
-
END_FUNCTION;
|
1092
|
-
|
1093
|
-
FUNCTION not_or_expression : BOOLEAN;
|
1094
|
-
RETURN (NOT (TRUE OR FALSE));
|
1095
|
-
END_FUNCTION;
|
1096
|
-
|
1097
|
-
FUNCTION or_expression : BOOLEAN;
|
1098
|
-
RETURN (TRUE OR FALSE);
|
1099
|
-
END_FUNCTION;
|
1100
|
-
|
1101
|
-
FUNCTION and_expression : BOOLEAN;
|
1102
|
-
RETURN (TRUE AND FALSE);
|
1103
|
-
END_FUNCTION;
|
1104
|
-
|
1105
|
-
FUNCTION or_or_expression : BOOLEAN;
|
1106
|
-
RETURN (TRUE OR FALSE OR TRUE);
|
1107
|
-
END_FUNCTION;
|
1108
|
-
|
1109
|
-
FUNCTION and_and_expression : BOOLEAN;
|
1110
|
-
RETURN (TRUE AND FALSE AND TRUE);
|
1111
|
-
END_FUNCTION;
|
1112
|
-
|
1113
|
-
FUNCTION or_and_expression : BOOLEAN;
|
1114
|
-
RETURN (TRUE OR FALSE AND TRUE);
|
1115
|
-
END_FUNCTION;
|
1116
|
-
|
1117
|
-
FUNCTION and_or_expression : BOOLEAN;
|
1118
|
-
RETURN (TRUE AND FALSE OR TRUE);
|
1119
|
-
END_FUNCTION;
|
1120
|
-
|
1121
|
-
FUNCTION parenthesis_or_and_expression : BOOLEAN;
|
1122
|
-
RETURN ((TRUE OR FALSE) AND TRUE);
|
1123
|
-
END_FUNCTION;
|
1124
|
-
|
1125
|
-
FUNCTION and_parenthesis_or_expression : BOOLEAN;
|
1126
|
-
RETURN (TRUE AND (FALSE OR TRUE));
|
1127
|
-
END_FUNCTION;
|
1128
|
-
|
1129
|
-
FUNCTION combine_expression : BOOLEAN;
|
1130
|
-
RETURN (test || test);
|
1131
|
-
END_FUNCTION;
|
1132
|
-
|
1133
|
-
FUNCTION in_expression : BOOLEAN;
|
1134
|
-
RETURN (TRUE IN [TRUE]);
|
1135
|
-
END_FUNCTION;
|
1136
|
-
|
1137
|
-
FUNCTION like_expression : BOOLEAN;
|
1138
|
-
RETURN ('xxx' LIKE 'xxx');
|
1139
|
-
END_FUNCTION;
|
1140
|
-
|
1141
|
-
FUNCTION aggregate_initializer_expression : BOOLEAN;
|
1142
|
-
RETURN ([4]);
|
1143
|
-
END_FUNCTION;
|
1144
|
-
|
1145
|
-
FUNCTION repeated_aggregate_initializer_expression : BOOLEAN;
|
1146
|
-
RETURN ([4:2]);
|
1147
|
-
END_FUNCTION;
|
1148
|
-
|
1149
|
-
FUNCTION complex_aggregate_initializer_expression : BOOLEAN;
|
1150
|
-
RETURN ([4 + 2]);
|
1151
|
-
END_FUNCTION;
|
1152
|
-
|
1153
|
-
FUNCTION complex_repeated_aggregate_initializer_expression : BOOLEAN;
|
1154
|
-
RETURN ([4 + 2:4 + 2]);
|
1155
|
-
END_FUNCTION;
|
1156
|
-
|
1157
|
-
FUNCTION call_expression : BOOLEAN;
|
1158
|
-
RETURN (parameter_function(TRUE));
|
1159
|
-
END_FUNCTION;
|
1160
|
-
|
1161
|
-
FUNCTION simple_reference_expression : BOOLEAN;
|
1162
|
-
RETURN (simple_string_expression);
|
1163
|
-
END_FUNCTION;
|
1164
|
-
|
1165
|
-
FUNCTION attribute_reference_expression : BOOLEAN;
|
1166
|
-
RETURN (simple_string_expression.test);
|
1167
|
-
END_FUNCTION;
|
1168
|
-
|
1169
|
-
FUNCTION group_reference_expression : BOOLEAN;
|
1170
|
-
RETURN (simple_string_expression\test);
|
1171
|
-
END_FUNCTION;
|
1172
|
-
|
1173
|
-
FUNCTION index_reference_expression : BOOLEAN;
|
1174
|
-
RETURN (simple_string_expression[1]);
|
1175
|
-
END_FUNCTION;
|
1176
|
-
|
1177
|
-
FUNCTION index2_reference_expression : BOOLEAN;
|
1178
|
-
RETURN (simple_string_expression[1:9]);
|
1179
|
-
END_FUNCTION;
|
1180
|
-
|
1181
|
-
FUNCTION lt_lt_interval_expression : BOOLEAN;
|
1182
|
-
RETURN ({1 < 5 < 9});
|
1183
|
-
END_FUNCTION;
|
1184
|
-
|
1185
|
-
FUNCTION lte_lt_interval_expression : BOOLEAN;
|
1186
|
-
RETURN ({1 <= 5 < 9});
|
1187
|
-
END_FUNCTION;
|
1188
|
-
|
1189
|
-
FUNCTION lt_lte_interval_expression : BOOLEAN;
|
1190
|
-
RETURN ({1 < 5 <= 9});
|
1191
|
-
END_FUNCTION;
|
1192
|
-
|
1193
|
-
FUNCTION lte_lte_interval_expression : BOOLEAN;
|
1194
|
-
RETURN ({1 <= 5 <= 9});
|
1195
|
-
END_FUNCTION;
|
1196
|
-
|
1197
|
-
FUNCTION query_expression : BOOLEAN;
|
1198
|
-
RETURN (QUERY(test <* test2 | TRUE));
|
1199
|
-
END_FUNCTION;
|
1200
762
|
END_SCHEMA;
|