expressir 0.2.24 → 1.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (208) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/rake.yml +7 -6
  3. data/.gitignore +2 -2
  4. data/.yardopts +11 -0
  5. data/Rakefile +3 -0
  6. data/demo.rb +5 -5
  7. data/exe/format +10 -73
  8. data/exe/format-test +81 -0
  9. data/expressir.gemspec +3 -1
  10. data/ext/express-parser/extconf.rb +1 -1
  11. data/lib/expressir.rb +0 -1
  12. data/lib/expressir/cli.rb +0 -6
  13. data/lib/expressir/express/cache.rb +51 -0
  14. data/lib/expressir/{express_exp → express}/formatter.rb +306 -239
  15. data/lib/expressir/express/hyperlink_formatter.rb +36 -0
  16. data/lib/expressir/express/model_visitor.rb +24 -0
  17. data/lib/expressir/express/parser.rb +81 -0
  18. data/lib/expressir/express/resolve_references_model_visitor.rb +31 -0
  19. data/lib/expressir/express/schema_head_formatter.rb +23 -0
  20. data/lib/expressir/{express_exp → express}/visitor.rb +318 -270
  21. data/lib/expressir/model.rb +52 -43
  22. data/lib/expressir/model/cache.rb +6 -2
  23. data/lib/expressir/model/data_type.rb +9 -0
  24. data/lib/expressir/model/data_types/aggregate.rb +31 -0
  25. data/lib/expressir/model/data_types/array.rb +31 -0
  26. data/lib/expressir/model/data_types/bag.rb +25 -0
  27. data/lib/expressir/model/data_types/binary.rb +22 -0
  28. data/lib/expressir/model/data_types/boolean.rb +10 -0
  29. data/lib/expressir/model/data_types/enumeration.rb +25 -0
  30. data/lib/expressir/model/data_types/enumeration_item.rb +26 -0
  31. data/lib/expressir/model/data_types/generic.rb +26 -0
  32. data/lib/expressir/model/data_types/generic_entity.rb +26 -0
  33. data/lib/expressir/model/data_types/integer.rb +10 -0
  34. data/lib/expressir/model/data_types/list.rb +28 -0
  35. data/lib/expressir/model/data_types/logical.rb +10 -0
  36. data/lib/expressir/model/data_types/number.rb +10 -0
  37. data/lib/expressir/model/data_types/real.rb +19 -0
  38. data/lib/expressir/model/data_types/select.rb +28 -0
  39. data/lib/expressir/model/data_types/set.rb +25 -0
  40. data/lib/expressir/model/data_types/string.rb +22 -0
  41. data/lib/expressir/model/declaration.rb +9 -0
  42. data/lib/expressir/model/declarations/attribute.rb +47 -0
  43. data/lib/expressir/model/declarations/constant.rb +34 -0
  44. data/lib/expressir/model/declarations/entity.rb +53 -0
  45. data/lib/expressir/model/declarations/function.rb +67 -0
  46. data/lib/expressir/model/declarations/interface.rb +28 -0
  47. data/lib/expressir/model/declarations/interface_item.rb +23 -0
  48. data/lib/expressir/model/declarations/interfaced_item.rb +37 -0
  49. data/lib/expressir/model/declarations/parameter.rb +34 -0
  50. data/lib/expressir/model/declarations/procedure.rb +64 -0
  51. data/lib/expressir/model/declarations/remark_item.rb +21 -0
  52. data/lib/expressir/model/declarations/rule.rb +71 -0
  53. data/lib/expressir/model/declarations/schema.rb +117 -0
  54. data/lib/expressir/model/declarations/schema_version.rb +22 -0
  55. data/lib/expressir/model/declarations/schema_version_item.rb +22 -0
  56. data/lib/expressir/model/declarations/subtype_constraint.rb +40 -0
  57. data/lib/expressir/model/declarations/type.rb +45 -0
  58. data/lib/expressir/model/declarations/unique_rule.rb +31 -0
  59. data/lib/expressir/model/declarations/variable.rb +34 -0
  60. data/lib/expressir/model/declarations/where_rule.rb +31 -0
  61. data/lib/expressir/model/expression.rb +9 -0
  62. data/lib/expressir/model/expressions/aggregate_initializer.rb +7 -3
  63. data/lib/expressir/model/expressions/aggregate_initializer_item.rb +22 -0
  64. data/lib/expressir/model/expressions/binary_expression.rb +16 -5
  65. data/lib/expressir/model/expressions/entity_constructor.rb +9 -4
  66. data/lib/expressir/model/expressions/function_call.rb +22 -0
  67. data/lib/expressir/model/expressions/interval.rb +17 -6
  68. data/lib/expressir/model/expressions/query_expression.rb +11 -7
  69. data/lib/expressir/model/expressions/unary_expression.rb +9 -3
  70. data/lib/expressir/model/identifier.rb +26 -4
  71. data/lib/expressir/model/literal.rb +9 -0
  72. data/lib/expressir/model/literals/binary.rb +6 -2
  73. data/lib/expressir/model/literals/integer.rb +6 -2
  74. data/lib/expressir/model/literals/logical.rb +6 -2
  75. data/lib/expressir/model/literals/real.rb +6 -2
  76. data/lib/expressir/model/literals/string.rb +8 -3
  77. data/lib/expressir/model/model_element.rb +70 -37
  78. data/lib/expressir/model/reference.rb +9 -0
  79. data/lib/expressir/model/references/attribute_reference.rb +22 -0
  80. data/lib/expressir/model/references/group_reference.rb +22 -0
  81. data/lib/expressir/model/references/index_reference.rb +27 -0
  82. data/lib/expressir/model/references/simple_reference.rb +24 -0
  83. data/lib/expressir/model/repository.rb +8 -2
  84. data/lib/expressir/model/statement.rb +9 -0
  85. data/lib/expressir/model/statements/alias.rb +12 -8
  86. data/lib/expressir/model/statements/assignment.rb +8 -3
  87. data/lib/expressir/model/statements/case.rb +11 -5
  88. data/lib/expressir/model/statements/case_action.rb +8 -3
  89. data/lib/expressir/model/statements/compound.rb +7 -3
  90. data/lib/expressir/model/statements/escape.rb +3 -1
  91. data/lib/expressir/model/statements/if.rb +12 -6
  92. data/lib/expressir/model/statements/null.rb +3 -1
  93. data/lib/expressir/model/statements/procedure_call.rb +22 -0
  94. data/lib/expressir/model/statements/repeat.rb +20 -12
  95. data/lib/expressir/model/statements/return.rb +6 -2
  96. data/lib/expressir/model/statements/skip.rb +3 -1
  97. data/lib/expressir/model/supertype_expression.rb +9 -0
  98. data/lib/expressir/model/supertype_expressions/binary_supertype_expression.rb +29 -0
  99. data/lib/expressir/model/supertype_expressions/oneof_supertype_expression.rb +19 -0
  100. data/lib/expressir/version.rb +1 -1
  101. data/rakelib/cross-ruby.rake +1 -1
  102. data/spec/expressir/{express_exp → express}/cache_spec.rb +9 -9
  103. data/spec/expressir/express/formatter_spec.rb +127 -0
  104. data/spec/expressir/{express_exp → express}/parser_spec.rb +24 -24
  105. data/spec/expressir/model/model_element_spec.rb +181 -129
  106. data/{original/examples → spec}/syntax/multiple.exp +1 -1
  107. data/spec/syntax/multiple.yaml +198 -0
  108. data/{original/examples → spec}/syntax/multiple_formatted.exp +1 -1
  109. data/{original/examples → spec}/syntax/multiple_hyperlink_formatted.exp +4 -4
  110. data/{original/examples → spec}/syntax/multiple_schema_head_hyperlink_formatted.exp +1 -1
  111. data/{original/examples → spec}/syntax/remark.exp +0 -0
  112. data/{original/examples → spec}/syntax/remark.yaml +87 -73
  113. data/{original/examples → spec}/syntax/remark_formatted.exp +0 -0
  114. data/spec/syntax/single.exp +4 -0
  115. data/spec/syntax/single.yaml +18 -0
  116. data/spec/syntax/single_formatted.exp +10 -0
  117. data/spec/syntax/single_formatted.yaml +36 -0
  118. data/{original/examples → spec}/syntax/syntax.exp +11 -11
  119. data/{original/examples → spec}/syntax/syntax.yaml +1181 -1111
  120. data/{original/examples → spec}/syntax/syntax_formatted.exp +11 -11
  121. data/spec/syntax/syntax_hyperlink_formatted.exp +902 -0
  122. data/{original/examples → spec}/syntax/syntax_schema_head_formatted.exp +1 -1
  123. metadata +123 -113
  124. data/lib/expressir/express.rb +0 -11
  125. data/lib/expressir/express/aggregate_dimension.rb +0 -38
  126. data/lib/expressir/express/attribute.rb +0 -15
  127. data/lib/expressir/express/comment.rb +0 -7
  128. data/lib/expressir/express/defined_type.rb +0 -36
  129. data/lib/expressir/express/derived.rb +0 -65
  130. data/lib/expressir/express/derived_aggregate.rb +0 -43
  131. data/lib/expressir/express/entity.rb +0 -137
  132. data/lib/expressir/express/explicit.rb +0 -70
  133. data/lib/expressir/express/explicit_aggregate.rb +0 -46
  134. data/lib/expressir/express/explicit_or_derived.rb +0 -16
  135. data/lib/expressir/express/global_rule.rb +0 -44
  136. data/lib/expressir/express/interface_specification.rb +0 -51
  137. data/lib/expressir/express/interfaced_item.rb +0 -38
  138. data/lib/expressir/express/inverse.rb +0 -46
  139. data/lib/expressir/express/inverse_aggregate.rb +0 -37
  140. data/lib/expressir/express/model_element.rb +0 -7
  141. data/lib/expressir/express/named_type.rb +0 -19
  142. data/lib/expressir/express/remark.rb +0 -8
  143. data/lib/expressir/express/repository.rb +0 -306
  144. data/lib/expressir/express/schema_definition.rb +0 -96
  145. data/lib/expressir/express/subtype_constraint.rb +0 -14
  146. data/lib/expressir/express/type.rb +0 -26
  147. data/lib/expressir/express/type_aggregate.rb +0 -42
  148. data/lib/expressir/express/type_enum.rb +0 -29
  149. data/lib/expressir/express/type_parser.rb +0 -45
  150. data/lib/expressir/express/type_select.rb +0 -82
  151. data/lib/expressir/express/unique_rule.rb +0 -35
  152. data/lib/expressir/express/where_rule.rb +0 -32
  153. data/lib/expressir/express_exp/cache.rb +0 -48
  154. data/lib/expressir/express_exp/hyperlink_formatter.rb +0 -27
  155. data/lib/expressir/express_exp/parser.rb +0 -64
  156. data/lib/expressir/express_exp/schema_head_formatter.rb +0 -9
  157. data/lib/expressir/express_parser.rb +0 -30
  158. data/lib/expressir/model/attribute.rb +0 -38
  159. data/lib/expressir/model/constant.rb +0 -28
  160. data/lib/expressir/model/entity.rb +0 -42
  161. data/lib/expressir/model/enumeration_item.rb +0 -22
  162. data/lib/expressir/model/expressions/aggregate_item.rb +0 -17
  163. data/lib/expressir/model/expressions/attribute_reference.rb +0 -17
  164. data/lib/expressir/model/expressions/call.rb +0 -17
  165. data/lib/expressir/model/expressions/group_reference.rb +0 -17
  166. data/lib/expressir/model/expressions/index_reference.rb +0 -19
  167. data/lib/expressir/model/expressions/simple_reference.rb +0 -15
  168. data/lib/expressir/model/function.rb +0 -57
  169. data/lib/expressir/model/interface.rb +0 -20
  170. data/lib/expressir/model/interface_item.rb +0 -15
  171. data/lib/expressir/model/interfaced_item.rb +0 -31
  172. data/lib/expressir/model/parameter.rb +0 -28
  173. data/lib/expressir/model/procedure.rb +0 -55
  174. data/lib/expressir/model/remark_item.rb +0 -15
  175. data/lib/expressir/model/rule.rb +0 -60
  176. data/lib/expressir/model/schema.rb +0 -98
  177. data/lib/expressir/model/statements/call.rb +0 -17
  178. data/lib/expressir/model/subtype_constraint.rb +0 -32
  179. data/lib/expressir/model/type.rb +0 -37
  180. data/lib/expressir/model/types/aggregate.rb +0 -28
  181. data/lib/expressir/model/types/array.rb +0 -23
  182. data/lib/expressir/model/types/bag.rb +0 -19
  183. data/lib/expressir/model/types/binary.rb +0 -17
  184. data/lib/expressir/model/types/boolean.rb +0 -8
  185. data/lib/expressir/model/types/enumeration.rb +0 -21
  186. data/lib/expressir/model/types/generic.rb +0 -24
  187. data/lib/expressir/model/types/generic_entity.rb +0 -24
  188. data/lib/expressir/model/types/integer.rb +0 -8
  189. data/lib/expressir/model/types/list.rb +0 -21
  190. data/lib/expressir/model/types/logical.rb +0 -8
  191. data/lib/expressir/model/types/number.rb +0 -8
  192. data/lib/expressir/model/types/real.rb +0 -15
  193. data/lib/expressir/model/types/select.rb +0 -23
  194. data/lib/expressir/model/types/set.rb +0 -19
  195. data/lib/expressir/model/types/string.rb +0 -17
  196. data/lib/expressir/model/unique.rb +0 -26
  197. data/lib/expressir/model/variable.rb +0 -28
  198. data/lib/expressir/model/where.rb +0 -26
  199. data/lib/expressir/parser.rb +0 -6
  200. data/lib/expressir/parser/owl_parser.rb +0 -8
  201. data/original/examples/syntax/multiple.yaml +0 -184
  202. data/original/examples/syntax/single.exp +0 -3
  203. data/original/examples/syntax/single.yaml +0 -9
  204. data/original/examples/syntax/single_formatted.exp +0 -6
  205. data/original/examples/syntax/single_formatted.yaml +0 -19
  206. data/spec/acceptance/express_to_owl_spec.rb +0 -18
  207. data/spec/expressir/express/repository_spec.rb +0 -25
  208. data/spec/expressir/express_exp/formatter_spec.rb +0 -111
@@ -1,3 +0,0 @@
1
- SCHEMA single_schema;
2
- ENTITY empty_entity; END_ENTITY;
3
- END_SCHEMA;
@@ -1,9 +0,0 @@
1
- ---
2
- _class: Expressir::Model::Repository
3
- schemas:
4
- - _class: Expressir::Model::Schema
5
- file: original/examples/syntax/single.exp
6
- id: single_schema
7
- entities:
8
- - _class: Expressir::Model::Entity
9
- id: empty_entity
@@ -1,6 +0,0 @@
1
- SCHEMA single_schema;
2
-
3
- ENTITY empty_entity;
4
- END_ENTITY;
5
-
6
- END_SCHEMA;
@@ -1,19 +0,0 @@
1
- ---
2
- _class: Expressir::Model::Repository
3
- schemas:
4
- - _class: Expressir::Model::Schema
5
- file: original/examples/syntax/single.exp
6
- id: single_schema
7
- entities:
8
- - _class: Expressir::Model::Entity
9
- id: empty_entity
10
- source: |-
11
- ENTITY empty_entity;
12
- END_ENTITY;
13
- source: |-
14
- SCHEMA single_schema;
15
-
16
- ENTITY empty_entity;
17
- END_ENTITY;
18
-
19
- END_SCHEMA;
@@ -1,18 +0,0 @@
1
- require "spec_helper"
2
-
3
- RSpec.describe "Expressir" do
4
- describe "express-to-owl" do
5
- pending "Still needs implementation"
6
-
7
- it "convert express to owl system" do
8
- command = %W(express-to-owl #{sample_file})
9
- capture_stdout { Expressir::Cli.start(command) }
10
- end
11
- end
12
-
13
- def sample_file
14
- @sample_file ||= Expressir.root_path.join(
15
- "original", "examples", "ap233", "ap233e1_arm_lf_stepmod-2010-11-12.xml"
16
- )
17
- end
18
- end
@@ -1,25 +0,0 @@
1
- require "spec_helper"
2
-
3
- RSpec.describe Expressir::Express::Repository do
4
- describe ".from_file" do
5
- it "build an instance from a file" do
6
- name = "Ap233_systems_engineering_arm_LF"
7
-
8
- repo = Expressir::Express::Repository.from_xml(sample_file)
9
- schema = repo.schemas.first
10
-
11
- expect(repo.name).to eq(name)
12
- expect(repo.schemas.count).to eq(1)
13
- expect(schema.name).to eq(name)
14
- expect(schema.contents.count).to eq(795)
15
- expect(schema.contents.first.schema).to eq(name)
16
- expect(schema.contents.first.name).to eq("Abs_function")
17
- end
18
- end
19
-
20
- def sample_file
21
- @sample_file ||= Expressir.root_path.join(
22
- "original", "examples", "ap233", "ap233e1_arm_lf_stepmod-2010-11-12.xml"
23
- )
24
- end
25
- end
@@ -1,111 +0,0 @@
1
- require "yaml"
2
- require "spec_helper"
3
- require "expressir/express_exp/parser"
4
- require "expressir/express_exp/formatter"
5
- require "expressir/express_exp/schema_head_formatter"
6
- require "expressir/express_exp/hyperlink_formatter"
7
-
8
- RSpec.describe Expressir::ExpressExp::Formatter do
9
- describe ".format" do
10
- it "exports an object (single.exp)" do
11
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "single.exp")
12
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "single_formatted.exp")
13
-
14
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
15
-
16
- result = Expressir::ExpressExp::Formatter.format(repo)
17
- # File.write(formatted_exp_file, result)
18
- expected_result = File.read(formatted_exp_file)
19
-
20
- expect(result).to eq(expected_result)
21
- end
22
-
23
- it "exports an object (multiple.exp)" do
24
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple.exp")
25
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple_formatted.exp")
26
-
27
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
28
-
29
- result = Expressir::ExpressExp::Formatter.format(repo)
30
- # File.write(formatted_exp_file, result)
31
- expected_result = File.read(formatted_exp_file)
32
-
33
- expect(result).to eq(expected_result)
34
- end
35
-
36
- it "exports an object (remark.exp)" do
37
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "remark.exp")
38
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "remark_formatted.exp")
39
-
40
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
41
-
42
- result = Expressir::ExpressExp::Formatter.format(repo)
43
- # File.write(formatted_exp_file, result)
44
- expected_result = File.read(formatted_exp_file)
45
-
46
- expect(result).to eq(expected_result)
47
- end
48
-
49
- it "exports an object (syntax.exp)" do
50
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "syntax.exp")
51
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "syntax_formatted.exp")
52
-
53
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
54
-
55
- result = Expressir::ExpressExp::Formatter.format(repo)
56
- # File.write(formatted_exp_file, result)
57
- expected_result = File.read(formatted_exp_file)
58
-
59
- expect(result).to eq(expected_result)
60
- end
61
-
62
- it "exports an object with schema head formatter (syntax.exp)" do
63
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "syntax.exp")
64
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "syntax_schema_head_formatted.exp")
65
-
66
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
67
-
68
- formatter = Class.new(Expressir::ExpressExp::Formatter) do
69
- include Expressir::ExpressExp::SchemaHeadFormatter
70
- end
71
- result = formatter.format(repo)
72
- # File.write(formatted_exp_file, result)
73
- expected_result = File.read(formatted_exp_file)
74
-
75
- expect(result).to eq(expected_result)
76
- end
77
-
78
- it "exports an object with hyperlink formatter (multiple.exp)" do
79
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple.exp")
80
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple_hyperlink_formatted.exp")
81
-
82
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
83
-
84
- formatter = Class.new(Expressir::ExpressExp::Formatter) do
85
- include Expressir::ExpressExp::HyperlinkFormatter
86
- end
87
- result = formatter.format(repo)
88
- # File.write(formatted_exp_file, result)
89
- expected_result = File.read(formatted_exp_file)
90
-
91
- expect(result).to eq(expected_result)
92
- end
93
-
94
- it "exports an object with schema head and hyperlink formatter (multiple.exp)" do
95
- exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple.exp")
96
- formatted_exp_file = Expressir.root_path.join("original", "examples", "syntax", "multiple_schema_head_hyperlink_formatted.exp")
97
-
98
- repo = Expressir::ExpressExp::Parser.from_file(exp_file)
99
-
100
- formatter = Class.new(Expressir::ExpressExp::Formatter) do
101
- include Expressir::ExpressExp::SchemaHeadFormatter
102
- include Expressir::ExpressExp::HyperlinkFormatter
103
- end
104
- result = formatter.format(repo)
105
- # File.write(formatted_exp_file, result)
106
- expected_result = File.read(formatted_exp_file)
107
-
108
- expect(result).to eq(expected_result)
109
- end
110
- end
111
- end