expressir 0.2.18-x86-mingw32 → 0.2.26-x86-mingw32

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (100) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +7 -1
  3. data/.github/workflows/release.yml +31 -3
  4. data/README.adoc +3 -3
  5. data/exe/format +2 -49
  6. data/exe/format-test +81 -0
  7. data/lib/expressir/express_exp/2.4/express_parser.so +0 -0
  8. data/lib/expressir/express_exp/2.5/express_parser.so +0 -0
  9. data/lib/expressir/express_exp/2.6/express_parser.so +0 -0
  10. data/lib/expressir/express_exp/2.7/express_parser.so +0 -0
  11. data/lib/expressir/express_exp/3.0/express_parser.so +0 -0
  12. data/lib/expressir/express_exp/cache.rb +48 -0
  13. data/lib/expressir/express_exp/formatter.rb +2 -2
  14. data/lib/expressir/express_exp/hyperlink_formatter.rb +10 -15
  15. data/lib/expressir/express_exp/model_visitor.rb +23 -0
  16. data/lib/expressir/express_exp/parser.rb +14 -6
  17. data/lib/expressir/express_exp/resolve_references_model_visitor.rb +29 -0
  18. data/lib/expressir/express_exp/visitor.rb +19 -18
  19. data/lib/expressir/model.rb +3 -1
  20. data/lib/expressir/model/attribute.rb +12 -5
  21. data/lib/expressir/model/cache.rb +13 -0
  22. data/lib/expressir/model/constant.rb +9 -2
  23. data/lib/expressir/model/entity.rb +10 -8
  24. data/lib/expressir/model/enumeration_item.rb +7 -0
  25. data/lib/expressir/model/expressions/aggregate_initializer.rb +1 -1
  26. data/lib/expressir/model/expressions/aggregate_item.rb +2 -2
  27. data/lib/expressir/model/expressions/attribute_reference.rb +2 -2
  28. data/lib/expressir/model/expressions/binary_expression.rb +3 -3
  29. data/lib/expressir/model/expressions/call.rb +2 -2
  30. data/lib/expressir/model/expressions/entity_constructor.rb +2 -2
  31. data/lib/expressir/model/expressions/group_reference.rb +2 -2
  32. data/lib/expressir/model/expressions/index_reference.rb +3 -3
  33. data/lib/expressir/model/expressions/interval.rb +5 -5
  34. data/lib/expressir/model/expressions/query_expression.rb +5 -3
  35. data/lib/expressir/model/expressions/simple_reference.rb +5 -1
  36. data/lib/expressir/model/expressions/unary_expression.rb +2 -2
  37. data/lib/expressir/model/function.rb +13 -11
  38. data/lib/expressir/model/identifier.rb +6 -3
  39. data/lib/expressir/model/interface.rb +3 -3
  40. data/lib/expressir/model/interface_item.rb +2 -2
  41. data/lib/expressir/model/interfaced_item.rb +9 -8
  42. data/lib/expressir/model/literals/binary.rb +1 -1
  43. data/lib/expressir/model/literals/integer.rb +1 -1
  44. data/lib/expressir/model/literals/logical.rb +1 -1
  45. data/lib/expressir/model/literals/real.rb +1 -1
  46. data/lib/expressir/model/literals/string.rb +2 -2
  47. data/lib/expressir/model/model_element.rb +47 -26
  48. data/lib/expressir/model/parameter.rb +9 -2
  49. data/lib/expressir/model/procedure.rb +12 -10
  50. data/lib/expressir/model/{informal_proposition.rb → remark_item.rb} +3 -6
  51. data/lib/expressir/model/repository.rb +1 -1
  52. data/lib/expressir/model/rule.rb +14 -12
  53. data/lib/expressir/model/schema.rb +15 -11
  54. data/lib/expressir/model/statements/alias.rb +5 -3
  55. data/lib/expressir/model/statements/assignment.rb +2 -2
  56. data/lib/expressir/model/statements/call.rb +2 -2
  57. data/lib/expressir/model/statements/case.rb +3 -3
  58. data/lib/expressir/model/statements/case_action.rb +2 -2
  59. data/lib/expressir/model/statements/compound.rb +1 -1
  60. data/lib/expressir/model/statements/if.rb +3 -3
  61. data/lib/expressir/model/statements/repeat.rb +9 -7
  62. data/lib/expressir/model/statements/return.rb +1 -1
  63. data/lib/expressir/model/subtype_constraint.rb +11 -4
  64. data/lib/expressir/model/type.rb +6 -4
  65. data/lib/expressir/model/types/aggregate.rb +8 -1
  66. data/lib/expressir/model/types/array.rb +5 -5
  67. data/lib/expressir/model/types/bag.rb +3 -3
  68. data/lib/expressir/model/types/binary.rb +2 -2
  69. data/lib/expressir/model/types/enumeration.rb +4 -4
  70. data/lib/expressir/model/types/generic.rb +7 -0
  71. data/lib/expressir/model/types/generic_entity.rb +7 -0
  72. data/lib/expressir/model/types/list.rb +4 -4
  73. data/lib/expressir/model/types/real.rb +1 -1
  74. data/lib/expressir/model/types/select.rb +5 -5
  75. data/lib/expressir/model/types/set.rb +3 -3
  76. data/lib/expressir/model/types/string.rb +2 -2
  77. data/lib/expressir/model/unique.rb +8 -1
  78. data/lib/expressir/model/variable.rb +9 -2
  79. data/lib/expressir/model/where.rb +8 -1
  80. data/lib/expressir/version.rb +1 -1
  81. data/original/examples/syntax/multiple.exp +1 -1
  82. data/original/examples/syntax/multiple.yaml +19 -5
  83. data/original/examples/syntax/multiple_formatted.exp +1 -1
  84. data/original/examples/syntax/multiple_hyperlink_formatted.exp +4 -4
  85. data/original/examples/syntax/multiple_schema_head_hyperlink_formatted.exp +1 -1
  86. data/original/examples/syntax/remark.exp +12 -10
  87. data/original/examples/syntax/remark.yaml +24 -4
  88. data/original/examples/syntax/remark_formatted.exp +3 -1
  89. data/original/examples/syntax/single.exp +1 -0
  90. data/original/examples/syntax/single.yaml +7 -1
  91. data/original/examples/syntax/single_formatted.exp +4 -0
  92. data/original/examples/syntax/single_formatted.yaml +15 -1
  93. data/original/examples/syntax/syntax.yaml +82 -1
  94. data/original/examples/syntax/syntax_hyperlink_formatted.exp +902 -0
  95. data/spec/expressir/express_exp/cache_spec.rb +64 -0
  96. data/spec/expressir/express_exp/formatter_spec.rb +16 -0
  97. data/spec/expressir/express_exp/parser_spec.rb +10 -33
  98. data/spec/expressir/model/model_element_spec.rb +82 -44
  99. metadata +10 -4
  100. data/original/examples/syntax/single_root_path.yaml +0 -9
@@ -3,17 +3,24 @@ module Expressir
3
3
  class Where < ModelElement
4
4
  include Identifier
5
5
 
6
- attr_accessor :expression
6
+ model_attr_accessor :expression
7
7
 
8
8
  def initialize(options = {})
9
9
  @id = options[:id]
10
10
  @remarks = options.fetch(:remarks, [])
11
+ @remark_items = options.fetch(:remark_items, [])
11
12
  @source = options[:source]
12
13
 
13
14
  @expression = options[:expression]
14
15
 
15
16
  super
16
17
  end
18
+
19
+ def children
20
+ [
21
+ *remark_items
22
+ ]
23
+ end
17
24
  end
18
25
  end
19
26
  end
@@ -1,3 +1,3 @@
1
1
  module Expressir
2
- VERSION = "0.2.18".freeze
2
+ VERSION = "0.2.26".freeze
3
3
  end
@@ -1,4 +1,4 @@
1
- SCHEMA multiple_schema1;
1
+ SCHEMA multiple_schema;
2
2
  REFERENCE FROM multiple_schema2;
3
3
  REFERENCE FROM multiple_schema3 (attribute_entity3);
4
4
  REFERENCE FROM multiple_schema4 (attribute_entity AS attribute_entity4);
@@ -2,34 +2,39 @@
2
2
  _class: Expressir::Model::Repository
3
3
  schemas:
4
4
  - _class: Expressir::Model::Schema
5
- file: multiple.exp
6
- id: multiple_schema1
5
+ file: original/examples/syntax/multiple.exp
6
+ id: multiple_schema
7
7
  interfaces:
8
8
  - _class: Expressir::Model::Interface
9
9
  kind: :REFERENCE
10
10
  schema:
11
11
  _class: Expressir::Model::Expressions::SimpleReference
12
12
  id: multiple_schema2
13
+ base_path: multiple_schema2
13
14
  - _class: Expressir::Model::Interface
14
15
  kind: :REFERENCE
15
16
  schema:
16
17
  _class: Expressir::Model::Expressions::SimpleReference
17
18
  id: multiple_schema3
19
+ base_path: multiple_schema3
18
20
  items:
19
21
  - _class: Expressir::Model::InterfaceItem
20
22
  ref:
21
23
  _class: Expressir::Model::Expressions::SimpleReference
22
24
  id: attribute_entity3
25
+ base_path: multiple_schema3.attribute_entity3
23
26
  - _class: Expressir::Model::Interface
24
27
  kind: :REFERENCE
25
28
  schema:
26
29
  _class: Expressir::Model::Expressions::SimpleReference
27
30
  id: multiple_schema4
31
+ base_path: multiple_schema4
28
32
  items:
29
33
  - _class: Expressir::Model::InterfaceItem
30
34
  ref:
31
35
  _class: Expressir::Model::Expressions::SimpleReference
32
36
  id: attribute_entity
37
+ base_path: multiple_schema4.attribute_entity
33
38
  id: attribute_entity4
34
39
  entities:
35
40
  - _class: Expressir::Model::Entity
@@ -49,11 +54,13 @@ schemas:
49
54
  subtype_of:
50
55
  - _class: Expressir::Model::Expressions::SimpleReference
51
56
  id: empty_entity
57
+ base_path: multiple_schema.empty_entity
52
58
  - _class: Expressir::Model::Entity
53
59
  id: subtype_attribute_entity
54
60
  subtype_of:
55
61
  - _class: Expressir::Model::Expressions::SimpleReference
56
62
  id: attribute_entity
63
+ base_path: multiple_schema.attribute_entity
57
64
  attributes:
58
65
  - _class: Expressir::Model::Attribute
59
66
  kind: :EXPLICIT
@@ -67,6 +74,7 @@ schemas:
67
74
  entity:
68
75
  _class: Expressir::Model::Expressions::SimpleReference
69
76
  id: attribute_entity
77
+ base_path: multiple_schema.attribute_entity
70
78
  attribute:
71
79
  _class: Expressir::Model::Expressions::SimpleReference
72
80
  id: test
@@ -77,6 +85,7 @@ schemas:
77
85
  subtype_of:
78
86
  - _class: Expressir::Model::Expressions::SimpleReference
79
87
  id: attribute_entity2
88
+ base_path: multiple_schema2.attribute_entity2
80
89
  attributes:
81
90
  - _class: Expressir::Model::Attribute
82
91
  kind: :EXPLICIT
@@ -90,6 +99,7 @@ schemas:
90
99
  entity:
91
100
  _class: Expressir::Model::Expressions::SimpleReference
92
101
  id: attribute_entity2
102
+ base_path: multiple_schema2.attribute_entity2
93
103
  attribute:
94
104
  _class: Expressir::Model::Expressions::SimpleReference
95
105
  id: test
@@ -100,6 +110,7 @@ schemas:
100
110
  subtype_of:
101
111
  - _class: Expressir::Model::Expressions::SimpleReference
102
112
  id: attribute_entity3
113
+ base_path: multiple_schema3.attribute_entity3
103
114
  attributes:
104
115
  - _class: Expressir::Model::Attribute
105
116
  kind: :EXPLICIT
@@ -113,6 +124,7 @@ schemas:
113
124
  entity:
114
125
  _class: Expressir::Model::Expressions::SimpleReference
115
126
  id: attribute_entity3
127
+ base_path: multiple_schema3.attribute_entity3
116
128
  attribute:
117
129
  _class: Expressir::Model::Expressions::SimpleReference
118
130
  id: test
@@ -123,6 +135,7 @@ schemas:
123
135
  subtype_of:
124
136
  - _class: Expressir::Model::Expressions::SimpleReference
125
137
  id: attribute_entity4
138
+ base_path: multiple_schema4.attribute_entity
126
139
  attributes:
127
140
  - _class: Expressir::Model::Attribute
128
141
  kind: :EXPLICIT
@@ -136,6 +149,7 @@ schemas:
136
149
  entity:
137
150
  _class: Expressir::Model::Expressions::SimpleReference
138
151
  id: attribute_entity4
152
+ base_path: multiple_schema4.attribute_entity
139
153
  attribute:
140
154
  _class: Expressir::Model::Expressions::SimpleReference
141
155
  id: test
@@ -147,7 +161,7 @@ schemas:
147
161
  - _class: Expressir::Model::Expressions::SimpleReference
148
162
  id: missing_entity
149
163
  - _class: Expressir::Model::Schema
150
- file: multiple.exp
164
+ file: original/examples/syntax/multiple.exp
151
165
  id: multiple_schema2
152
166
  entities:
153
167
  - _class: Expressir::Model::Entity
@@ -159,7 +173,7 @@ schemas:
159
173
  type:
160
174
  _class: Expressir::Model::Types::Boolean
161
175
  - _class: Expressir::Model::Schema
162
- file: multiple.exp
176
+ file: original/examples/syntax/multiple.exp
163
177
  id: multiple_schema3
164
178
  entities:
165
179
  - _class: Expressir::Model::Entity
@@ -171,7 +185,7 @@ schemas:
171
185
  type:
172
186
  _class: Expressir::Model::Types::Boolean
173
187
  - _class: Expressir::Model::Schema
174
- file: multiple.exp
188
+ file: original/examples/syntax/multiple.exp
175
189
  id: multiple_schema4
176
190
  entities:
177
191
  - _class: Expressir::Model::Entity
@@ -1,4 +1,4 @@
1
- SCHEMA multiple_schema1;
1
+ SCHEMA multiple_schema;
2
2
 
3
3
  REFERENCE FROM multiple_schema2;
4
4
  REFERENCE FROM multiple_schema3
@@ -1,4 +1,4 @@
1
- SCHEMA multiple_schema1;
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:multiple_schema1.empty_entity,empty_entity>>}}});
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:multiple_schema1.attribute_entity,attribute_entity>>}}});
25
- SELF\{{{<<express:multiple_schema1.attribute_entity,attribute_entity>>}}}.test : BOOLEAN;
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
@@ -1,4 +1,4 @@
1
- SCHEMA multiple_schema1;
1
+ SCHEMA multiple_schema;
2
2
 
3
3
  REFERENCE FROM {{{<<express:multiple_schema2,multiple_schema2>>}}};
4
4
  REFERENCE FROM {{{<<express:multiple_schema3,multiple_schema3>>}}}
@@ -14,8 +14,8 @@ CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
14
14
  TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
15
15
  WHERE WR1: TRUE;
16
16
  --"WR1" type scope - type where
17
- --"IP1" type scope - type informal proposition
18
17
  --"wr:WR1" type scope - type where, with prefix
18
+ --"IP1" type scope - type informal proposition
19
19
  --"ip:IP1" type scope - type informal proposition, with prefix
20
20
  END_TYPE;
21
21
  ENTITY remark_entity;
@@ -29,8 +29,8 @@ ENTITY remark_entity;
29
29
  --"remark_inverse_attribute" entity scope - entity inverse attribute
30
30
  --"UR1" entity scope - entity unique
31
31
  --"WR1" entity scope - entity where
32
- --"IP1" entity scope - entity informal proposition
33
32
  --"wr:WR1" entity scope - entity where, with prefix
33
+ --"IP1" entity scope - entity informal proposition
34
34
  --"ip:IP1" entity scope - entity informal proposition, with prefix
35
35
  END_ENTITY;
36
36
  SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
@@ -74,8 +74,8 @@ RULE remark_rule FOR (remark_entity);
74
74
  --"remark_constant" rule scope - rule constant
75
75
  --"remark_variable" rule scope - rule variable
76
76
  --"WR1" rule scope - rule where
77
- --"IP1" rule scope - rule informal proposition
78
77
  --"wr:WR1" rule scope - rule where, with prefix
78
+ --"IP1" rule scope - rule informal proposition
79
79
  --"ip:IP1" rule scope - rule informal proposition, with prefix
80
80
  END_RULE;
81
81
  PROCEDURE remark_procedure(remark_parameter : STRING);
@@ -102,8 +102,8 @@ END_PROCEDURE;
102
102
  --"remark_constant" schema scope - constant
103
103
  --"remark_type" schema scope - type
104
104
  --"remark_type.WR1" schema scope - type where
105
- --"remark_type.IP1" schema scope - type informal proposition
106
105
  --"remark_type.wr:WR1" schema scope - type where, with prefix
106
+ --"remark_type.IP1" schema scope - type informal proposition
107
107
  --"remark_type.ip:IP1" schema scope - type informal proposition, with prefix
108
108
  --"remark_type.remark_enumeration_item" schema scope - enumeration item
109
109
  --"remark_enumeration_item" schema scope - enumeration item, on the same level as the type
@@ -113,8 +113,8 @@ END_PROCEDURE;
113
113
  --"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
114
114
  --"remark_entity.UR1" schema scope - entity unique
115
115
  --"remark_entity.WR1" schema scope - entity where
116
- --"remark_entity.IP1" schema scope - entity informal proposition
117
116
  --"remark_entity.wr:WR1" schema scope - entity where, with prefix
117
+ --"remark_entity.IP1" schema scope - entity informal proposition
118
118
  --"remark_entity.ip:IP1" schema scope - entity informal proposition, with prefix
119
119
  --"remark_subtype_constraint" schema scope - subtype constraint
120
120
  --"remark_function" schema scope - function
@@ -131,8 +131,8 @@ END_PROCEDURE;
131
131
  --"remark_rule.remark_constant" schema scope - rule constant
132
132
  --"remark_rule.remark_variable" schema scope - rule variable
133
133
  --"remark_rule.WR1" schema scope - rule where
134
- --"remark_rule.IP1" schema scope - rule informal proposition
135
134
  --"remark_rule.wr:WR1" schema scope - rule where, with prefix
135
+ --"remark_rule.IP1" schema scope - rule informal proposition
136
136
  --"remark_rule.ip:IP1" schema scope - rule informal proposition, with prefix
137
137
  --"remark_procedure" schema scope - procedure
138
138
  --"remark_procedure.remark_parameter" schema scope - procedure parameter
@@ -141,6 +141,7 @@ END_PROCEDURE;
141
141
  --"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
142
142
  --"remark_procedure.remark_constant" schema scope - procedure constant
143
143
  --"remark_procedure.remark_variable" schema scope - procedure variable
144
+ --"remark_item" schema scope - schema remark item
144
145
 
145
146
  END_SCHEMA;
146
147
 
@@ -148,8 +149,8 @@ END_SCHEMA;
148
149
  --"remark_schema.remark_constant" universal scope - constant
149
150
  --"remark_schema.remark_type" universal scope - type
150
151
  --"remark_schema.remark_type.WR1" universal scope - type where
151
- --"remark_schema.remark_type.IP1" universal scope - type informal proposition
152
152
  --"remark_schema.remark_type.wr:WR1" universal scope - type where, with prefix
153
+ --"remark_schema.remark_type.IP1" universal scope - type informal proposition
153
154
  --"remark_schema.remark_type.ip:IP1" universal scope - type informal proposition, with prefix
154
155
  --"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
155
156
  --"remark_schema.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
@@ -159,8 +160,8 @@ END_SCHEMA;
159
160
  --"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
160
161
  --"remark_schema.remark_entity.UR1" universal scope - entity unique
161
162
  --"remark_schema.remark_entity.WR1" universal scope - entity where
162
- --"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
163
163
  --"remark_schema.remark_entity.wr:WR1" universal scope - entity where, with prefix
164
+ --"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
164
165
  --"remark_schema.remark_entity.ip:IP1" universal scope - entity informal proposition, with prefix
165
166
  --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
166
167
  --"remark_schema.remark_function" universal scope - function
@@ -177,8 +178,8 @@ END_SCHEMA;
177
178
  --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
178
179
  --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
179
180
  --"remark_schema.remark_rule.WR1" universal scope - rule where
180
- --"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
181
181
  --"remark_schema.remark_rule.wr:WR1" universal scope - rule where, with prefix
182
+ --"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
182
183
  --"remark_schema.remark_rule.ip:IP1" universal scope - rule informal proposition, with prefix
183
184
  --"remark_schema.remark_procedure" universal scope - procedure
184
185
  --"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
@@ -186,4 +187,5 @@ END_SCHEMA;
186
187
  --"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
187
188
  --"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
188
189
  --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
189
- --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
190
+ --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
191
+ --"remark_schema.remark_item" universal scope - schema remark item
@@ -2,7 +2,7 @@
2
2
  _class: Expressir::Model::Repository
3
3
  schemas:
4
4
  - _class: Expressir::Model::Schema
5
- file: remark.exp
5
+ file: original/examples/syntax/remark.exp
6
6
  id: remark_schema
7
7
  remarks:
8
8
  - |-
@@ -13,6 +13,12 @@ schemas:
13
13
  - 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'
14
14
  - universal scope - schema before
15
15
  - universal scope - schema
16
+ remark_items:
17
+ - _class: Expressir::Model::RemarkItem
18
+ id: remark_item
19
+ remarks:
20
+ - schema scope - schema remark item
21
+ - universal scope - schema remark item
16
22
  constants:
17
23
  - _class: Expressir::Model::Constant
18
24
  id: remark_constant
@@ -54,7 +60,7 @@ schemas:
54
60
  _class: Expressir::Model::Literals::Logical
55
61
  value: :TRUE
56
62
  informal_propositions:
57
- - _class: Expressir::Model::InformalProposition
63
+ - _class: Expressir::Model::RemarkItem
58
64
  id: IP1
59
65
  remarks:
60
66
  - type scope - type informal proposition
@@ -101,9 +107,11 @@ schemas:
101
107
  type:
102
108
  _class: Expressir::Model::Expressions::SimpleReference
103
109
  id: remark_entity
110
+ base_path: remark_schema.remark_entity
104
111
  expression:
105
112
  _class: Expressir::Model::Expressions::SimpleReference
106
113
  id: remark_attribute
114
+ base_path: remark_schema.remark_entity.remark_attribute
107
115
  unique:
108
116
  - _class: Expressir::Model::Unique
109
117
  id: UR1
@@ -114,6 +122,7 @@ schemas:
114
122
  attributes:
115
123
  - _class: Expressir::Model::Expressions::SimpleReference
116
124
  id: remark_attribute
125
+ base_path: remark_schema.remark_entity.remark_attribute
117
126
  where:
118
127
  - _class: Expressir::Model::Where
119
128
  id: WR1
@@ -128,7 +137,7 @@ schemas:
128
137
  _class: Expressir::Model::Literals::Logical
129
138
  value: :TRUE
130
139
  informal_propositions:
131
- - _class: Expressir::Model::InformalProposition
140
+ - _class: Expressir::Model::RemarkItem
132
141
  id: IP1
133
142
  remarks:
134
143
  - entity scope - entity informal proposition
@@ -146,6 +155,7 @@ schemas:
146
155
  applies_to:
147
156
  _class: Expressir::Model::Expressions::SimpleReference
148
157
  id: remark_entity
158
+ base_path: remark_schema.remark_entity
149
159
  functions:
150
160
  - _class: Expressir::Model::Function
151
161
  id: remark_function
@@ -212,6 +222,7 @@ schemas:
212
222
  expression:
213
223
  _class: Expressir::Model::Expressions::SimpleReference
214
224
  id: remark_variable
225
+ base_path: remark_schema.remark_function.remark_variable
215
226
  statements:
216
227
  - _class: Expressir::Model::Statements::Null
217
228
  - _class: Expressir::Model::Statements::Repeat
@@ -230,6 +241,7 @@ schemas:
230
241
  ref:
231
242
  _class: Expressir::Model::Expressions::SimpleReference
232
243
  id: remark_variable
244
+ base_path: remark_schema.remark_function.remark_variable
233
245
  expression:
234
246
  _class: Expressir::Model::Expressions::QueryExpression
235
247
  id: remark_query
@@ -238,6 +250,7 @@ schemas:
238
250
  aggregate_source:
239
251
  _class: Expressir::Model::Expressions::SimpleReference
240
252
  id: remark_variable
253
+ base_path: remark_schema.remark_function.remark_variable
241
254
  expression:
242
255
  _class: Expressir::Model::Literals::Logical
243
256
  value: :TRUE
@@ -250,6 +263,7 @@ schemas:
250
263
  applies_to:
251
264
  - _class: Expressir::Model::Expressions::SimpleReference
252
265
  id: remark_entity
266
+ base_path: remark_schema.remark_entity
253
267
  types:
254
268
  - _class: Expressir::Model::Type
255
269
  id: remark_type
@@ -298,6 +312,7 @@ schemas:
298
312
  expression:
299
313
  _class: Expressir::Model::Expressions::SimpleReference
300
314
  id: remark_variable
315
+ base_path: remark_schema.remark_rule.remark_variable
301
316
  statements:
302
317
  - _class: Expressir::Model::Statements::Null
303
318
  - _class: Expressir::Model::Statements::Repeat
@@ -316,6 +331,7 @@ schemas:
316
331
  ref:
317
332
  _class: Expressir::Model::Expressions::SimpleReference
318
333
  id: remark_variable
334
+ base_path: remark_schema.remark_rule.remark_variable
319
335
  expression:
320
336
  _class: Expressir::Model::Expressions::QueryExpression
321
337
  id: remark_query
@@ -324,6 +340,7 @@ schemas:
324
340
  aggregate_source:
325
341
  _class: Expressir::Model::Expressions::SimpleReference
326
342
  id: remark_variable
343
+ base_path: remark_schema.remark_rule.remark_variable
327
344
  expression:
328
345
  _class: Expressir::Model::Literals::Logical
329
346
  value: :TRUE
@@ -341,7 +358,7 @@ schemas:
341
358
  _class: Expressir::Model::Literals::Logical
342
359
  value: :TRUE
343
360
  informal_propositions:
344
- - _class: Expressir::Model::InformalProposition
361
+ - _class: Expressir::Model::RemarkItem
345
362
  id: IP1
346
363
  remarks:
347
364
  - rule scope - rule informal proposition
@@ -415,6 +432,7 @@ schemas:
415
432
  expression:
416
433
  _class: Expressir::Model::Expressions::SimpleReference
417
434
  id: remark_variable
435
+ base_path: remark_schema.remark_procedure.remark_variable
418
436
  statements:
419
437
  - _class: Expressir::Model::Statements::Null
420
438
  - _class: Expressir::Model::Statements::Repeat
@@ -433,6 +451,7 @@ schemas:
433
451
  ref:
434
452
  _class: Expressir::Model::Expressions::SimpleReference
435
453
  id: remark_variable
454
+ base_path: remark_schema.remark_procedure.remark_variable
436
455
  expression:
437
456
  _class: Expressir::Model::Expressions::QueryExpression
438
457
  id: remark_query
@@ -441,6 +460,7 @@ schemas:
441
460
  aggregate_source:
442
461
  _class: Expressir::Model::Expressions::SimpleReference
443
462
  id: remark_variable
463
+ base_path: remark_schema.remark_procedure.remark_variable
444
464
  expression:
445
465
  _class: Expressir::Model::Literals::Logical
446
466
  value: :TRUE