expressir 0.2.26-x86-mingw32 → 1.2.0-x86-mingw32

Sign up to get free protection for your applications and to get access to all the features.
Files changed (215) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +50 -5
  3. data/.github/workflows/release.yml +8 -0
  4. data/.gitignore +2 -2
  5. data/.hound.yml +3 -0
  6. data/.rubocop.yml +6 -506
  7. data/.yardopts +11 -0
  8. data/Rakefile +3 -0
  9. data/demo.rb +5 -5
  10. data/exe/format +8 -8
  11. data/exe/format-test +11 -11
  12. data/expressir.gemspec +4 -2
  13. data/lib/expressir/cli.rb +0 -6
  14. data/lib/expressir/express/2.4/express_parser.so +0 -0
  15. data/lib/expressir/express/2.5/express_parser.so +0 -0
  16. data/lib/expressir/express/2.6/express_parser.so +0 -0
  17. data/lib/expressir/express/2.7/express_parser.so +0 -0
  18. data/lib/expressir/express/3.0/express_parser.so +0 -0
  19. data/lib/expressir/express/cache.rb +51 -0
  20. data/lib/expressir/{express_exp → express}/formatter.rb +304 -237
  21. data/lib/expressir/{express_exp → express}/hyperlink_formatter.rb +16 -2
  22. data/lib/expressir/{express_exp → express}/model_visitor.rb +2 -1
  23. data/lib/expressir/{express_exp → express}/parser.rb +19 -13
  24. data/lib/expressir/{express_exp → express}/resolve_references_model_visitor.rb +9 -7
  25. data/lib/expressir/express/schema_head_formatter.rb +23 -0
  26. data/lib/expressir/{express_exp → express}/visitor.rb +318 -270
  27. data/lib/expressir/model/cache.rb +6 -2
  28. data/lib/expressir/model/data_type.rb +9 -0
  29. data/lib/expressir/model/data_types/aggregate.rb +31 -0
  30. data/lib/expressir/model/data_types/array.rb +31 -0
  31. data/lib/expressir/model/data_types/bag.rb +25 -0
  32. data/lib/expressir/model/data_types/binary.rb +22 -0
  33. data/lib/expressir/model/data_types/boolean.rb +10 -0
  34. data/lib/expressir/model/data_types/enumeration.rb +25 -0
  35. data/lib/expressir/model/data_types/enumeration_item.rb +26 -0
  36. data/lib/expressir/model/data_types/generic.rb +26 -0
  37. data/lib/expressir/model/data_types/generic_entity.rb +26 -0
  38. data/lib/expressir/model/data_types/integer.rb +10 -0
  39. data/lib/expressir/model/data_types/list.rb +28 -0
  40. data/lib/expressir/model/data_types/logical.rb +10 -0
  41. data/lib/expressir/model/data_types/number.rb +10 -0
  42. data/lib/expressir/model/data_types/real.rb +19 -0
  43. data/lib/expressir/model/data_types/select.rb +28 -0
  44. data/lib/expressir/model/data_types/set.rb +25 -0
  45. data/lib/expressir/model/data_types/string.rb +22 -0
  46. data/lib/expressir/model/declaration.rb +9 -0
  47. data/lib/expressir/model/declarations/attribute.rb +47 -0
  48. data/lib/expressir/model/declarations/constant.rb +34 -0
  49. data/lib/expressir/model/declarations/entity.rb +53 -0
  50. data/lib/expressir/model/declarations/function.rb +67 -0
  51. data/lib/expressir/model/declarations/interface.rb +28 -0
  52. data/lib/expressir/model/declarations/interface_item.rb +23 -0
  53. data/lib/expressir/model/declarations/interfaced_item.rb +37 -0
  54. data/lib/expressir/model/declarations/parameter.rb +34 -0
  55. data/lib/expressir/model/declarations/procedure.rb +64 -0
  56. data/lib/expressir/model/declarations/remark_item.rb +21 -0
  57. data/lib/expressir/model/declarations/rule.rb +71 -0
  58. data/lib/expressir/model/declarations/schema.rb +117 -0
  59. data/lib/expressir/model/declarations/schema_version.rb +22 -0
  60. data/lib/expressir/model/declarations/schema_version_item.rb +22 -0
  61. data/lib/expressir/model/declarations/subtype_constraint.rb +40 -0
  62. data/lib/expressir/model/declarations/type.rb +45 -0
  63. data/lib/expressir/model/declarations/unique_rule.rb +31 -0
  64. data/lib/expressir/model/declarations/variable.rb +34 -0
  65. data/lib/expressir/model/declarations/where_rule.rb +31 -0
  66. data/lib/expressir/model/expression.rb +9 -0
  67. data/lib/expressir/model/expressions/aggregate_initializer.rb +7 -3
  68. data/lib/expressir/model/expressions/aggregate_initializer_item.rb +22 -0
  69. data/lib/expressir/model/expressions/binary_expression.rb +16 -5
  70. data/lib/expressir/model/expressions/entity_constructor.rb +9 -4
  71. data/lib/expressir/model/expressions/function_call.rb +22 -0
  72. data/lib/expressir/model/expressions/interval.rb +17 -6
  73. data/lib/expressir/model/expressions/query_expression.rb +11 -7
  74. data/lib/expressir/model/expressions/unary_expression.rb +9 -3
  75. data/lib/expressir/model/identifier.rb +26 -4
  76. data/lib/expressir/model/literal.rb +9 -0
  77. data/lib/expressir/model/literals/binary.rb +6 -2
  78. data/lib/expressir/model/literals/integer.rb +6 -2
  79. data/lib/expressir/model/literals/logical.rb +6 -2
  80. data/lib/expressir/model/literals/real.rb +6 -2
  81. data/lib/expressir/model/literals/string.rb +8 -3
  82. data/lib/expressir/model/model_element.rb +63 -37
  83. data/lib/expressir/model/reference.rb +9 -0
  84. data/lib/expressir/model/references/attribute_reference.rb +22 -0
  85. data/lib/expressir/model/references/group_reference.rb +22 -0
  86. data/lib/expressir/model/references/index_reference.rb +27 -0
  87. data/lib/expressir/model/references/simple_reference.rb +24 -0
  88. data/lib/expressir/model/repository.rb +6 -2
  89. data/lib/expressir/model/statement.rb +9 -0
  90. data/lib/expressir/model/statements/alias.rb +12 -8
  91. data/lib/expressir/model/statements/assignment.rb +8 -3
  92. data/lib/expressir/model/statements/case.rb +11 -5
  93. data/lib/expressir/model/statements/case_action.rb +8 -3
  94. data/lib/expressir/model/statements/compound.rb +7 -3
  95. data/lib/expressir/model/statements/escape.rb +3 -1
  96. data/lib/expressir/model/statements/if.rb +12 -6
  97. data/lib/expressir/model/statements/null.rb +3 -1
  98. data/lib/expressir/model/statements/procedure_call.rb +22 -0
  99. data/lib/expressir/model/statements/repeat.rb +20 -12
  100. data/lib/expressir/model/statements/return.rb +6 -2
  101. data/lib/expressir/model/statements/skip.rb +3 -1
  102. data/lib/expressir/model/supertype_expression.rb +9 -0
  103. data/lib/expressir/model/supertype_expressions/binary_supertype_expression.rb +29 -0
  104. data/lib/expressir/model/supertype_expressions/oneof_supertype_expression.rb +19 -0
  105. data/lib/expressir/model.rb +52 -43
  106. data/lib/expressir/version.rb +1 -1
  107. data/lib/expressir.rb +0 -1
  108. data/rakelib/cross-ruby.rake +1 -1
  109. data/spec/expressir/{express_exp → express}/cache_spec.rb +9 -9
  110. data/spec/expressir/express/formatter_spec.rb +127 -0
  111. data/spec/expressir/{express_exp → express}/parser_spec.rb +23 -23
  112. data/spec/expressir/model/model_element_spec.rb +153 -153
  113. data/{original/examples → spec}/syntax/multiple.exp +0 -0
  114. data/spec/syntax/multiple.yaml +198 -0
  115. data/{original/examples → spec}/syntax/multiple_formatted.exp +0 -0
  116. data/{original/examples → spec}/syntax/multiple_hyperlink_formatted.exp +0 -0
  117. data/{original/examples → spec}/syntax/multiple_schema_head_hyperlink_formatted.exp +0 -0
  118. data/{original/examples → spec}/syntax/remark.exp +0 -0
  119. data/{original/examples → spec}/syntax/remark.yaml +73 -73
  120. data/{original/examples → spec}/syntax/remark_formatted.exp +0 -0
  121. data/{original/examples → spec}/syntax/single.exp +1 -1
  122. data/spec/syntax/single.yaml +18 -0
  123. data/{original/examples → spec}/syntax/single_formatted.exp +1 -1
  124. data/{original/examples → spec}/syntax/single_formatted.yaml +9 -6
  125. data/{original/examples → spec}/syntax/syntax.exp +11 -11
  126. data/{original/examples → spec}/syntax/syntax.yaml +1100 -1111
  127. data/{original/examples → spec}/syntax/syntax_formatted.exp +11 -11
  128. data/{original/examples → spec}/syntax/syntax_hyperlink_formatted.exp +11 -11
  129. data/{original/examples → spec}/syntax/syntax_schema_head_formatted.exp +1 -1
  130. metadata +128 -121
  131. data/lib/expressir/express/aggregate_dimension.rb +0 -38
  132. data/lib/expressir/express/attribute.rb +0 -15
  133. data/lib/expressir/express/comment.rb +0 -7
  134. data/lib/expressir/express/defined_type.rb +0 -36
  135. data/lib/expressir/express/derived.rb +0 -65
  136. data/lib/expressir/express/derived_aggregate.rb +0 -43
  137. data/lib/expressir/express/entity.rb +0 -137
  138. data/lib/expressir/express/explicit.rb +0 -70
  139. data/lib/expressir/express/explicit_aggregate.rb +0 -46
  140. data/lib/expressir/express/explicit_or_derived.rb +0 -16
  141. data/lib/expressir/express/global_rule.rb +0 -44
  142. data/lib/expressir/express/interface_specification.rb +0 -51
  143. data/lib/expressir/express/interfaced_item.rb +0 -38
  144. data/lib/expressir/express/inverse.rb +0 -46
  145. data/lib/expressir/express/inverse_aggregate.rb +0 -37
  146. data/lib/expressir/express/model_element.rb +0 -7
  147. data/lib/expressir/express/named_type.rb +0 -19
  148. data/lib/expressir/express/remark.rb +0 -8
  149. data/lib/expressir/express/repository.rb +0 -306
  150. data/lib/expressir/express/schema_definition.rb +0 -96
  151. data/lib/expressir/express/subtype_constraint.rb +0 -14
  152. data/lib/expressir/express/type.rb +0 -26
  153. data/lib/expressir/express/type_aggregate.rb +0 -42
  154. data/lib/expressir/express/type_enum.rb +0 -29
  155. data/lib/expressir/express/type_parser.rb +0 -45
  156. data/lib/expressir/express/type_select.rb +0 -82
  157. data/lib/expressir/express/unique_rule.rb +0 -35
  158. data/lib/expressir/express/where_rule.rb +0 -32
  159. data/lib/expressir/express.rb +0 -11
  160. data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
  161. data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
  162. data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
  163. data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
  164. data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
  165. data/lib/expressir/express_exp/cache.rb +0 -48
  166. data/lib/expressir/express_exp/schema_head_formatter.rb +0 -9
  167. data/lib/expressir/express_parser.rb +0 -30
  168. data/lib/expressir/model/attribute.rb +0 -38
  169. data/lib/expressir/model/constant.rb +0 -28
  170. data/lib/expressir/model/entity.rb +0 -42
  171. data/lib/expressir/model/enumeration_item.rb +0 -22
  172. data/lib/expressir/model/expressions/aggregate_item.rb +0 -17
  173. data/lib/expressir/model/expressions/attribute_reference.rb +0 -17
  174. data/lib/expressir/model/expressions/call.rb +0 -17
  175. data/lib/expressir/model/expressions/group_reference.rb +0 -17
  176. data/lib/expressir/model/expressions/index_reference.rb +0 -19
  177. data/lib/expressir/model/expressions/simple_reference.rb +0 -19
  178. data/lib/expressir/model/function.rb +0 -57
  179. data/lib/expressir/model/interface.rb +0 -20
  180. data/lib/expressir/model/interface_item.rb +0 -15
  181. data/lib/expressir/model/interfaced_item.rb +0 -27
  182. data/lib/expressir/model/parameter.rb +0 -28
  183. data/lib/expressir/model/procedure.rb +0 -55
  184. data/lib/expressir/model/remark_item.rb +0 -15
  185. data/lib/expressir/model/rule.rb +0 -60
  186. data/lib/expressir/model/schema.rb +0 -100
  187. data/lib/expressir/model/statements/call.rb +0 -17
  188. data/lib/expressir/model/subtype_constraint.rb +0 -32
  189. data/lib/expressir/model/type.rb +0 -37
  190. data/lib/expressir/model/types/aggregate.rb +0 -28
  191. data/lib/expressir/model/types/array.rb +0 -23
  192. data/lib/expressir/model/types/bag.rb +0 -19
  193. data/lib/expressir/model/types/binary.rb +0 -17
  194. data/lib/expressir/model/types/boolean.rb +0 -8
  195. data/lib/expressir/model/types/enumeration.rb +0 -21
  196. data/lib/expressir/model/types/generic.rb +0 -24
  197. data/lib/expressir/model/types/generic_entity.rb +0 -24
  198. data/lib/expressir/model/types/integer.rb +0 -8
  199. data/lib/expressir/model/types/list.rb +0 -21
  200. data/lib/expressir/model/types/logical.rb +0 -8
  201. data/lib/expressir/model/types/number.rb +0 -8
  202. data/lib/expressir/model/types/real.rb +0 -15
  203. data/lib/expressir/model/types/select.rb +0 -23
  204. data/lib/expressir/model/types/set.rb +0 -19
  205. data/lib/expressir/model/types/string.rb +0 -17
  206. data/lib/expressir/model/unique.rb +0 -26
  207. data/lib/expressir/model/variable.rb +0 -28
  208. data/lib/expressir/model/where.rb +0 -26
  209. data/lib/expressir/parser/owl_parser.rb +0 -8
  210. data/lib/expressir/parser.rb +0 -6
  211. data/original/examples/syntax/multiple.yaml +0 -198
  212. data/original/examples/syntax/single.yaml +0 -15
  213. data/spec/acceptance/express_to_owl_spec.rb +0 -18
  214. data/spec/expressir/express/repository_spec.rb +0 -25
  215. data/spec/expressir/express_exp/formatter_spec.rb +0 -127
data/{original/examples → spec}/syntax/remark.exp RENAMED
File without changes
data/{original/examples → spec}/syntax/remark.yaml RENAMED
@@ -1,8 +1,8 @@
1
1
  ---
2
2
  _class: Expressir::Model::Repository
3
3
  schemas:
4
- - _class: Expressir::Model::Schema
5
- file: original/examples/syntax/remark.exp
4
+ - _class: Expressir::Model::Declarations::Schema
5
+ file: spec/syntax/remark.exp
6
6
  id: remark_schema
7
7
  remarks:
8
8
  - |-
@@ -14,40 +14,40 @@ schemas:
14
14
  - universal scope - schema before
15
15
  - universal scope - schema
16
16
  remark_items:
17
- - _class: Expressir::Model::RemarkItem
17
+ - _class: Expressir::Model::Declarations::RemarkItem
18
18
  id: remark_item
19
19
  remarks:
20
20
  - schema scope - schema remark item
21
21
  - universal scope - schema remark item
22
22
  constants:
23
- - _class: Expressir::Model::Constant
23
+ - _class: Expressir::Model::Declarations::Constant
24
24
  id: remark_constant
25
25
  remarks:
26
26
  - schema scope - constant
27
27
  - universal scope - constant
28
28
  type:
29
- _class: Expressir::Model::Types::String
29
+ _class: Expressir::Model::DataTypes::String
30
30
  expression:
31
31
  _class: Expressir::Model::Literals::String
32
32
  value: xxx
33
33
  types:
34
- - _class: Expressir::Model::Type
34
+ - _class: Expressir::Model::Declarations::Type
35
35
  id: remark_type
36
36
  remarks:
37
37
  - schema scope - type
38
38
  - universal scope - type
39
- type:
40
- _class: Expressir::Model::Types::Enumeration
39
+ underlying_type:
40
+ _class: Expressir::Model::DataTypes::Enumeration
41
41
  items:
42
- - _class: Expressir::Model::EnumerationItem
42
+ - _class: Expressir::Model::DataTypes::EnumerationItem
43
43
  id: remark_enumeration_item
44
44
  remarks:
45
45
  - schema scope - enumeration item
46
46
  - schema scope - enumeration item, on the same level as the type
47
47
  - universal scope - enumeration item
48
48
  - universal scope - enumeration item, on the same level as the type
49
- where:
50
- - _class: Expressir::Model::Where
49
+ where_rules:
50
+ - _class: Expressir::Model::Declarations::WhereRule
51
51
  id: WR1
52
52
  remarks:
53
53
  - type scope - type where
@@ -60,7 +60,7 @@ schemas:
60
60
  _class: Expressir::Model::Literals::Logical
61
61
  value: :TRUE
62
62
  informal_propositions:
63
- - _class: Expressir::Model::RemarkItem
63
+ - _class: Expressir::Model::Declarations::RemarkItem
64
64
  id: IP1
65
65
  remarks:
66
66
  - type scope - type informal proposition
@@ -70,13 +70,13 @@ schemas:
70
70
  - universal scope - type informal proposition
71
71
  - universal scope - type informal proposition, with prefix
72
72
  entities:
73
- - _class: Expressir::Model::Entity
73
+ - _class: Expressir::Model::Declarations::Entity
74
74
  id: remark_entity
75
75
  remarks:
76
76
  - schema scope - entity
77
77
  - universal scope - entity
78
78
  attributes:
79
- - _class: Expressir::Model::Attribute
79
+ - _class: Expressir::Model::Declarations::Attribute
80
80
  id: remark_attribute
81
81
  remarks:
82
82
  - entity scope - entity attribute
@@ -84,8 +84,8 @@ schemas:
84
84
  - universal scope - entity attribute
85
85
  kind: :EXPLICIT
86
86
  type:
87
- _class: Expressir::Model::Types::String
88
- - _class: Expressir::Model::Attribute
87
+ _class: Expressir::Model::DataTypes::String
88
+ - _class: Expressir::Model::Declarations::Attribute
89
89
  id: remark_derived_attribute
90
90
  remarks:
91
91
  - entity scope - entity derived attribute
@@ -93,11 +93,11 @@ schemas:
93
93
  - universal scope - entity derived attribute
94
94
  kind: :DERIVED
95
95
  type:
96
- _class: Expressir::Model::Types::String
96
+ _class: Expressir::Model::DataTypes::String
97
97
  expression:
98
98
  _class: Expressir::Model::Literals::String
99
99
  value: xxx
100
- - _class: Expressir::Model::Attribute
100
+ - _class: Expressir::Model::Declarations::Attribute
101
101
  id: remark_inverse_attribute
102
102
  remarks:
103
103
  - entity scope - entity inverse attribute
@@ -105,26 +105,26 @@ schemas:
105
105
  - universal scope - entity inverse attribute
106
106
  kind: :INVERSE
107
107
  type:
108
- _class: Expressir::Model::Expressions::SimpleReference
108
+ _class: Expressir::Model::References::SimpleReference
109
109
  id: remark_entity
110
110
  base_path: remark_schema.remark_entity
111
111
  expression:
112
- _class: Expressir::Model::Expressions::SimpleReference
112
+ _class: Expressir::Model::References::SimpleReference
113
113
  id: remark_attribute
114
114
  base_path: remark_schema.remark_entity.remark_attribute
115
- unique:
116
- - _class: Expressir::Model::Unique
115
+ unique_rules:
116
+ - _class: Expressir::Model::Declarations::UniqueRule
117
117
  id: UR1
118
118
  remarks:
119
119
  - entity scope - entity unique
120
120
  - schema scope - entity unique
121
121
  - universal scope - entity unique
122
122
  attributes:
123
- - _class: Expressir::Model::Expressions::SimpleReference
123
+ - _class: Expressir::Model::References::SimpleReference
124
124
  id: remark_attribute
125
125
  base_path: remark_schema.remark_entity.remark_attribute
126
- where:
127
- - _class: Expressir::Model::Where
126
+ where_rules:
127
+ - _class: Expressir::Model::Declarations::WhereRule
128
128
  id: WR1
129
129
  remarks:
130
130
  - entity scope - entity where
@@ -137,7 +137,7 @@ schemas:
137
137
  _class: Expressir::Model::Literals::Logical
138
138
  value: :TRUE
139
139
  informal_propositions:
140
- - _class: Expressir::Model::RemarkItem
140
+ - _class: Expressir::Model::Declarations::RemarkItem
141
141
  id: IP1
142
142
  remarks:
143
143
  - entity scope - entity informal proposition
@@ -147,43 +147,43 @@ schemas:
147
147
  - universal scope - entity informal proposition
148
148
  - universal scope - entity informal proposition, with prefix
149
149
  subtype_constraints:
150
- - _class: Expressir::Model::SubtypeConstraint
150
+ - _class: Expressir::Model::Declarations::SubtypeConstraint
151
151
  id: remark_subtype_constraint
152
152
  remarks:
153
153
  - schema scope - subtype constraint
154
154
  - universal scope - subtype constraint
155
155
  applies_to:
156
- _class: Expressir::Model::Expressions::SimpleReference
156
+ _class: Expressir::Model::References::SimpleReference
157
157
  id: remark_entity
158
158
  base_path: remark_schema.remark_entity
159
159
  functions:
160
- - _class: Expressir::Model::Function
160
+ - _class: Expressir::Model::Declarations::Function
161
161
  id: remark_function
162
162
  remarks:
163
163
  - schema scope - function
164
164
  - universal scope - function
165
165
  parameters:
166
- - _class: Expressir::Model::Parameter
166
+ - _class: Expressir::Model::Declarations::Parameter
167
167
  id: remark_parameter
168
168
  remarks:
169
169
  - function scope - function parameter
170
170
  - schema scope - function parameter
171
171
  - universal scope - function parameter
172
172
  type:
173
- _class: Expressir::Model::Types::String
173
+ _class: Expressir::Model::DataTypes::String
174
174
  return_type:
175
- _class: Expressir::Model::Types::Boolean
175
+ _class: Expressir::Model::DataTypes::Boolean
176
176
  types:
177
- - _class: Expressir::Model::Type
177
+ - _class: Expressir::Model::Declarations::Type
178
178
  id: remark_type
179
179
  remarks:
180
180
  - function scope - function type
181
181
  - schema scope - function type
182
182
  - universal scope - function type
183
- type:
184
- _class: Expressir::Model::Types::Enumeration
183
+ underlying_type:
184
+ _class: Expressir::Model::DataTypes::Enumeration
185
185
  items:
186
- - _class: Expressir::Model::EnumerationItem
186
+ - _class: Expressir::Model::DataTypes::EnumerationItem
187
187
  id: remark_enumeration_item
188
188
  remarks:
189
189
  - function scope - function enumeration item
@@ -194,33 +194,33 @@ schemas:
194
194
  - universal scope - function enumeration item, on the same level as the
195
195
  type
196
196
  constants:
197
- - _class: Expressir::Model::Constant
197
+ - _class: Expressir::Model::Declarations::Constant
198
198
  id: remark_constant
199
199
  remarks:
200
200
  - function scope - function constant
201
201
  - schema scope - function constant
202
202
  - universal scope - function constant
203
203
  type:
204
- _class: Expressir::Model::Types::String
204
+ _class: Expressir::Model::DataTypes::String
205
205
  expression:
206
206
  _class: Expressir::Model::Literals::String
207
207
  value: xxx
208
208
  variables:
209
- - _class: Expressir::Model::Variable
209
+ - _class: Expressir::Model::Declarations::Variable
210
210
  id: remark_variable
211
211
  remarks:
212
212
  - function scope - function variable
213
213
  - schema scope - function variable
214
214
  - universal scope - function variable
215
215
  type:
216
- _class: Expressir::Model::Types::String
216
+ _class: Expressir::Model::DataTypes::String
217
217
  statements:
218
218
  - _class: Expressir::Model::Statements::Alias
219
219
  id: remark_alias
220
220
  remarks:
221
221
  - function alias scope - function alias
222
222
  expression:
223
- _class: Expressir::Model::Expressions::SimpleReference
223
+ _class: Expressir::Model::References::SimpleReference
224
224
  id: remark_variable
225
225
  base_path: remark_schema.remark_function.remark_variable
226
226
  statements:
@@ -239,7 +239,7 @@ schemas:
239
239
  - _class: Expressir::Model::Statements::Null
240
240
  - _class: Expressir::Model::Statements::Assignment
241
241
  ref:
242
- _class: Expressir::Model::Expressions::SimpleReference
242
+ _class: Expressir::Model::References::SimpleReference
243
243
  id: remark_variable
244
244
  base_path: remark_schema.remark_function.remark_variable
245
245
  expression:
@@ -248,33 +248,33 @@ schemas:
248
248
  remarks:
249
249
  - function query scope - function query
250
250
  aggregate_source:
251
- _class: Expressir::Model::Expressions::SimpleReference
251
+ _class: Expressir::Model::References::SimpleReference
252
252
  id: remark_variable
253
253
  base_path: remark_schema.remark_function.remark_variable
254
254
  expression:
255
255
  _class: Expressir::Model::Literals::Logical
256
256
  value: :TRUE
257
257
  rules:
258
- - _class: Expressir::Model::Rule
258
+ - _class: Expressir::Model::Declarations::Rule
259
259
  id: remark_rule
260
260
  remarks:
261
261
  - schema scope - rule
262
262
  - universal scope - rule
263
263
  applies_to:
264
- - _class: Expressir::Model::Expressions::SimpleReference
264
+ - _class: Expressir::Model::References::SimpleReference
265
265
  id: remark_entity
266
266
  base_path: remark_schema.remark_entity
267
267
  types:
268
- - _class: Expressir::Model::Type
268
+ - _class: Expressir::Model::Declarations::Type
269
269
  id: remark_type
270
270
  remarks:
271
271
  - rule scope - rule type
272
272
  - schema scope - rule type
273
273
  - universal scope - rule type
274
- type:
275
- _class: Expressir::Model::Types::Enumeration
274
+ underlying_type:
275
+ _class: Expressir::Model::DataTypes::Enumeration
276
276
  items:
277
- - _class: Expressir::Model::EnumerationItem
277
+ - _class: Expressir::Model::DataTypes::EnumerationItem
278
278
  id: remark_enumeration_item
279
279
  remarks:
280
280
  - rule scope - rule enumeration item
@@ -284,33 +284,33 @@ schemas:
284
284
  - universal scope - rule enumeration item
285
285
  - universal scope - rule enumeration item, on the same level as the type
286
286
  constants:
287
- - _class: Expressir::Model::Constant
287
+ - _class: Expressir::Model::Declarations::Constant
288
288
  id: remark_constant
289
289
  remarks:
290
290
  - rule scope - rule constant
291
291
  - schema scope - rule constant
292
292
  - universal scope - rule constant
293
293
  type:
294
- _class: Expressir::Model::Types::String
294
+ _class: Expressir::Model::DataTypes::String
295
295
  expression:
296
296
  _class: Expressir::Model::Literals::String
297
297
  value: xxx
298
298
  variables:
299
- - _class: Expressir::Model::Variable
299
+ - _class: Expressir::Model::Declarations::Variable
300
300
  id: remark_variable
301
301
  remarks:
302
302
  - rule scope - rule variable
303
303
  - schema scope - rule variable
304
304
  - universal scope - rule variable
305
305
  type:
306
- _class: Expressir::Model::Types::String
306
+ _class: Expressir::Model::DataTypes::String
307
307
  statements:
308
308
  - _class: Expressir::Model::Statements::Alias
309
309
  id: remark_alias
310
310
  remarks:
311
311
  - rule alias scope - rule alias
312
312
  expression:
313
- _class: Expressir::Model::Expressions::SimpleReference
313
+ _class: Expressir::Model::References::SimpleReference
314
314
  id: remark_variable
315
315
  base_path: remark_schema.remark_rule.remark_variable
316
316
  statements:
@@ -329,7 +329,7 @@ schemas:
329
329
  - _class: Expressir::Model::Statements::Null
330
330
  - _class: Expressir::Model::Statements::Assignment
331
331
  ref:
332
- _class: Expressir::Model::Expressions::SimpleReference
332
+ _class: Expressir::Model::References::SimpleReference
333
333
  id: remark_variable
334
334
  base_path: remark_schema.remark_rule.remark_variable
335
335
  expression:
@@ -338,14 +338,14 @@ schemas:
338
338
  remarks:
339
339
  - rule query scope - rule query
340
340
  aggregate_source:
341
- _class: Expressir::Model::Expressions::SimpleReference
341
+ _class: Expressir::Model::References::SimpleReference
342
342
  id: remark_variable
343
343
  base_path: remark_schema.remark_rule.remark_variable
344
344
  expression:
345
345
  _class: Expressir::Model::Literals::Logical
346
346
  value: :TRUE
347
- where:
348
- - _class: Expressir::Model::Where
347
+ where_rules:
348
+ - _class: Expressir::Model::Declarations::WhereRule
349
349
  id: WR1
350
350
  remarks:
351
351
  - rule scope - rule where
@@ -358,7 +358,7 @@ schemas:
358
358
  _class: Expressir::Model::Literals::Logical
359
359
  value: :TRUE
360
360
  informal_propositions:
361
- - _class: Expressir::Model::RemarkItem
361
+ - _class: Expressir::Model::Declarations::RemarkItem
362
362
  id: IP1
363
363
  remarks:
364
364
  - rule scope - rule informal proposition
@@ -368,31 +368,31 @@ schemas:
368
368
  - universal scope - rule informal proposition
369
369
  - universal scope - rule informal proposition, with prefix
370
370
  procedures:
371
- - _class: Expressir::Model::Procedure
371
+ - _class: Expressir::Model::Declarations::Procedure
372
372
  id: remark_procedure
373
373
  remarks:
374
374
  - schema scope - procedure
375
375
  - universal scope - procedure
376
376
  parameters:
377
- - _class: Expressir::Model::Parameter
377
+ - _class: Expressir::Model::Declarations::Parameter
378
378
  id: remark_parameter
379
379
  remarks:
380
380
  - procedure scope - procedure parameter
381
381
  - schema scope - procedure parameter
382
382
  - universal scope - procedure parameter
383
383
  type:
384
- _class: Expressir::Model::Types::String
384
+ _class: Expressir::Model::DataTypes::String
385
385
  types:
386
- - _class: Expressir::Model::Type
386
+ - _class: Expressir::Model::Declarations::Type
387
387
  id: remark_type
388
388
  remarks:
389
389
  - procedure scope - procedure type
390
390
  - schema scope - procedure type
391
391
  - universal scope - procedure type
392
- type:
393
- _class: Expressir::Model::Types::Enumeration
392
+ underlying_type:
393
+ _class: Expressir::Model::DataTypes::Enumeration
394
394
  items:
395
- - _class: Expressir::Model::EnumerationItem
395
+ - _class: Expressir::Model::DataTypes::EnumerationItem
396
396
  id: remark_enumeration_item
397
397
  remarks:
398
398
  - procedure scope - procedure enumeration item
@@ -404,33 +404,33 @@ schemas:
404
404
  - universal scope - procedure enumeration item, on the same level as the
405
405
  type
406
406
  constants:
407
- - _class: Expressir::Model::Constant
407
+ - _class: Expressir::Model::Declarations::Constant
408
408
  id: remark_constant
409
409
  remarks:
410
410
  - procedure scope - procedure constant
411
411
  - schema scope - procedure constant
412
412
  - universal scope - procedure constant
413
413
  type:
414
- _class: Expressir::Model::Types::String
414
+ _class: Expressir::Model::DataTypes::String
415
415
  expression:
416
416
  _class: Expressir::Model::Literals::String
417
417
  value: xxx
418
418
  variables:
419
- - _class: Expressir::Model::Variable
419
+ - _class: Expressir::Model::Declarations::Variable
420
420
  id: remark_variable
421
421
  remarks:
422
422
  - procedure scope - procedure variable
423
423
  - schema scope - procedure variable
424
424
  - universal scope - procedure variable
425
425
  type:
426
- _class: Expressir::Model::Types::String
426
+ _class: Expressir::Model::DataTypes::String
427
427
  statements:
428
428
  - _class: Expressir::Model::Statements::Alias
429
429
  id: remark_alias
430
430
  remarks:
431
431
  - procedure alias scope - procedure alias
432
432
  expression:
433
- _class: Expressir::Model::Expressions::SimpleReference
433
+ _class: Expressir::Model::References::SimpleReference
434
434
  id: remark_variable
435
435
  base_path: remark_schema.remark_procedure.remark_variable
436
436
  statements:
@@ -449,7 +449,7 @@ schemas:
449
449
  - _class: Expressir::Model::Statements::Null
450
450
  - _class: Expressir::Model::Statements::Assignment
451
451
  ref:
452
- _class: Expressir::Model::Expressions::SimpleReference
452
+ _class: Expressir::Model::References::SimpleReference
453
453
  id: remark_variable
454
454
  base_path: remark_schema.remark_procedure.remark_variable
455
455
  expression:
@@ -458,7 +458,7 @@ schemas:
458
458
  remarks:
459
459
  - procedure query scope - procedure query
460
460
  aggregate_source:
461
- _class: Expressir::Model::Expressions::SimpleReference
461
+ _class: Expressir::Model::References::SimpleReference
462
462
  id: remark_variable
463
463
  base_path: remark_schema.remark_procedure.remark_variable
464
464
  expression:
data/{original/examples → spec}/syntax/single.exp RENAMED
@@ -1,4 +1,4 @@
1
- SCHEMA single_schema;
1
+ SCHEMA single_schema 'version';
2
2
  ENTITY empty_entity; END_ENTITY;
3
3
  ENTITY subtype_empty_entity SUBTYPE OF (empty_entity); END_ENTITY;
4
4
  END_SCHEMA;
data/spec/syntax/single.yaml ADDED
@@ -0,0 +1,18 @@
1
+ ---
2
+ _class: Expressir::Model::Repository
3
+ schemas:
4
+ - _class: Expressir::Model::Declarations::Schema
5
+ file: spec/syntax/single.exp
6
+ id: single_schema
7
+ version:
8
+ _class: Expressir::Model::Declarations::SchemaVersion
9
+ value: version
10
+ entities:
11
+ - _class: Expressir::Model::Declarations::Entity
12
+ id: empty_entity
13
+ - _class: Expressir::Model::Declarations::Entity
14
+ id: subtype_empty_entity
15
+ subtype_of:
16
+ - _class: Expressir::Model::References::SimpleReference
17
+ id: empty_entity
18
+ base_path: single_schema.empty_entity
data/{original/examples → spec}/syntax/single_formatted.exp RENAMED
@@ -1,4 +1,4 @@
1
- SCHEMA single_schema;
1
+ SCHEMA single_schema 'version';
2
2
 
3
3
  ENTITY empty_entity;
4
4
  END_ENTITY;
data/{original/examples → spec}/syntax/single_formatted.yaml RENAMED
@@ -1,19 +1,22 @@
1
1
  ---
2
2
  _class: Expressir::Model::Repository
3
3
  schemas:
4
- - _class: Expressir::Model::Schema
5
- file: original/examples/syntax/single.exp
4
+ - _class: Expressir::Model::Declarations::Schema
5
+ file: spec/syntax/single.exp
6
6
  id: single_schema
7
+ version:
8
+ _class: Expressir::Model::Declarations::SchemaVersion
9
+ value: version
7
10
  entities:
8
- - _class: Expressir::Model::Entity
11
+ - _class: Expressir::Model::Declarations::Entity
9
12
  id: empty_entity
10
13
  source: |-
11
14
  ENTITY empty_entity;
12
15
  END_ENTITY;
13
- - _class: Expressir::Model::Entity
16
+ - _class: Expressir::Model::Declarations::Entity
14
17
  id: subtype_empty_entity
15
18
  subtype_of:
16
- - _class: Expressir::Model::Expressions::SimpleReference
19
+ - _class: Expressir::Model::References::SimpleReference
17
20
  id: empty_entity
18
21
  base_path: single_schema.empty_entity
19
22
  source: |-
@@ -21,7 +24,7 @@ schemas:
21
24
  SUBTYPE OF (empty_entity);
22
25
  END_ENTITY;
23
26
  source: |-
24
- SCHEMA single_schema;
27
+ SCHEMA single_schema 'version';
25
28
 
26
29
  ENTITY empty_entity;
27
30
  END_ENTITY;
data/{original/examples → spec}/syntax/syntax.exp RENAMED
@@ -1,5 +1,5 @@
1
1
  -- schema
2
- SCHEMA syntax_schema 'version';
2
+ SCHEMA syntax_schema '{ISO standard 10303 part(41) object(1) version(8)}';
3
3
 
4
4
  -- interfaces
5
5
  USE FROM contract_schema;
@@ -192,18 +192,18 @@ PROCEDURE types;
192
192
  TYPE select_type = SELECT; END_TYPE;
193
193
  TYPE select_extensible_type = EXTENSIBLE SELECT; END_TYPE;
194
194
  TYPE select_extensible_generic_entity_type = EXTENSIBLE GENERIC_ENTITY SELECT; END_TYPE;
195
- TYPE select_list_type = SELECT (empty_type); END_TYPE;
196
- TYPE select_list_multiple_type = SELECT (empty_type, empty_type); END_TYPE;
197
- TYPE select_extension_type_ref_type = SELECT BASED_ON select_type; END_TYPE;
198
- TYPE select_extension_type_ref_list_type = SELECT BASED_ON select_type WITH (empty_type); END_TYPE;
199
- TYPE select_extension_type_ref_list_multiple_type = SELECT BASED_ON select_type WITH (empty_type, empty_type); END_TYPE;
195
+ TYPE select_item_type = SELECT (empty_type); END_TYPE;
196
+ TYPE select_multiple_item_type = SELECT (empty_type, empty_type); END_TYPE;
197
+ TYPE select_based_on_type = SELECT BASED_ON select_type; END_TYPE;
198
+ TYPE select_based_on_item_type = SELECT BASED_ON select_type WITH (empty_type); END_TYPE;
199
+ TYPE select_based_on_multiple_item_type = SELECT BASED_ON select_type WITH (empty_type, empty_type); END_TYPE;
200
200
  TYPE enumeration_type = ENUMERATION; END_TYPE;
201
201
  TYPE enumeration_extensible_type = EXTENSIBLE ENUMERATION; END_TYPE;
202
- TYPE enumeration_list_type = ENUMERATION OF (test); END_TYPE;
203
- TYPE enumeration_list_multiple_type = ENUMERATION OF (test, test2); END_TYPE;
204
- TYPE enumeration_extension_type_ref_type = ENUMERATION BASED_ON enumeration_type; END_TYPE;
205
- TYPE enumeration_extension_type_ref_list_type = ENUMERATION BASED_ON enumeration_type WITH (test); END_TYPE;
206
- TYPE enumeration_extension_type_ref_list_multiple_type = ENUMERATION BASED_ON enumeration_type WITH (test, test2); END_TYPE;
202
+ TYPE enumeration_item_type = ENUMERATION OF (test); END_TYPE;
203
+ TYPE enumeration_multiple_item_type = ENUMERATION OF (test, test2); END_TYPE;
204
+ TYPE enumeration_based_on_type = ENUMERATION BASED_ON enumeration_type; END_TYPE;
205
+ TYPE enumeration_based_on_item_type = ENUMERATION BASED_ON enumeration_type WITH (test); END_TYPE;
206
+ TYPE enumeration_based_on_multiple_item_type = ENUMERATION BASED_ON enumeration_type WITH (test, test2); END_TYPE;
207
207
 
208
208
  -- generic types
209
209
  FUNCTION generic_type : GENERIC; ; END_FUNCTION;