expressir 0.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (96) hide show
  1. checksums.yaml +7 -0
  2. data/.github/workflows/macos.yml +38 -0
  3. data/.github/workflows/ubuntu.yml +56 -0
  4. data/.github/workflows/windows.yml +40 -0
  5. data/.gitignore +12 -0
  6. data/.rspec +2 -0
  7. data/.rubocop.yml +508 -0
  8. data/Gemfile +4 -0
  9. data/README.adoc +147 -0
  10. data/Rakefile +6 -0
  11. data/bin/console +12 -0
  12. data/bin/rspec +29 -0
  13. data/bin/setup +8 -0
  14. data/docs/development.md +90 -0
  15. data/exe/expressir +20 -0
  16. data/expressir.gemspec +35 -0
  17. data/lib/expressir.rb +21 -0
  18. data/lib/expressir/cli.rb +27 -0
  19. data/lib/expressir/cli/ui.rb +36 -0
  20. data/lib/expressir/config.rb +23 -0
  21. data/lib/expressir/express.rb +12 -0
  22. data/lib/expressir/express/aggregate_dimension.rb +38 -0
  23. data/lib/expressir/express/attribute.rb +15 -0
  24. data/lib/expressir/express/comment.rb +7 -0
  25. data/lib/expressir/express/defined_type.rb +36 -0
  26. data/lib/expressir/express/derived.rb +65 -0
  27. data/lib/expressir/express/derived_aggregate.rb +43 -0
  28. data/lib/expressir/express/entity.rb +137 -0
  29. data/lib/expressir/express/explicit.rb +70 -0
  30. data/lib/expressir/express/explicit_aggregate.rb +46 -0
  31. data/lib/expressir/express/explicit_or_derived.rb +16 -0
  32. data/lib/expressir/express/global_rule.rb +44 -0
  33. data/lib/expressir/express/interface_specification.rb +51 -0
  34. data/lib/expressir/express/interfaced_item.rb +38 -0
  35. data/lib/expressir/express/inverse.rb +46 -0
  36. data/lib/expressir/express/inverse_aggregate.rb +37 -0
  37. data/lib/expressir/express/model_element.rb +7 -0
  38. data/lib/expressir/express/named_type.rb +19 -0
  39. data/lib/expressir/express/remark.rb +8 -0
  40. data/lib/expressir/express/repository.rb +306 -0
  41. data/lib/expressir/express/schema_definition.rb +96 -0
  42. data/lib/expressir/express/subtype_constraint.rb +14 -0
  43. data/lib/expressir/express/type.rb +26 -0
  44. data/lib/expressir/express/type_aggregate.rb +42 -0
  45. data/lib/expressir/express/type_enum.rb +29 -0
  46. data/lib/expressir/express/type_parser.rb +45 -0
  47. data/lib/expressir/express/type_select.rb +82 -0
  48. data/lib/expressir/express/unique_rule.rb +35 -0
  49. data/lib/expressir/express/where_rule.rb +32 -0
  50. data/lib/expressir/express_parser.rb +30 -0
  51. data/lib/expressir/parser.rb +6 -0
  52. data/lib/expressir/parser/owl_parser.rb +8 -0
  53. data/lib/expressir/version.rb +3 -0
  54. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.exp +9589 -0
  55. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.owl +36619 -0
  56. data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.xml +13294 -0
  57. data/original/examples/employment/eclipse/.project +17 -0
  58. data/original/examples/employment/eclipse/Export/Employment.png +0 -0
  59. data/original/examples/employment/eclipse/Express/employment_schema.exp +33 -0
  60. data/original/examples/employment/eclipse/Express/employment_schema.xmi +77 -0
  61. data/original/examples/employment/eclipse/Express/employment_schema.xml +93 -0
  62. data/original/examples/employment/eclipse/Models/Employment.uml +4 -0
  63. data/original/examples/employment/eclipse/Models/Employment.umldi +240 -0
  64. data/original/examples/employment/eclipse/readme.txt +7 -0
  65. data/original/examples/employment/employment_schema.exp +33 -0
  66. data/original/examples/employment/employment_schema.rb +232 -0
  67. data/original/examples/employment/employment_schema.xml +93 -0
  68. data/original/examples/employment/employment_schema___module.rb +46 -0
  69. data/original/examples/employment/employment_schema___p28attr.rb +126 -0
  70. data/original/examples/employment/employment_schema___p28inst.rb +26 -0
  71. data/original/examples/employment/example_employment_data.xml +1 -0
  72. data/original/examples/employment/example_employment_data_copy.xml +1 -0
  73. data/original/examples/employment/example_employment_reader.rb +30 -0
  74. data/original/examples/employment/example_employment_writer.rb +51 -0
  75. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.exp +3710 -0
  76. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.owl +35880 -0
  77. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xmi +15357 -0
  78. data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xml +9468 -0
  79. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.exp +8404 -0
  80. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.owl +43147 -0
  81. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xmi +18341 -0
  82. data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xml +11632 -0
  83. data/original/exp2ruby.rb +525 -0
  84. data/original/expsm.rb +34 -0
  85. data/original/mapping_owl.rb +1018 -0
  86. data/original/mapping_sysml.rb +2281 -0
  87. data/original/mapping_uml2.rb +599 -0
  88. data/original/mapping_uml2_eclipse.rb +433 -0
  89. data/original/reeper.rb +134 -0
  90. data/spec/acceptance/express_to_owl_spec.rb +18 -0
  91. data/spec/acceptance/version_spec.rb +12 -0
  92. data/spec/expressir/express/repository_spec.rb +25 -0
  93. data/spec/expressr_spec.rb +5 -0
  94. data/spec/spec_helper.rb +17 -0
  95. data/spec/support/console_helper.rb +29 -0
  96. metadata +239 -0
@@ -0,0 +1,96 @@
1
+ require "expressir/express/entity"
2
+ require "expressir/express/type_parser"
3
+ require "expressir/express/global_rule"
4
+
5
+ module Expressir
6
+ module Express
7
+ class SchemaDefinition < ModelElement
8
+ attr_accessor :contents, :name, :identification, :all_schema_array
9
+
10
+ def initialize(document = {})
11
+ @document = document
12
+ @all_schema_array = []
13
+
14
+ extract_attributes(@document)
15
+ end
16
+
17
+ # @todo Existing Code
18
+ #
19
+ # Please revisit this soon, and check if this is necessary
20
+ # after our recent restrucutre, if not then delegate this
21
+ # behavior to the respective instanace.
22
+ #
23
+ def find_namedtype_by_name(typename)
24
+ ## search current schema and interfaced item aliases
25
+ nt = contents.detect do |t|
26
+ t.is_a?(Express::NamedType) && t.name == typename
27
+ end
28
+
29
+ if nt != nil
30
+ return nt
31
+ end
32
+
33
+ for schema in self.all_schema_array
34
+ ## search all interfaced schemas
35
+ nt = schema.contents.detect do |t|
36
+ t.is_a?(Express::NamedType) && t.name == typename
37
+ end
38
+
39
+ if nt != nil
40
+ return nt
41
+ end
42
+ end
43
+
44
+ Expressir.ui.info("*** NOT HERE " + typename + " IN " + self.name)
45
+ Expressir.ui.info("*** SEARCHED " + all_schema_array.size.to_s + " SCHEMAS:")
46
+
47
+ all_schema_array.each do |schema|
48
+ Expressir.ui.info(" - " + schema.name)
49
+ end
50
+
51
+ nil
52
+ end
53
+
54
+ private
55
+
56
+ def extract_attributes(document)
57
+ @name = document.attributes["name"].to_s
58
+
59
+ contents = extract_interfaces(document)
60
+ contents += extract_entities(document)
61
+ contents += extract_types(document)
62
+ contents += extract_rules(document)
63
+
64
+ @contents = contents.flatten
65
+ end
66
+
67
+ # todo: current version does not contain any interface, so we need
68
+ # a solid example to test out this funcitonaality. But keeping it
69
+ # pending for now, let's revisit soon.
70
+ #
71
+ def extract_interfaces(document)
72
+ document.xpath("interface").map do |interface|
73
+ InterfaceSpecification.parse(interface, name)
74
+ end
75
+ end
76
+
77
+ def extract_entities(document)
78
+ document.xpath("//entity").map do |entity|
79
+ Express::Entity.parse(entity, name)
80
+ end
81
+ end
82
+
83
+ def extract_types(document)
84
+ document.xpath("type").map do |type_document|
85
+ Express::TypeParser.parse(type_document, name)
86
+ end
87
+ end
88
+
89
+ def extract_rules(document)
90
+ document.xpath("rule").map do |rule|
91
+ Express::GlobalRule.parse(rule, name)
92
+ end
93
+ end
94
+ end
95
+ end
96
+ end
@@ -0,0 +1,14 @@
1
+ require "expressir/express/model_element"
2
+
3
+ module Expressir
4
+ module Express
5
+ class SubtypeConstraint < ModelElement
6
+ attr_accessor :name, :entity, :isAbs, :totalover, :expression
7
+
8
+ def initialize
9
+ @isAbs = false
10
+ @totalover = nil
11
+ end
12
+ end
13
+ end
14
+ end
@@ -0,0 +1,26 @@
1
+ require "expressir/express/defined_type"
2
+
3
+ module Expressir
4
+ module Express
5
+ class Type < DefinedType
6
+ attr_accessor :isBuiltin, :domain, :isFixed, :width, :precision
7
+
8
+ def initialize(options = {})
9
+ @isBuiltin = false
10
+ @isFixed = false
11
+ @width = nil
12
+ @precision = nil
13
+ @wheres = []
14
+ @selectedBy = []
15
+
16
+ super(options)
17
+ end
18
+
19
+ private
20
+
21
+ def extract_type_attributes(document)
22
+ super(document)
23
+ end
24
+ end
25
+ end
26
+ end
@@ -0,0 +1,42 @@
1
+ require "expressir/express/type"
2
+
3
+ module Expressir
4
+ module Express
5
+ class TypeAggregate < Type
6
+ attr_accessor :rank, :dimensions
7
+ def initialize(options = {})
8
+ @rank = 0
9
+ @dimensions = []
10
+ @wheres = []
11
+ @selectedBy = []
12
+
13
+ super(options)
14
+ end
15
+
16
+ private
17
+
18
+ def extract_type_attributes(document)
19
+ @name = document.first.attributes["name"].to_s
20
+ @dimensions = document.map do |aggregate|
21
+ Express::AggregateDimension.parse(aggregate)
22
+ end
23
+
24
+ @rank = @dimensions.size
25
+ extract_builtintype_attributes(document)
26
+ end
27
+
28
+ def extract_builtintype_attributes(document)
29
+ builtin_type = document.xpath("builtintype").first
30
+
31
+ if builtin_type
32
+ @isBuiltin = true
33
+ @domain = builtin_type.attributes["type"].to_s
34
+ @width = builtin_type.attributes["width"].to_s
35
+ @fixed = builtin_type.attributes["fixed"] == "YES"
36
+ @precision = builtin_type.attributes["precision"].to_s
37
+ end
38
+ end
39
+ end
40
+ end
41
+ end
42
+
@@ -0,0 +1,29 @@
1
+ require "expressir/express/defined_type"
2
+
3
+ module Expressir
4
+ module Express
5
+ class TypeEnum < DefinedType
6
+ attr_accessor :items_array, :items, :extends, :extends_item,
7
+ :isExtensible, :allitems, :isBuiltin
8
+
9
+ def initialize(options = {})
10
+ @isBuiltin = false
11
+ @selectedBy = []
12
+
13
+ super(options)
14
+ end
15
+
16
+ private
17
+
18
+ def extract_type_attributes(document)
19
+ if document.class == Nokogiri::XML::NodeSet
20
+ document = document.first
21
+ end
22
+
23
+ @items = document.attributes["items"]
24
+ @items_array = items.to_s.scan(/\w+/)
25
+ super(document)
26
+ end
27
+ end
28
+ end
29
+ end
@@ -0,0 +1,45 @@
1
+ require "expressir/express/type_enum"
2
+ require "expressir/express/type_select"
3
+ require "expressir/express/type_aggregate"
4
+
5
+ module Expressir
6
+ module Express
7
+ class TypeParser
8
+ def initialize(options = {})
9
+ @options = options
10
+ @schema = options.fetch(:schema, nil)
11
+ end
12
+
13
+ def parse
14
+ document = @options.fetch(:document, nil)
15
+ extract_attributes(document) if document
16
+ end
17
+
18
+ def self.parse(document, schema)
19
+ new(document: document, schema: schema).parse
20
+ end
21
+
22
+ private
23
+
24
+ def extract_attributes(document)
25
+ document_with_klass = document_with_klass(document)
26
+ document_with_klass[:cls].parse(document_with_klass[:document], @schema)
27
+ end
28
+
29
+ def document_with_klass(document)
30
+ if !document.xpath("select").empty?
31
+ { document: document.xpath("select"), cls: Express::TypeSelect }
32
+
33
+ elsif !document.xpath("enumeration").empty?
34
+ { document: document.xpath("enumeration"), cls: Express::TypeEnum }
35
+
36
+ elsif !document.xpath("aggregate").empty?
37
+ { document: document.xpath("aggregate"), cls: Express::TypeAggregate }
38
+
39
+ else
40
+ { document: document, cls: Express::Type }
41
+ end
42
+ end
43
+ end
44
+ end
45
+ end
@@ -0,0 +1,82 @@
1
+ require "expressir/express/defined_type"
2
+
3
+ module Expressir
4
+ module Express
5
+ class TypeSelect < DefinedType
6
+ attr_accessor :selectitems_array, :selectitems, :extends, :extends_item,
7
+ :isExtensible, :selectitems_all, :isGenericEntity, :isBuiltin,
8
+ :cleaned_select_items
9
+
10
+ def initialize(options = {})
11
+ @isBuiltin = false
12
+ @isExtensible = false
13
+ @isGenericEntity = false
14
+ @selectitems = nil
15
+ @selectitems_array = []
16
+ @cleaned_select_items = nil
17
+ @wheres = []
18
+ @selectedBy = []
19
+
20
+ super(options)
21
+ end
22
+
23
+ ##
24
+ # set cleaned_select_items = process select removing unnecessary
25
+ # entity types (i.e. if supertype is there)
26
+ #
27
+ def clean_select_items
28
+ @cleaned_select_items = ""
29
+
30
+ if selectitems != nil
31
+ itemname_list = selectitems.scan(/\w+/)
32
+ dupitem_list = []
33
+ for itemname in itemname_list
34
+ itemptr = schema.find_namedtype_by_name( itemname )
35
+
36
+ if itemptr.kind_of? EXPSM::Entity
37
+
38
+ for itemname2 in itemname_list
39
+ thetype = schema.find_namedtype_by_name( itemname2 )
40
+
41
+ if thetype != nil
42
+ if itemptr.supertypes_all != nil &&
43
+ itemptr.supertypes_all.include?(thetype.name)
44
+
45
+ dupitem_list.push itemname
46
+ end
47
+ end
48
+ end
49
+ end
50
+ end
51
+
52
+ itemname_list.each do |itemname|
53
+ if !dupitem_list.include? itemname
54
+ @cleaned_select_items = @cleaned_select_items + " " + itemname
55
+ end
56
+ end
57
+
58
+ @cleaned_select_items = @cleaned_select_items.lstrip
59
+ end
60
+ end
61
+
62
+ private
63
+
64
+ def extract_type_attributes(document)
65
+ if document.class == Nokogiri::XML::NodeSet
66
+ document = document.first
67
+ end
68
+
69
+ @selectitems = document.attributes["selectitems"]
70
+ @extends = document.attributes["basedon"]
71
+ @isExtensible = document.attributes["extensible"] == "YES"
72
+ @isGenericEntity = document.attributes["genericentity"] == "YES"
73
+
74
+ if isExtensible
75
+ @selectitems_all = selectitems
76
+ end
77
+
78
+ super(document)
79
+ end
80
+ end
81
+ end
82
+ end
@@ -0,0 +1,35 @@
1
+ require "expressir/express/model_element"
2
+
3
+ module Expressir
4
+ module Express
5
+ class UniqueRule < ModelElement
6
+ attr_accessor :name, :attributes
7
+
8
+ def initialize(options)
9
+ @name = nil
10
+ @attributes = []
11
+ @options = options
12
+ end
13
+
14
+ def parse
15
+ document = @options.fetch(:document, nil)
16
+ extract_unique_attributes(document)
17
+
18
+ self
19
+ end
20
+
21
+ def self.parse(document)
22
+ new(document: document).parse
23
+ end
24
+
25
+ private
26
+
27
+ def extract_unique_attributes(document)
28
+ @name = document.attributes["label"].to_s
29
+ @attributes = document.xpath("unique.attribute").map do |attribute|
30
+ attribute.attributes["attribute"]
31
+ end
32
+ end
33
+ end
34
+ end
35
+ end
@@ -0,0 +1,32 @@
1
+ require "expressir/express/model_element"
2
+
3
+ module Expressir
4
+ module Express
5
+ class WhereRule < ModelElement
6
+ attr_accessor :name, :expression
7
+
8
+ def initialize(options = {})
9
+ @name = nil
10
+ @options = options
11
+ end
12
+
13
+ def parse
14
+ document = @options.fetch(:where, nil)
15
+ extract_where_attributes(document) if document
16
+
17
+ self
18
+ end
19
+
20
+ def self.parse(document)
21
+ new(document: document).parse
22
+ end
23
+
24
+ private
25
+
26
+ def extract_where_attributes(document)
27
+ @name = document.attributes["label"].to_s
28
+ @expression = document.attributes["expression"]
29
+ end
30
+ end
31
+ end
32
+ end
@@ -0,0 +1,30 @@
1
+ require "expressir/parser"
2
+
3
+ module Expressir
4
+ class ExpressParser
5
+ def initialize(file, options)
6
+ @file = file
7
+ @options = options
8
+ end
9
+
10
+ def to_owl
11
+ owl_parser.parse(express_xml, options)
12
+ end
13
+
14
+ def self.to_owl(file, **options)
15
+ new(file, options).to_owl
16
+ end
17
+
18
+ private
19
+
20
+ attr_reader :file, :options
21
+
22
+ def owl_parser
23
+ Expressir::Parser::OwlParser
24
+ end
25
+
26
+ def express_xml
27
+ Expressir::Express.from_xml(file)
28
+ end
29
+ end
30
+ end
@@ -0,0 +1,6 @@
1
+ require "expressir/parser/owl_parser"
2
+
3
+ module Expressir
4
+ module Parser
5
+ end
6
+ end