expressir 0.1.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +7 -0
- data/.github/workflows/macos.yml +38 -0
- data/.github/workflows/ubuntu.yml +56 -0
- data/.github/workflows/windows.yml +40 -0
- data/.gitignore +12 -0
- data/.rspec +2 -0
- data/.rubocop.yml +508 -0
- data/Gemfile +4 -0
- data/README.adoc +147 -0
- data/Rakefile +6 -0
- data/bin/console +12 -0
- data/bin/rspec +29 -0
- data/bin/setup +8 -0
- data/docs/development.md +90 -0
- data/exe/expressir +20 -0
- data/expressir.gemspec +35 -0
- data/lib/expressir.rb +21 -0
- data/lib/expressir/cli.rb +27 -0
- data/lib/expressir/cli/ui.rb +36 -0
- data/lib/expressir/config.rb +23 -0
- data/lib/expressir/express.rb +12 -0
- data/lib/expressir/express/aggregate_dimension.rb +38 -0
- data/lib/expressir/express/attribute.rb +15 -0
- data/lib/expressir/express/comment.rb +7 -0
- data/lib/expressir/express/defined_type.rb +36 -0
- data/lib/expressir/express/derived.rb +65 -0
- data/lib/expressir/express/derived_aggregate.rb +43 -0
- data/lib/expressir/express/entity.rb +137 -0
- data/lib/expressir/express/explicit.rb +70 -0
- data/lib/expressir/express/explicit_aggregate.rb +46 -0
- data/lib/expressir/express/explicit_or_derived.rb +16 -0
- data/lib/expressir/express/global_rule.rb +44 -0
- data/lib/expressir/express/interface_specification.rb +51 -0
- data/lib/expressir/express/interfaced_item.rb +38 -0
- data/lib/expressir/express/inverse.rb +46 -0
- data/lib/expressir/express/inverse_aggregate.rb +37 -0
- data/lib/expressir/express/model_element.rb +7 -0
- data/lib/expressir/express/named_type.rb +19 -0
- data/lib/expressir/express/remark.rb +8 -0
- data/lib/expressir/express/repository.rb +306 -0
- data/lib/expressir/express/schema_definition.rb +96 -0
- data/lib/expressir/express/subtype_constraint.rb +14 -0
- data/lib/expressir/express/type.rb +26 -0
- data/lib/expressir/express/type_aggregate.rb +42 -0
- data/lib/expressir/express/type_enum.rb +29 -0
- data/lib/expressir/express/type_parser.rb +45 -0
- data/lib/expressir/express/type_select.rb +82 -0
- data/lib/expressir/express/unique_rule.rb +35 -0
- data/lib/expressir/express/where_rule.rb +32 -0
- data/lib/expressir/express_parser.rb +30 -0
- data/lib/expressir/parser.rb +6 -0
- data/lib/expressir/parser/owl_parser.rb +8 -0
- data/lib/expressir/version.rb +3 -0
- data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.exp +9589 -0
- data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.owl +36619 -0
- data/original/examples/ap233/ap233e1_arm_lf_stepmod-2010-11-12.xml +13294 -0
- data/original/examples/employment/eclipse/.project +17 -0
- data/original/examples/employment/eclipse/Export/Employment.png +0 -0
- data/original/examples/employment/eclipse/Express/employment_schema.exp +33 -0
- data/original/examples/employment/eclipse/Express/employment_schema.xmi +77 -0
- data/original/examples/employment/eclipse/Express/employment_schema.xml +93 -0
- data/original/examples/employment/eclipse/Models/Employment.uml +4 -0
- data/original/examples/employment/eclipse/Models/Employment.umldi +240 -0
- data/original/examples/employment/eclipse/readme.txt +7 -0
- data/original/examples/employment/employment_schema.exp +33 -0
- data/original/examples/employment/employment_schema.rb +232 -0
- data/original/examples/employment/employment_schema.xml +93 -0
- data/original/examples/employment/employment_schema___module.rb +46 -0
- data/original/examples/employment/employment_schema___p28attr.rb +126 -0
- data/original/examples/employment/employment_schema___p28inst.rb +26 -0
- data/original/examples/employment/example_employment_data.xml +1 -0
- data/original/examples/employment/example_employment_data_copy.xml +1 -0
- data/original/examples/employment/example_employment_reader.rb +30 -0
- data/original/examples/employment/example_employment_writer.rb +51 -0
- data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.exp +3710 -0
- data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.owl +35880 -0
- data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xmi +15357 -0
- data/original/examples/plcs/ap239e1_arm_lf_dexlib_2010-01-06.xml +9468 -0
- data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.exp +8404 -0
- data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.owl +43147 -0
- data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xmi +18341 -0
- data/original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xml +11632 -0
- data/original/exp2ruby.rb +525 -0
- data/original/expsm.rb +34 -0
- data/original/mapping_owl.rb +1018 -0
- data/original/mapping_sysml.rb +2281 -0
- data/original/mapping_uml2.rb +599 -0
- data/original/mapping_uml2_eclipse.rb +433 -0
- data/original/reeper.rb +134 -0
- data/spec/acceptance/express_to_owl_spec.rb +18 -0
- data/spec/acceptance/version_spec.rb +12 -0
- data/spec/expressir/express/repository_spec.rb +25 -0
- data/spec/expressr_spec.rb +5 -0
- data/spec/spec_helper.rb +17 -0
- data/spec/support/console_helper.rb +29 -0
- 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
|