expressir 0.2.7-arm64-darwin

Sign up to get free protection for your applications and to get access to all the features.
Files changed (183) hide show
  1. checksums.yaml +7 -0
  2. data/.cross_rubies +30 -0
  3. data/.github/workflows/rake.yml +45 -0
  4. data/.github/workflows/release.yml +84 -0
  5. data/.gitignore +17 -0
  6. data/.gitmodules +3 -0
  7. data/.rspec +2 -0
  8. data/.rubocop.yml +508 -0
  9. data/Gemfile +4 -0
  10. data/README.adoc +147 -0
  11. data/Rakefile +11 -0
  12. data/bin/console +12 -0
  13. data/bin/rspec +29 -0
  14. data/bin/setup +8 -0
  15. data/demo.rb +18 -0
  16. data/docs/development.md +90 -0
  17. data/exe/expressir +20 -0
  18. data/exe/generate-parser +48 -0
  19. data/expressir.gemspec +43 -0
  20. data/lib/expressir.rb +21 -0
  21. data/lib/expressir/cli.rb +27 -0
  22. data/lib/expressir/cli/ui.rb +36 -0
  23. data/lib/expressir/config.rb +23 -0
  24. data/lib/expressir/express.rb +11 -0
  25. data/lib/expressir/express/aggregate_dimension.rb +38 -0
  26. data/lib/expressir/express/attribute.rb +15 -0
  27. data/lib/expressir/express/comment.rb +7 -0
  28. data/lib/expressir/express/defined_type.rb +36 -0
  29. data/lib/expressir/express/derived.rb +65 -0
  30. data/lib/expressir/express/derived_aggregate.rb +43 -0
  31. data/lib/expressir/express/entity.rb +137 -0
  32. data/lib/expressir/express/explicit.rb +70 -0
  33. data/lib/expressir/express/explicit_aggregate.rb +46 -0
  34. data/lib/expressir/express/explicit_or_derived.rb +16 -0
  35. data/lib/expressir/express/global_rule.rb +44 -0
  36. data/lib/expressir/express/interface_specification.rb +51 -0
  37. data/lib/expressir/express/interfaced_item.rb +38 -0
  38. data/lib/expressir/express/inverse.rb +46 -0
  39. data/lib/expressir/express/inverse_aggregate.rb +37 -0
  40. data/lib/expressir/express/model_element.rb +7 -0
  41. data/lib/expressir/express/named_type.rb +19 -0
  42. data/lib/expressir/express/remark.rb +8 -0
  43. data/lib/expressir/express/repository.rb +306 -0
  44. data/lib/expressir/express/schema_definition.rb +96 -0
  45. data/lib/expressir/express/subtype_constraint.rb +14 -0
  46. data/lib/expressir/express/type.rb +26 -0
  47. data/lib/expressir/express/type_aggregate.rb +42 -0
  48. data/lib/expressir/express/type_enum.rb +29 -0
  49. data/lib/expressir/express/type_parser.rb +45 -0
  50. data/lib/expressir/express/type_select.rb +82 -0
  51. data/lib/expressir/express/unique_rule.rb +35 -0
  52. data/lib/expressir/express/where_rule.rb +32 -0
  53. data/lib/expressir/express_exp/2.4/express_parser.bundle +0 -0
  54. data/lib/expressir/express_exp/2.5/express_parser.bundle +0 -0
  55. data/lib/expressir/express_exp/2.6/express_parser.bundle +0 -0
  56. data/lib/expressir/express_exp/2.7/express_parser.bundle +0 -0
  57. data/lib/expressir/express_exp/3.0/express_parser.bundle +0 -0
  58. data/lib/expressir/express_exp/formatter.rb +1450 -0
  59. data/lib/expressir/express_exp/parser.rb +41 -0
  60. data/lib/expressir/express_exp/visitor.rb +2464 -0
  61. data/lib/expressir/express_parser.rb +30 -0
  62. data/lib/expressir/model.rb +65 -0
  63. data/lib/expressir/model/attribute.rb +27 -0
  64. data/lib/expressir/model/constant.rb +17 -0
  65. data/lib/expressir/model/entity.rb +46 -0
  66. data/lib/expressir/model/enumeration_item.rb +11 -0
  67. data/lib/expressir/model/expressions/aggregate_initializer.rb +13 -0
  68. data/lib/expressir/model/expressions/aggregate_item.rb +15 -0
  69. data/lib/expressir/model/expressions/attribute_reference.rb +15 -0
  70. data/lib/expressir/model/expressions/binary_expression.rb +40 -0
  71. data/lib/expressir/model/expressions/call.rb +15 -0
  72. data/lib/expressir/model/expressions/entity_constructor.rb +15 -0
  73. data/lib/expressir/model/expressions/group_reference.rb +15 -0
  74. data/lib/expressir/model/expressions/index_reference.rb +17 -0
  75. data/lib/expressir/model/expressions/interval.rb +21 -0
  76. data/lib/expressir/model/expressions/query_expression.rb +26 -0
  77. data/lib/expressir/model/expressions/simple_reference.rb +13 -0
  78. data/lib/expressir/model/expressions/unary_expression.rb +19 -0
  79. data/lib/expressir/model/function.rb +62 -0
  80. data/lib/expressir/model/identifier.rb +10 -0
  81. data/lib/expressir/model/interface.rb +18 -0
  82. data/lib/expressir/model/literals/binary.rb +13 -0
  83. data/lib/expressir/model/literals/integer.rb +13 -0
  84. data/lib/expressir/model/literals/logical.rb +17 -0
  85. data/lib/expressir/model/literals/real.rb +13 -0
  86. data/lib/expressir/model/literals/string.rb +15 -0
  87. data/lib/expressir/model/parameter.rb +17 -0
  88. data/lib/expressir/model/procedure.rb +60 -0
  89. data/lib/expressir/model/renamed_ref.rb +13 -0
  90. data/lib/expressir/model/repository.rb +19 -0
  91. data/lib/expressir/model/rule.rb +62 -0
  92. data/lib/expressir/model/schema.rb +67 -0
  93. data/lib/expressir/model/scope.rb +17 -0
  94. data/lib/expressir/model/statements/alias.rb +26 -0
  95. data/lib/expressir/model/statements/assignment.rb +15 -0
  96. data/lib/expressir/model/statements/call.rb +15 -0
  97. data/lib/expressir/model/statements/case.rb +17 -0
  98. data/lib/expressir/model/statements/case_action.rb +15 -0
  99. data/lib/expressir/model/statements/compound.rb +13 -0
  100. data/lib/expressir/model/statements/escape.rb +8 -0
  101. data/lib/expressir/model/statements/if.rb +17 -0
  102. data/lib/expressir/model/statements/null.rb +8 -0
  103. data/lib/expressir/model/statements/repeat.rb +34 -0
  104. data/lib/expressir/model/statements/return.rb +13 -0
  105. data/lib/expressir/model/statements/skip.rb +8 -0
  106. data/lib/expressir/model/subtype_constraint.rb +27 -0
  107. data/lib/expressir/model/type.rb +24 -0
  108. data/lib/expressir/model/types/aggregate.rb +17 -0
  109. data/lib/expressir/model/types/array.rb +21 -0
  110. data/lib/expressir/model/types/bag.rb +17 -0
  111. data/lib/expressir/model/types/binary.rb +15 -0
  112. data/lib/expressir/model/types/boolean.rb +8 -0
  113. data/lib/expressir/model/types/enumeration.rb +19 -0
  114. data/lib/expressir/model/types/generic.rb +13 -0
  115. data/lib/expressir/model/types/generic_entity.rb +13 -0
  116. data/lib/expressir/model/types/integer.rb +8 -0
  117. data/lib/expressir/model/types/list.rb +19 -0
  118. data/lib/expressir/model/types/logical.rb +8 -0
  119. data/lib/expressir/model/types/number.rb +8 -0
  120. data/lib/expressir/model/types/real.rb +13 -0
  121. data/lib/expressir/model/types/select.rb +21 -0
  122. data/lib/expressir/model/types/set.rb +17 -0
  123. data/lib/expressir/model/types/string.rb +15 -0
  124. data/lib/expressir/model/unique.rb +15 -0
  125. data/lib/expressir/model/variable.rb +17 -0
  126. data/lib/expressir/model/where.rb +15 -0
  127. data/lib/expressir/parser.rb +6 -0
  128. data/lib/expressir/parser/owl_parser.rb +8 -0
  129. data/lib/expressir/version.rb +3 -0
  130. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.exp +9589 -0
  131. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.owl +36619 -0
  132. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.xml +13294 -0
  133. data/original/examples/employment/eclipse/.project +17 -0
  134. data/original/examples/employment/eclipse/Export/Employment.png +0 -0
  135. data/original/examples/employment/eclipse/Express/employment_schema.exp +33 -0
  136. data/original/examples/employment/eclipse/Express/employment_schema.xmi +77 -0
  137. data/original/examples/employment/eclipse/Express/employment_schema.xml +93 -0
  138. data/original/examples/employment/eclipse/Models/Employment.uml +4 -0
  139. data/original/examples/employment/eclipse/Models/Employment.umldi +240 -0
  140. data/original/examples/employment/eclipse/readme.txt +7 -0
  141. data/original/examples/employment/employment_schema.exp +33 -0
  142. data/original/examples/employment/employment_schema.rb +232 -0
  143. data/original/examples/employment/employment_schema.xml +93 -0
  144. data/original/examples/employment/employment_schema___module.rb +46 -0
  145. data/original/examples/employment/employment_schema___p28attr.rb +126 -0
  146. data/original/examples/employment/employment_schema___p28inst.rb +26 -0
  147. data/original/examples/employment/example_employment_data.xml +1 -0
  148. data/original/examples/employment/example_employment_data_copy.xml +1 -0
  149. data/original/examples/employment/example_employment_reader.rb +30 -0
  150. data/original/examples/employment/example_employment_writer.rb +51 -0
  151. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.exp +3710 -0
  152. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.owl +35880 -0
  153. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xmi +15357 -0
  154. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xml +9468 -0
  155. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.exp +8404 -0
  156. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.owl +43147 -0
  157. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xmi +18341 -0
  158. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xml +11632 -0
  159. data/original/examples/syntax/remark.exp +146 -0
  160. data/original/examples/syntax/remark_formatted.exp +175 -0
  161. data/original/examples/syntax/syntax.exp +311 -0
  162. data/original/examples/syntax/syntax_formatted.exp +1191 -0
  163. data/original/exp2ruby.rb +525 -0
  164. data/original/expsm.rb +34 -0
  165. data/original/mapping_owl.rb +1018 -0
  166. data/original/mapping_sysml.rb +2281 -0
  167. data/original/mapping_uml2.rb +599 -0
  168. data/original/mapping_uml2_eclipse.rb +433 -0
  169. data/original/reeper.rb +134 -0
  170. data/rakelib/cross-ruby.rake +308 -0
  171. data/spec/acceptance/express_to_owl_spec.rb +18 -0
  172. data/spec/acceptance/version_spec.rb +12 -0
  173. data/spec/expressir/express/repository_spec.rb +25 -0
  174. data/spec/expressir/express_exp/ap233_spec.rb +22 -0
  175. data/spec/expressir/express_exp/format_remark_spec.rb +28 -0
  176. data/spec/expressir/express_exp/format_syntax_spec.rb +28 -0
  177. data/spec/expressir/express_exp/parse_remark_spec.rb +346 -0
  178. data/spec/expressir/express_exp/parse_syntax_spec.rb +3003 -0
  179. data/spec/expressir/model/find_spec.rb +110 -0
  180. data/spec/expressr_spec.rb +5 -0
  181. data/spec/spec_helper.rb +17 -0
  182. data/spec/support/console_helper.rb +29 -0
  183. metadata +357 -0
@@ -0,0 +1,146 @@
1
+ (*"remark_schema"
2
+ Any character within the EXPRESS character set may occur between the start and end of
3
+ an embedded remark including the newline character; therefore, embedded remarks can span
4
+ several physical lines.
5
+ *)
6
+ --"remark_schema" The tail remark is written at the end of a physical line.
7
+ --"remark_schema" UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.
8
+
9
+ --"remark_schema" universal scope - schema before
10
+
11
+ SCHEMA remark_schema;
12
+
13
+ CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
14
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
15
+ ENTITY remark_entity;
16
+ remark_attribute : STRING;
17
+ DERIVE remark_derived_attribute : STRING := 'xxx';
18
+ INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
19
+ UNIQUE remark_unique : remark_attribute;
20
+ WHERE remark_where : TRUE;
21
+ --"remark_attribute" entity scope - entity attribute
22
+ --"remark_derived_attribute" entity scope - entity derived attribute
23
+ --"remark_inverse_attribute" entity scope - entity inverse attribute
24
+ --"remark_unique" entity scope - entity unique
25
+ --"remark_where" entity scope - entity where
26
+ END_ENTITY;
27
+ SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
28
+ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
29
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
30
+ CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
31
+ LOCAL remark_variable : STRING; END_LOCAL;
32
+ ALIAS remark_alias FOR remark_variable; ;
33
+ --"remark_alias" function alias scope - function alias
34
+ END_ALIAS;
35
+ REPEAT remark_repeat := 1 TO 9; ;
36
+ --"remark_repeat" function repeat scope - function repeat
37
+ END_REPEAT;
38
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
39
+ --"remark_query" function query scope - function query
40
+ );
41
+ --"remark_parameter" function scope - function parameter
42
+ --"remark_type" function scope - function type
43
+ --"remark_enumeration_item" function scope - function enumeration item
44
+ --"remark_constant" function scope - function constant
45
+ --"remark_variable" function scope - function variable
46
+ END_FUNCTION;
47
+ PROCEDURE remark_procedure(remark_parameter : STRING);
48
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
49
+ CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
50
+ LOCAL remark_variable : STRING; END_LOCAL;
51
+ ALIAS remark_alias FOR remark_variable; ;
52
+ --"remark_alias" procedure alias scope - procedure alias
53
+ END_ALIAS;
54
+ REPEAT remark_repeat := 1 TO 9; ;
55
+ --"remark_repeat" procedure repeat scope - procedure repeat
56
+ END_REPEAT;
57
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
58
+ --"remark_query" procedure query scope - procedure query
59
+ );
60
+ --"remark_parameter" procedure scope - procedure parameter
61
+ --"remark_type" procedure scope - procedure type
62
+ --"remark_enumeration_item" procedure scope - procedure enumeration item
63
+ --"remark_constant" procedure scope - procedure constant
64
+ --"remark_variable" procedure scope - procedure variable
65
+ END_PROCEDURE;
66
+ RULE remark_rule FOR (remark_entity);
67
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
68
+ CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
69
+ LOCAL remark_variable : STRING; END_LOCAL;
70
+ ALIAS remark_alias FOR remark_variable; ;
71
+ --"remark_alias" rule alias scope - rule alias
72
+ END_ALIAS;
73
+ REPEAT remark_repeat := 1 TO 9; ;
74
+ --"remark_repeat" rule repeat scope - rule repeat
75
+ END_REPEAT;
76
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
77
+ --"remark_query" rule query scope - rule query
78
+ );
79
+ WHERE remark_where : TRUE;
80
+ --"remark_type" rule scope - rule type
81
+ --"remark_enumeration_item" rule scope - rule enumeration item
82
+ --"remark_constant" rule scope - rule constant
83
+ --"remark_variable" rule scope - rule variable
84
+ --"remark_where" rule scope - rule where
85
+ END_RULE;
86
+
87
+ --"remark_constant" schema scope - constant
88
+ --"remark_type" schema scope - type
89
+ --"remark_enumeration_item" schema scope - enumeration item
90
+ --"remark_entity" schema scope - entity
91
+ --"remark_entity.remark_attribute" schema scope - entity attribute
92
+ --"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
93
+ --"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
94
+ --"remark_entity.remark_unique" schema scope - entity unique
95
+ --"remark_entity.remark_where" schema scope - entity where
96
+ --"remark_subtype_constraint" schema scope - subtype constraint
97
+ --"remark_function" schema scope - function
98
+ --"remark_function.remark_parameter" schema scope - function parameter
99
+ --"remark_function.remark_type" schema scope - function type
100
+ --"remark_function.remark_enumeration_item" schema scope - function enumeration item
101
+ --"remark_function.remark_constant" schema scope - function constant
102
+ --"remark_function.remark_variable" schema scope - function variable
103
+ --"remark_procedure" schema scope - procedure
104
+ --"remark_procedure.remark_parameter" schema scope - procedure parameter
105
+ --"remark_procedure.remark_type" schema scope - procedure type
106
+ --"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
107
+ --"remark_procedure.remark_constant" schema scope - procedure constant
108
+ --"remark_procedure.remark_variable" schema scope - procedure variable
109
+ --"remark_rule" schema scope - rule
110
+ --"remark_rule.remark_type" schema scope - rule type
111
+ --"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
112
+ --"remark_rule.remark_constant" schema scope - rule constant
113
+ --"remark_rule.remark_variable" schema scope - rule variable
114
+ --"remark_rule.remark_where" schema scope - rule where
115
+
116
+ END_SCHEMA;
117
+
118
+ --"remark_schema" universal scope - schema
119
+ --"remark_schema.remark_constant" universal scope - constant
120
+ --"remark_schema.remark_type" universal scope - type
121
+ --"remark_schema.remark_enumeration_item" universal scope - enumeration item
122
+ --"remark_schema.remark_entity" universal scope - entity
123
+ --"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
124
+ --"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
125
+ --"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
126
+ --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
127
+ --"remark_schema.remark_entity.remark_where" universal scope - entity where
128
+ --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
129
+ --"remark_schema.remark_function" universal scope - function
130
+ --"remark_schema.remark_function.remark_parameter" universal scope - function parameter
131
+ --"remark_schema.remark_function.remark_type" universal scope - function type
132
+ --"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
133
+ --"remark_schema.remark_function.remark_constant" universal scope - function constant
134
+ --"remark_schema.remark_function.remark_variable" universal scope - function variable
135
+ --"remark_schema.remark_procedure" universal scope - procedure
136
+ --"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
137
+ --"remark_schema.remark_procedure.remark_type" universal scope - procedure type
138
+ --"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
139
+ --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
140
+ --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
141
+ --"remark_schema.remark_rule" universal scope - rule
142
+ --"remark_schema.remark_rule.remark_type" universal scope - rule type
143
+ --"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
144
+ --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
145
+ --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
146
+ --"remark_schema.remark_rule.remark_where" universal scope - rule where
@@ -0,0 +1,175 @@
1
+ SCHEMA remark_schema;
2
+ CONSTANT
3
+ remark_constant : STRING := 'xxx';
4
+ END_CONSTANT;
5
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
6
+ END_TYPE;
7
+
8
+ ENTITY remark_entity;
9
+ remark_attribute : STRING;
10
+ DERIVE
11
+ remark_derived_attribute : STRING := 'xxx';
12
+ INVERSE
13
+ remark_inverse_attribute : remark_entity FOR remark_attribute;
14
+ UNIQUE
15
+ remark_unique : remark_attribute;
16
+ WHERE
17
+ remark_where : TRUE;
18
+ END_ENTITY;
19
+
20
+ SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
21
+ END_SUBTYPE_CONSTRAINT;
22
+
23
+ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
24
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
25
+ END_TYPE;
26
+ CONSTANT
27
+ remark_constant : STRING := 'xxx';
28
+ END_CONSTANT;
29
+ LOCAL
30
+ remark_variable : STRING;
31
+ END_LOCAL;
32
+ ALIAS remark_alias FOR remark_variable;
33
+ ;
34
+ --"remark_alias" function alias scope - function alias
35
+ END_ALIAS;
36
+ REPEAT remark_repeat := 1 TO 9;
37
+ ;
38
+ --"remark_repeat" function repeat scope - function repeat
39
+ END_REPEAT;
40
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
41
+ --"remark_query" function query scope - function query
42
+ );
43
+ END_FUNCTION;
44
+
45
+ PROCEDURE remark_procedure(remark_parameter : STRING);
46
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
47
+ END_TYPE;
48
+ CONSTANT
49
+ remark_constant : STRING := 'xxx';
50
+ END_CONSTANT;
51
+ LOCAL
52
+ remark_variable : STRING;
53
+ END_LOCAL;
54
+ ALIAS remark_alias FOR remark_variable;
55
+ ;
56
+ --"remark_alias" procedure alias scope - procedure alias
57
+ END_ALIAS;
58
+ REPEAT remark_repeat := 1 TO 9;
59
+ ;
60
+ --"remark_repeat" procedure repeat scope - procedure repeat
61
+ END_REPEAT;
62
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
63
+ --"remark_query" procedure query scope - procedure query
64
+ );
65
+ END_PROCEDURE;
66
+
67
+ RULE remark_rule FOR (remark_entity);
68
+ TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
69
+ END_TYPE;
70
+ CONSTANT
71
+ remark_constant : STRING := 'xxx';
72
+ END_CONSTANT;
73
+ LOCAL
74
+ remark_variable : STRING;
75
+ END_LOCAL;
76
+ ALIAS remark_alias FOR remark_variable;
77
+ ;
78
+ --"remark_alias" rule alias scope - rule alias
79
+ END_ALIAS;
80
+ REPEAT remark_repeat := 1 TO 9;
81
+ ;
82
+ --"remark_repeat" rule repeat scope - rule repeat
83
+ END_REPEAT;
84
+ remark_variable := QUERY(remark_query <* remark_variable | TRUE
85
+ --"remark_query" rule query scope - rule query
86
+ );
87
+ WHERE
88
+ remark_where : TRUE;
89
+ END_RULE;
90
+ END_SCHEMA;
91
+ (*"remark_schema"
92
+ Any character within the EXPRESS character set may occur between the start and end of
93
+ an embedded remark including the newline character; therefore, embedded remarks can span
94
+ several physical lines.
95
+ *)
96
+ --"remark_schema" The tail remark is written at the end of a physical line.
97
+ --"remark_schema" UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.
98
+ --"remark_schema" universal scope - schema before
99
+ --"remark_schema" universal scope - schema
100
+ --"remark_schema.remark_constant" schema scope - constant
101
+ --"remark_schema.remark_constant" universal scope - constant
102
+ --"remark_schema.remark_type" schema scope - type
103
+ --"remark_schema.remark_type" universal scope - type
104
+ --"remark_schema.remark_enumeration_item" schema scope - enumeration item
105
+ --"remark_schema.remark_enumeration_item" universal scope - enumeration item
106
+ --"remark_schema.remark_entity" schema scope - entity
107
+ --"remark_schema.remark_entity" universal scope - entity
108
+ --"remark_schema.remark_entity.remark_attribute" entity scope - entity attribute
109
+ --"remark_schema.remark_entity.remark_attribute" schema scope - entity attribute
110
+ --"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
111
+ --"remark_schema.remark_entity.remark_derived_attribute" entity scope - entity derived attribute
112
+ --"remark_schema.remark_entity.remark_derived_attribute" schema scope - entity derived attribute
113
+ --"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
114
+ --"remark_schema.remark_entity.remark_inverse_attribute" entity scope - entity inverse attribute
115
+ --"remark_schema.remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
116
+ --"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
117
+ --"remark_schema.remark_entity.remark_unique" entity scope - entity unique
118
+ --"remark_schema.remark_entity.remark_unique" schema scope - entity unique
119
+ --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
120
+ --"remark_schema.remark_entity.remark_where" entity scope - entity where
121
+ --"remark_schema.remark_entity.remark_where" schema scope - entity where
122
+ --"remark_schema.remark_entity.remark_where" universal scope - entity where
123
+ --"remark_schema.remark_subtype_constraint" schema scope - subtype constraint
124
+ --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
125
+ --"remark_schema.remark_function" schema scope - function
126
+ --"remark_schema.remark_function" universal scope - function
127
+ --"remark_schema.remark_function.remark_parameter" function scope - function parameter
128
+ --"remark_schema.remark_function.remark_parameter" schema scope - function parameter
129
+ --"remark_schema.remark_function.remark_parameter" universal scope - function parameter
130
+ --"remark_schema.remark_function.remark_type" function scope - function type
131
+ --"remark_schema.remark_function.remark_type" schema scope - function type
132
+ --"remark_schema.remark_function.remark_type" universal scope - function type
133
+ --"remark_schema.remark_function.remark_enumeration_item" function scope - function enumeration item
134
+ --"remark_schema.remark_function.remark_enumeration_item" schema scope - function enumeration item
135
+ --"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
136
+ --"remark_schema.remark_function.remark_constant" function scope - function constant
137
+ --"remark_schema.remark_function.remark_constant" schema scope - function constant
138
+ --"remark_schema.remark_function.remark_constant" universal scope - function constant
139
+ --"remark_schema.remark_function.remark_variable" function scope - function variable
140
+ --"remark_schema.remark_function.remark_variable" schema scope - function variable
141
+ --"remark_schema.remark_function.remark_variable" universal scope - function variable
142
+ --"remark_schema.remark_procedure" schema scope - procedure
143
+ --"remark_schema.remark_procedure" universal scope - procedure
144
+ --"remark_schema.remark_procedure.remark_parameter" procedure scope - procedure parameter
145
+ --"remark_schema.remark_procedure.remark_parameter" schema scope - procedure parameter
146
+ --"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
147
+ --"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
148
+ --"remark_schema.remark_procedure.remark_type" schema scope - procedure type
149
+ --"remark_schema.remark_procedure.remark_type" universal scope - procedure type
150
+ --"remark_schema.remark_procedure.remark_enumeration_item" procedure scope - procedure enumeration item
151
+ --"remark_schema.remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
152
+ --"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
153
+ --"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
154
+ --"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
155
+ --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
156
+ --"remark_schema.remark_procedure.remark_variable" procedure scope - procedure variable
157
+ --"remark_schema.remark_procedure.remark_variable" schema scope - procedure variable
158
+ --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
159
+ --"remark_schema.remark_rule" schema scope - rule
160
+ --"remark_schema.remark_rule" universal scope - rule
161
+ --"remark_schema.remark_rule.remark_type" rule scope - rule type
162
+ --"remark_schema.remark_rule.remark_type" schema scope - rule type
163
+ --"remark_schema.remark_rule.remark_type" universal scope - rule type
164
+ --"remark_schema.remark_rule.remark_enumeration_item" rule scope - rule enumeration item
165
+ --"remark_schema.remark_rule.remark_enumeration_item" schema scope - rule enumeration item
166
+ --"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
167
+ --"remark_schema.remark_rule.remark_constant" rule scope - rule constant
168
+ --"remark_schema.remark_rule.remark_constant" schema scope - rule constant
169
+ --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
170
+ --"remark_schema.remark_rule.remark_variable" rule scope - rule variable
171
+ --"remark_schema.remark_rule.remark_variable" schema scope - rule variable
172
+ --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
173
+ --"remark_schema.remark_rule.remark_where" rule scope - rule where
174
+ --"remark_schema.remark_rule.remark_where" schema scope - rule where
175
+ --"remark_schema.remark_rule.remark_where" universal scope - rule where
@@ -0,0 +1,311 @@
1
+ SCHEMA syntax_schema 'version';
2
+
3
+ -- interfaces
4
+ USE FROM contract_schema;
5
+ USE FROM contract_schema (contract);
6
+ USE FROM contract_schema (contract AS contract2);
7
+ REFERENCE FROM contract_schema;
8
+ REFERENCE FROM contract_schema (contract);
9
+ REFERENCE FROM contract_schema (contract AS contract2);
10
+
11
+ -- constants
12
+ CONSTANT empty_constant : BOOLEAN := TRUE; END_CONSTANT;
13
+
14
+ -- types
15
+ TYPE empty_type = BOOLEAN; END_TYPE;
16
+ TYPE where_type = BOOLEAN; WHERE TRUE; END_TYPE;
17
+ TYPE where_label_type = BOOLEAN; WHERE WR1 : TRUE; END_TYPE;
18
+
19
+ -- entities
20
+ ENTITY empty_entity; END_ENTITY;
21
+ ENTITY abstract_entity ABSTRACT; END_ENTITY;
22
+ ENTITY abstract_supertype_entity ABSTRACT SUPERTYPE; END_ENTITY;
23
+ ENTITY abstract_supertype_constraint_entity ABSTRACT SUPERTYPE OF (empty_entity); END_ENTITY;
24
+ ENTITY supertype_constraint_entity SUPERTYPE OF (empty_entity); END_ENTITY;
25
+ ENTITY subtype_entity SUBTYPE OF (empty_entity); END_ENTITY;
26
+ ENTITY supertype_constraint_subtype_entity SUPERTYPE OF (empty_entity) SUBTYPE OF (empty_entity); END_ENTITY;
27
+ ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
28
+ ENTITY attribute_optional_entity; test : OPTIONAL BOOLEAN; END_ENTITY;
29
+ ENTITY attribute_multiple_entity; test : BOOLEAN; test2 : BOOLEAN; END_ENTITY;
30
+ ENTITY attribute_multiple_shorthand_entity; test, test2 : BOOLEAN; END_ENTITY;
31
+ ENTITY attribute_redeclared_entity; SELF\attribute_entity.test : BOOLEAN; END_ENTITY;
32
+ ENTITY attribute_redeclared_renamed_entity; SELF\attribute_entity.test RENAMED test2 : BOOLEAN; END_ENTITY;
33
+ ENTITY derived_attribute_entity; DERIVE test : BOOLEAN := TRUE; END_ENTITY;
34
+ ENTITY derived_attribute_redeclared_entity; DERIVE SELF\attribute_entity.test : BOOLEAN := TRUE; END_ENTITY;
35
+ ENTITY derived_attribute_redeclared_renamed_entity; DERIVE SELF\attribute_entity.test RENAMED test2 : BOOLEAN := TRUE; END_ENTITY;
36
+ ENTITY inverse_attribute_entity; INVERSE test : attribute_entity FOR test; END_ENTITY;
37
+ ENTITY inverse_attribute_entity_entity; INVERSE test : attribute_entity FOR attribute_entity.test; END_ENTITY;
38
+ ENTITY inverse_attribute_set_entity; INVERSE test : SET OF attribute_entity FOR test; END_ENTITY;
39
+ ENTITY inverse_attribute_set_bound_entity; INVERSE test : SET [1:9] OF attribute_entity FOR test; END_ENTITY;
40
+ ENTITY inverse_attribute_bag_entity; INVERSE test : BAG OF attribute_entity FOR test; END_ENTITY;
41
+ ENTITY inverse_attribute_bag_bound_entity; INVERSE test : BAG [1:9] OF attribute_entity FOR test; END_ENTITY;
42
+ ENTITY inverse_attribute_redeclared_entity; INVERSE SELF\attribute_entity.test : attribute_entity FOR test; END_ENTITY;
43
+ ENTITY inverse_attribute_redeclared_renamed_entity; INVERSE SELF\attribute_entity.test RENAMED test2 : attribute_entity FOR test; END_ENTITY;
44
+ ENTITY unique_entity; test : BOOLEAN; UNIQUE test; END_ENTITY;
45
+ ENTITY unique_label_entity; test : BOOLEAN; UNIQUE UR1 : test; END_ENTITY;
46
+ ENTITY unique_qualified_entity; UNIQUE SELF\attribute_entity.test; END_ENTITY;
47
+ ENTITY unique_label_qualified_entity; UNIQUE UR1 : SELF\attribute_entity.test; END_ENTITY;
48
+ ENTITY where_entity; WHERE TRUE; END_ENTITY;
49
+ ENTITY where_label_entity; WHERE WR1 : TRUE; END_ENTITY;
50
+
51
+ -- subtype constraints
52
+ SUBTYPE_CONSTRAINT empty_subtype_constraint FOR empty_entity; END_SUBTYPE_CONSTRAINT;
53
+ SUBTYPE_CONSTRAINT abstract_supertype_subtype_constraint FOR empty_entity; ABSTRACT SUPERTYPE; END_SUBTYPE_CONSTRAINT;
54
+ SUBTYPE_CONSTRAINT total_over_subtype_constraint FOR empty_entity; TOTAL_OVER(a); END_SUBTYPE_CONSTRAINT;
55
+ SUBTYPE_CONSTRAINT supertype_expression_subtype_constraint FOR empty_entity; a; END_SUBTYPE_CONSTRAINT;
56
+ SUBTYPE_CONSTRAINT supertype_expression_andor_subtype_constraint FOR empty_entity; a ANDOR b; END_SUBTYPE_CONSTRAINT;
57
+ SUBTYPE_CONSTRAINT supertype_expression_and_subtype_constraint FOR empty_entity; a AND b; END_SUBTYPE_CONSTRAINT;
58
+ SUBTYPE_CONSTRAINT supertype_expression_andor_and_subtype_constraint FOR empty_entity; a ANDOR b AND c; END_SUBTYPE_CONSTRAINT;
59
+ SUBTYPE_CONSTRAINT supertype_expression_and_andor_subtype_constraint FOR empty_entity; a AND b ANDOR c; END_SUBTYPE_CONSTRAINT;
60
+ SUBTYPE_CONSTRAINT supertype_expression_parenthesis_andor_and_subtype_constraint FOR empty_entity; (a ANDOR b) AND c; END_SUBTYPE_CONSTRAINT;
61
+ SUBTYPE_CONSTRAINT supertype_expression_and_parenthesis_andor_subtype_constraint FOR empty_entity; a AND (b ANDOR c); END_SUBTYPE_CONSTRAINT;
62
+ SUBTYPE_CONSTRAINT supertype_expression_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b); END_SUBTYPE_CONSTRAINT;
63
+ SUBTYPE_CONSTRAINT supertype_expression_and_oneof_subtype_constraint FOR empty_entity; a AND ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
64
+ SUBTYPE_CONSTRAINT supertype_expression_andor_oneof_subtype_constraint FOR empty_entity; a ANDOR ONEOF(b, c); END_SUBTYPE_CONSTRAINT;
65
+ SUBTYPE_CONSTRAINT supertype_expression_oneof_and_subtype_constraint FOR empty_entity; ONEOF(a, b) AND c; END_SUBTYPE_CONSTRAINT;
66
+ SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_subtype_constraint FOR empty_entity; ONEOF(a, b) ANDOR c; END_SUBTYPE_CONSTRAINT;
67
+ SUBTYPE_CONSTRAINT supertype_expression_oneof_and_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b) AND ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
68
+ SUBTYPE_CONSTRAINT supertype_expression_oneof_andor_oneof_subtype_constraint FOR empty_entity; ONEOF(a, b) ANDOR ONEOF(c, d); END_SUBTYPE_CONSTRAINT;
69
+
70
+ -- functions
71
+ FUNCTION empty_function : BOOLEAN; ; END_FUNCTION;
72
+ FUNCTION parameter_function(test : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
73
+ FUNCTION multiple_parameter_function(test : BOOLEAN; test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
74
+ FUNCTION multiple_shorthand_parameter_function(test, test2 : BOOLEAN) : BOOLEAN; ; END_FUNCTION;
75
+ FUNCTION type_function : BOOLEAN; TYPE test = BOOLEAN; END_TYPE; ; END_FUNCTION;
76
+ FUNCTION constant_function : BOOLEAN; CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; ; END_FUNCTION;
77
+ FUNCTION multiple_constant_function : BOOLEAN; CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; ; END_FUNCTION;
78
+ FUNCTION variable_function : BOOLEAN; LOCAL test : BOOLEAN; END_LOCAL; ; END_FUNCTION;
79
+ FUNCTION multiple_variable_function : BOOLEAN; LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; ; END_FUNCTION;
80
+ FUNCTION multiple_shorthand_variable_function : BOOLEAN; LOCAL test, test2 : BOOLEAN; END_LOCAL; ; END_FUNCTION;
81
+ FUNCTION variable_expression_function : BOOLEAN; LOCAL test : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
82
+ FUNCTION multiple_variable_expression_function : BOOLEAN; LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
83
+ FUNCTION multiple_shorthand_variable_expression_function : BOOLEAN; LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; ; END_FUNCTION;
84
+
85
+ -- procedures
86
+ PROCEDURE empty_procedure; END_PROCEDURE;
87
+ PROCEDURE parameter_procedure(test : BOOLEAN); END_PROCEDURE;
88
+ PROCEDURE multiple_parameter_procedure(test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
89
+ PROCEDURE multiple_shorthand_parameter_procedure(test, test2 : BOOLEAN); END_PROCEDURE;
90
+ PROCEDURE variable_parameter_procedure(VAR test : BOOLEAN); END_PROCEDURE;
91
+ PROCEDURE multiple_variable_parameter_procedure(VAR test : BOOLEAN; test2 : BOOLEAN); END_PROCEDURE;
92
+ PROCEDURE multiple_variable_parameter2_procedure(test : BOOLEAN; VAR test2 : BOOLEAN); END_PROCEDURE;
93
+ PROCEDURE multiple_shorthand_variable_parameter_procedure(VAR test, test2 : BOOLEAN); END_PROCEDURE;
94
+ PROCEDURE type_procedure; TYPE test = BOOLEAN; END_TYPE; END_PROCEDURE;
95
+ PROCEDURE constant_procedure; CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; END_PROCEDURE;
96
+ PROCEDURE multiple_constant_procedure; CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; END_PROCEDURE;
97
+ PROCEDURE variable_procedure; LOCAL test : BOOLEAN; END_LOCAL; END_PROCEDURE;
98
+ PROCEDURE multiple_variable_procedure; LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; END_PROCEDURE;
99
+ PROCEDURE multiple_shorthand_variable_procedure; LOCAL test, test2 : BOOLEAN; END_LOCAL; END_PROCEDURE;
100
+ PROCEDURE variable_expression_procedure; LOCAL test : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
101
+ PROCEDURE multiple_variable_expression_procedure; LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
102
+ PROCEDURE multiple_shorthand_variable_expression_procedure; LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; END_PROCEDURE;
103
+ PROCEDURE statement_procedure; ; END_PROCEDURE;
104
+
105
+ -- rules
106
+ RULE empty_rule FOR (empty_entity); WHERE TRUE; END_RULE;
107
+ RULE type_rule FOR (empty_entity); TYPE test = BOOLEAN; END_TYPE; WHERE TRUE; END_RULE;
108
+ RULE constant_rule FOR (empty_entity); CONSTANT test : BOOLEAN := TRUE; END_CONSTANT; WHERE TRUE; END_RULE;
109
+ RULE multiple_constant_rule FOR (empty_entity); CONSTANT test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_CONSTANT; WHERE TRUE; END_RULE;
110
+ RULE variable_rule FOR (empty_entity); LOCAL test : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
111
+ RULE multiple_variable_rule FOR (empty_entity); LOCAL test : BOOLEAN; test2 : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
112
+ RULE multiple_shorthand_variable_rule FOR (empty_entity); LOCAL test, test2 : BOOLEAN; END_LOCAL; WHERE TRUE; END_RULE;
113
+ RULE variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
114
+ RULE multiple_variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
115
+ RULE multiple_shorthand_variable_expression_rule FOR (empty_entity); LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
116
+ RULE statement_rule FOR (empty_entity); ; WHERE TRUE; END_RULE;
117
+
118
+ -- simple types
119
+ TYPE binary_type = BINARY; END_TYPE;
120
+ TYPE binary_width_type = BINARY (3); END_TYPE;
121
+ TYPE binary_width_fixed_type = BINARY (3) FIXED; END_TYPE;
122
+ TYPE boolean_type = BOOLEAN; END_TYPE;
123
+ TYPE integer_type = INTEGER; END_TYPE;
124
+ TYPE logical_type = LOGICAL; END_TYPE;
125
+ TYPE number_type = NUMBER; END_TYPE;
126
+ TYPE real_type = REAL; END_TYPE;
127
+ TYPE real_precision_type = REAL (3); END_TYPE;
128
+ TYPE string_type = STRING; END_TYPE;
129
+ TYPE string_width_type = STRING (3); END_TYPE;
130
+ TYPE string_width_fixed_type = STRING (3) FIXED; END_TYPE;
131
+
132
+ -- aggregation types
133
+ TYPE array_type = ARRAY [1:9] OF STRING; END_TYPE;
134
+ TYPE array_optional_type = ARRAY [1:9] OF OPTIONAL STRING; END_TYPE;
135
+ TYPE array_unique_type = ARRAY [1:9] OF UNIQUE STRING; END_TYPE;
136
+ TYPE array_optional_unique_type = ARRAY [1:9] OF OPTIONAL UNIQUE STRING; END_TYPE;
137
+ TYPE bag_type = BAG OF STRING; END_TYPE;
138
+ TYPE bag_bound_type = BAG [1:9] OF STRING; END_TYPE;
139
+ TYPE list_type = LIST OF STRING; END_TYPE;
140
+ TYPE list_bound_type = LIST [1:9] OF STRING; END_TYPE;
141
+ TYPE list_unique_type = LIST OF UNIQUE STRING; END_TYPE;
142
+ TYPE list_bound_unique_type = LIST [1:9] OF UNIQUE STRING; END_TYPE;
143
+ TYPE set_type = SET OF STRING; END_TYPE;
144
+ TYPE set_bound_type = SET [1:9] OF STRING; END_TYPE;
145
+
146
+ -- constructed types
147
+ TYPE select_type = SELECT; END_TYPE;
148
+ TYPE select_extensible_type = EXTENSIBLE SELECT; END_TYPE;
149
+ TYPE select_extensible_generic_entity_type = EXTENSIBLE GENERIC_ENTITY SELECT; END_TYPE;
150
+ TYPE select_list_type = SELECT (empty_type); END_TYPE;
151
+ TYPE select_extension_type_ref_type = SELECT BASED_ON select_type; END_TYPE;
152
+ TYPE select_extension_type_ref_list_type = SELECT BASED_ON select_type WITH (empty_type); END_TYPE;
153
+ TYPE enumeration_type = ENUMERATION; END_TYPE;
154
+ TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION; END_TYPE;
155
+ TYPE enumeration_list_type = ENUMERATION OF (test); END_TYPE;
156
+ TYPE enumeration_extension_type_ref_type = ENUMERATION BASED_ON enumeration_type; END_TYPE;
157
+ TYPE enumeration_extension_type_ref_list_type = ENUMERATION BASED_ON enumeration_type WITH (test); END_TYPE;
158
+
159
+ -- statements
160
+ FUNCTION alias_simple_reference_statement : BOOLEAN; ALIAS test FOR test; ; END_ALIAS; END_FUNCTION;
161
+ FUNCTION alias_attribute_reference_statement : BOOLEAN; ALIAS test FOR test.test; ; END_ALIAS; END_FUNCTION;
162
+ FUNCTION alias_group_reference_statement : BOOLEAN; ALIAS test FOR test\test; ; END_ALIAS; END_FUNCTION;
163
+ FUNCTION alias_index_reference_statement : BOOLEAN; ALIAS test FOR test[1]; ; END_ALIAS; END_FUNCTION;
164
+ FUNCTION alias_index2_reference_statement : BOOLEAN; ALIAS test FOR test[1:9]; ; END_ALIAS; END_FUNCTION;
165
+ FUNCTION assignment_simple_reference_statement : BOOLEAN; test := TRUE; END_FUNCTION;
166
+ FUNCTION assignment_attribute_reference_statement : BOOLEAN; test.test := TRUE; END_FUNCTION;
167
+ FUNCTION assignment_group_reference_statement : BOOLEAN; test\test := TRUE; END_FUNCTION;
168
+ FUNCTION assignment_index_reference_statement : BOOLEAN; test[1] := TRUE; END_FUNCTION;
169
+ FUNCTION assignment_index2_reference_statement : BOOLEAN; test[1:9] := TRUE; END_FUNCTION;
170
+ FUNCTION case_statement : BOOLEAN; CASE test OF TRUE : ; END_CASE; END_FUNCTION;
171
+ FUNCTION case_multiple_statement : BOOLEAN; CASE test OF TRUE : ; TRUE : ; END_CASE; END_FUNCTION;
172
+ FUNCTION case_multiple_shorthand_statement : BOOLEAN; CASE test OF TRUE, TRUE : ; END_CASE; END_FUNCTION;
173
+ FUNCTION case_otherwise_statement : BOOLEAN; CASE test OF TRUE : ; OTHERWISE : ; END_CASE; END_FUNCTION;
174
+ FUNCTION compound_statement : BOOLEAN; BEGIN ; END; END_FUNCTION;
175
+ FUNCTION escape_statement : BOOLEAN; ESCAPE; END_FUNCTION;
176
+ FUNCTION if_statement : BOOLEAN; IF TRUE THEN ; END_IF; END_FUNCTION;
177
+ FUNCTION if2_statement : BOOLEAN; IF TRUE THEN ; ; END_IF; END_FUNCTION;
178
+ FUNCTION if_else_statement : BOOLEAN; IF TRUE THEN ; ELSE ; END_IF; END_FUNCTION;
179
+ FUNCTION if2_else_statement : BOOLEAN; IF TRUE THEN ; ; ELSE ; END_IF; END_FUNCTION;
180
+ FUNCTION if_else2_statement : BOOLEAN; IF TRUE THEN ; ELSE ; ; END_IF; END_FUNCTION;
181
+ FUNCTION if2_else2_statement : BOOLEAN; IF TRUE THEN ; ; ELSE ; ; END_IF; END_FUNCTION;
182
+ FUNCTION null_statement : BOOLEAN; ; END_FUNCTION;
183
+ FUNCTION call_statement : BOOLEAN; empty_procedure; END_FUNCTION;
184
+ FUNCTION call_parameter_statement : BOOLEAN; empty_procedure(TRUE); END_FUNCTION;
185
+ FUNCTION call_parameter2_statement : BOOLEAN; empty_procedure(TRUE, TRUE); END_FUNCTION;
186
+ FUNCTION call_insert_statement : BOOLEAN; INSERT(TRUE); END_FUNCTION;
187
+ FUNCTION call_remove_statement : BOOLEAN; REMOVE(TRUE); END_FUNCTION;
188
+ FUNCTION repeat_statement : BOOLEAN; REPEAT; ; END_REPEAT; END_FUNCTION;
189
+ FUNCTION repeat_variable_statement : BOOLEAN; REPEAT test := 1 TO 9; ; END_REPEAT; END_FUNCTION;
190
+ FUNCTION repeat_variable_increment_statement : BOOLEAN; REPEAT test := 1 TO 9 BY 2; ; END_REPEAT; END_FUNCTION;
191
+ FUNCTION repeat_while_statement : BOOLEAN; REPEAT WHILE TRUE; ; END_REPEAT; END_FUNCTION;
192
+ FUNCTION repeat_until_statement : BOOLEAN; REPEAT UNTIL TRUE; ; END_REPEAT; END_FUNCTION;
193
+ FUNCTION return_statement : BOOLEAN; RETURN; END_FUNCTION;
194
+ FUNCTION return_expression_statement : BOOLEAN; RETURN (TRUE); END_FUNCTION;
195
+ FUNCTION skip_statement : BOOLEAN; SKIP; END_FUNCTION;
196
+
197
+ -- literal expressions
198
+ FUNCTION binary_expression : BOOLEAN; RETURN (%011110000111100001111000); END_FUNCTION;
199
+ FUNCTION integer_expression : BOOLEAN; RETURN (999); END_FUNCTION;
200
+ FUNCTION true_logical_expression : BOOLEAN; RETURN (TRUE); END_FUNCTION;
201
+ FUNCTION false_logical_expression : BOOLEAN; RETURN (FALSE); END_FUNCTION;
202
+ FUNCTION unknown_logical_expression : BOOLEAN; RETURN (UNKNOWN); END_FUNCTION;
203
+ FUNCTION real_expression : BOOLEAN; RETURN (999.999); END_FUNCTION;
204
+ FUNCTION simple_string_expression : BOOLEAN; RETURN ('xxx'); END_FUNCTION;
205
+ FUNCTION utf8_simple_string_expression : BOOLEAN; RETURN ('UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'); END_FUNCTION;
206
+ FUNCTION encoded_string_expression : BOOLEAN; RETURN ("000000780000007800000078"); END_FUNCTION;
207
+
208
+ -- constant expressions
209
+ FUNCTION const_e_expression : BOOLEAN; RETURN (CONST_E); END_FUNCTION;
210
+ FUNCTION indeterminate_expression : BOOLEAN; RETURN (?); END_FUNCTION;
211
+ FUNCTION pi_expression : BOOLEAN; RETURN (PI); END_FUNCTION;
212
+ FUNCTION self_expression : BOOLEAN; RETURN (SELF); END_FUNCTION;
213
+
214
+ -- function expressions
215
+ FUNCTION abs_expression : BOOLEAN; RETURN (ABS(TRUE)); END_FUNCTION;
216
+ FUNCTION acos_expression : BOOLEAN; RETURN (ACOS(TRUE)); END_FUNCTION;
217
+ FUNCTION asin_expression : BOOLEAN; RETURN (ASIN(TRUE)); END_FUNCTION;
218
+ FUNCTION atan_expression : BOOLEAN; RETURN (ATAN(TRUE)); END_FUNCTION;
219
+ FUNCTION blength_expression : BOOLEAN; RETURN (BLENGTH(TRUE)); END_FUNCTION;
220
+ FUNCTION cos_expression : BOOLEAN; RETURN (COS(TRUE)); END_FUNCTION;
221
+ FUNCTION exists_expression : BOOLEAN; RETURN (EXISTS(TRUE)); END_FUNCTION;
222
+ FUNCTION exp_expression : BOOLEAN; RETURN (EXP(TRUE)); END_FUNCTION;
223
+ FUNCTION format_expression : BOOLEAN; RETURN (FORMAT(TRUE)); END_FUNCTION;
224
+ FUNCTION hibound_expression : BOOLEAN; RETURN (HIBOUND(TRUE)); END_FUNCTION;
225
+ FUNCTION hiindex_expression : BOOLEAN; RETURN (HIINDEX(TRUE)); END_FUNCTION;
226
+ FUNCTION length_expression : BOOLEAN; RETURN (LENGTH(TRUE)); END_FUNCTION;
227
+ FUNCTION lobound_expression : BOOLEAN; RETURN (LOBOUND(TRUE)); END_FUNCTION;
228
+ FUNCTION loindex_expression : BOOLEAN; RETURN (LOINDEX(TRUE)); END_FUNCTION;
229
+ FUNCTION log_expression : BOOLEAN; RETURN (LOG(TRUE)); END_FUNCTION;
230
+ FUNCTION log2_expression : BOOLEAN; RETURN (LOG2(TRUE)); END_FUNCTION;
231
+ FUNCTION log10_expression : BOOLEAN; RETURN (LOG10(TRUE)); END_FUNCTION;
232
+ FUNCTION nvl_expression : BOOLEAN; RETURN (NVL(TRUE)); END_FUNCTION;
233
+ FUNCTION odd_expression : BOOLEAN; RETURN (ODD(TRUE)); END_FUNCTION;
234
+ FUNCTION rolesof_expression : BOOLEAN; RETURN (ROLESOF(TRUE)); END_FUNCTION;
235
+ FUNCTION sin_expression : BOOLEAN; RETURN (SIN(TRUE)); END_FUNCTION;
236
+ FUNCTION sizeof_expression : BOOLEAN; RETURN (SIZEOF(TRUE)); END_FUNCTION;
237
+ FUNCTION sqrt_expression : BOOLEAN; RETURN (SQRT(TRUE)); END_FUNCTION;
238
+ FUNCTION tan_expression : BOOLEAN; RETURN (TAN(TRUE)); END_FUNCTION;
239
+ FUNCTION typeof_expression : BOOLEAN; RETURN (TYPEOF(TRUE)); END_FUNCTION;
240
+ FUNCTION usedin_expression : BOOLEAN; RETURN (USEDIN(TRUE)); END_FUNCTION;
241
+ FUNCTION value_expression : BOOLEAN; RETURN (VALUE(TRUE)); END_FUNCTION;
242
+ FUNCTION value_in_expression : BOOLEAN; RETURN (VALUE_IN(TRUE)); END_FUNCTION;
243
+ FUNCTION value_unique_expression : BOOLEAN; RETURN (VALUE_UNIQUE(TRUE)); END_FUNCTION;
244
+
245
+ -- operator expressions
246
+ FUNCTION plus_expression : BOOLEAN; RETURN (+4); END_FUNCTION;
247
+ FUNCTION plus_addition_expression : BOOLEAN; RETURN (+(4 + 2)); END_FUNCTION;
248
+ FUNCTION minus_expression : BOOLEAN; RETURN (-4); END_FUNCTION;
249
+ FUNCTION minus_addition_expression : BOOLEAN; RETURN (-(4 + 2)); END_FUNCTION;
250
+ FUNCTION addition_expression : BOOLEAN; RETURN (4 + 2); END_FUNCTION;
251
+ FUNCTION subtraction_expression : BOOLEAN; RETURN (4 - 2); END_FUNCTION;
252
+ FUNCTION multiplication_expression : BOOLEAN; RETURN (4 * 2); END_FUNCTION;
253
+ FUNCTION real_division_expression : BOOLEAN; RETURN (4 / 2); END_FUNCTION;
254
+ FUNCTION integer_division_expression : BOOLEAN; RETURN (4 DIV 2); END_FUNCTION;
255
+ FUNCTION modulo_expression : BOOLEAN; RETURN (4 MOD 2); END_FUNCTION;
256
+ FUNCTION exponentiation_expression : BOOLEAN; RETURN (4 ** 2); END_FUNCTION;
257
+ FUNCTION addition_addition_expression : BOOLEAN; RETURN (4 + 2 + 1); END_FUNCTION;
258
+ FUNCTION subtraction_subtraction_expression : BOOLEAN; RETURN (4 - 2 - 1); END_FUNCTION;
259
+ FUNCTION addition_subtraction_expression : BOOLEAN; RETURN (4 + 2 - 1); END_FUNCTION;
260
+ FUNCTION subtraction_addition_expression : BOOLEAN; RETURN (4 - 2 + 1); END_FUNCTION;
261
+ FUNCTION addition_multiplication_expression : BOOLEAN; RETURN (8 + 4 * 2); END_FUNCTION;
262
+ FUNCTION multiplication_addition_expression : BOOLEAN; RETURN (8 * 4 + 2); END_FUNCTION;
263
+ FUNCTION parenthesis_addition_multiplication_expression : BOOLEAN; RETURN ((8 + 4) * 2); END_FUNCTION;
264
+ FUNCTION multiplication_parenthesis_addition_expression : BOOLEAN; RETURN (8 * (4 + 2)); END_FUNCTION;
265
+ FUNCTION equal_expression : BOOLEAN; RETURN (4 = 2); END_FUNCTION;
266
+ FUNCTION not_equal_expression : BOOLEAN; RETURN (4 <> 2); END_FUNCTION;
267
+ FUNCTION instance_equal_expression : BOOLEAN; RETURN (4 :=: 2); END_FUNCTION;
268
+ FUNCTION instance_not_equal_expression : BOOLEAN; RETURN (4 :<>: 2); END_FUNCTION;
269
+ FUNCTION lt_expression : BOOLEAN; RETURN (4 < 2); END_FUNCTION;
270
+ FUNCTION gt_expression : BOOLEAN; RETURN (4 > 2); END_FUNCTION;
271
+ FUNCTION lte_expression : BOOLEAN; RETURN (4 <= 2); END_FUNCTION;
272
+ FUNCTION gte_expression : BOOLEAN; RETURN (4 >= 2); END_FUNCTION;
273
+ FUNCTION not_expression : BOOLEAN; RETURN (NOT TRUE); END_FUNCTION;
274
+ FUNCTION not_or_expression : BOOLEAN; RETURN (NOT (TRUE OR FALSE)); END_FUNCTION;
275
+ FUNCTION or_expression : BOOLEAN; RETURN (TRUE OR FALSE); END_FUNCTION;
276
+ FUNCTION and_expression : BOOLEAN; RETURN (TRUE AND FALSE); END_FUNCTION;
277
+ FUNCTION or_or_expression : BOOLEAN; RETURN (TRUE OR FALSE OR TRUE); END_FUNCTION;
278
+ FUNCTION and_and_expression : BOOLEAN; RETURN (TRUE AND FALSE AND TRUE); END_FUNCTION;
279
+ FUNCTION or_and_expression : BOOLEAN; RETURN (TRUE OR FALSE AND TRUE); END_FUNCTION;
280
+ FUNCTION and_or_expression : BOOLEAN; RETURN (TRUE AND FALSE OR TRUE); END_FUNCTION;
281
+ FUNCTION parenthesis_or_and_expression : BOOLEAN; RETURN ((TRUE OR FALSE) AND TRUE); END_FUNCTION;
282
+ FUNCTION and_parenthesis_or_expression : BOOLEAN; RETURN (TRUE AND (FALSE OR TRUE)); END_FUNCTION;
283
+ FUNCTION combine_expression : BOOLEAN; RETURN (test || test); END_FUNCTION;
284
+ FUNCTION in_expression : BOOLEAN; RETURN (TRUE IN [TRUE]); END_FUNCTION;
285
+ FUNCTION like_expression : BOOLEAN; RETURN ('xxx' LIKE 'xxx'); END_FUNCTION;
286
+
287
+ -- aggregate initializer expressions
288
+ FUNCTION aggregate_initializer_expression : BOOLEAN; RETURN ([4]); END_FUNCTION;
289
+ FUNCTION repeated_aggregate_initializer_expression : BOOLEAN; RETURN ([4:2]); END_FUNCTION;
290
+ FUNCTION complex_aggregate_initializer_expression : BOOLEAN; RETURN ([4 + 2]); END_FUNCTION;
291
+ FUNCTION complex_repeated_aggregate_initializer_expression : BOOLEAN; RETURN ([4 + 2:4 + 2]); END_FUNCTION;
292
+
293
+ -- function call or entity constructor expressions
294
+ FUNCTION call_expression : BOOLEAN; RETURN (parameter_function(TRUE)); END_FUNCTION;
295
+
296
+ -- reference expressions
297
+ FUNCTION simple_reference_expression : BOOLEAN; RETURN (simple_string_expression); END_FUNCTION;
298
+ FUNCTION attribute_reference_expression : BOOLEAN; RETURN (simple_string_expression.test); END_FUNCTION;
299
+ FUNCTION group_reference_expression : BOOLEAN; RETURN (simple_string_expression\test); END_FUNCTION;
300
+ FUNCTION index_reference_expression : BOOLEAN; RETURN (simple_string_expression[1]); END_FUNCTION;
301
+ FUNCTION index2_reference_expression : BOOLEAN; RETURN (simple_string_expression[1:9]); END_FUNCTION;
302
+
303
+ -- interval expressions
304
+ FUNCTION lt_lt_interval_expression : BOOLEAN; RETURN ({1 < 5 < 9}); END_FUNCTION;
305
+ FUNCTION lte_lt_interval_expression : BOOLEAN; RETURN ({1 <= 5 < 9}); END_FUNCTION;
306
+ FUNCTION lt_lte_interval_expression : BOOLEAN; RETURN ({1 < 5 <= 9}); END_FUNCTION;
307
+ FUNCTION lte_lte_interval_expression : BOOLEAN; RETURN ({1 <= 5 <= 9}); END_FUNCTION;
308
+
309
+ -- query expressions
310
+ FUNCTION query_expression : BOOLEAN; RETURN (QUERY(test <* test2 | TRUE)); END_FUNCTION;
311
+ END_SCHEMA;