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