expressir 0.2.14 → 0.2.15

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 90636f5b51e37945b5d09af405067c5ef6112b0a102c44b635c090fd131b6079
-  data.tar.gz: dcf949e38b11c0924f155bb5148a9de6aa56fd36462fc661fab7a281c98a06dd
+  metadata.gz: 01b9d48b15ce85744e4c19cbe55752d22744388f738367cd486f2afa2ac10835
+  data.tar.gz: 44fbef691d15a6c0feee280e86aabda10401f6b5d344fc3596cbc7315e816c76
 SHA512:
-  metadata.gz: 7d5a3c69aa4993f017492d0af109bcf28edfa50e4a7456b420d5147640ef02b5cd1622b4c3a44460471b409bd13d65cefae73161233b05f59c31451bd8a33e2d
-  data.tar.gz: d60a953be1fe08916538bb83a6eb0d45c29cf8b008342c821c4d735821a04e03831edbd7c6d9a669fa44e9c7779d31176c39b87c3977d58a643a8ee30240a39c
+  metadata.gz: 8049d49a9c11790c0fb45a3d37e5d8574b18aaf7d3de92b9dd870668bf6131005ff2ce1630d391962dbd6c936ea80d9d6cf95cdca0f6926358640b1ca46e9312
+  data.tar.gz: d90065bbfda420df3dce91ad2b016e14a145d751f70914823f0d5db8b86ff212c0c4ebce20f77d2a6fa85a343d91e172c3094a66a851db6af64d95af9495aa84

data/exe/format

@@ -4,17 +4,24 @@ require "expressir/express_exp/parser"
 require "expressir/express_exp/hyperlink_formatter"
 
 input_files = [
-  '../iso-10303-stepmod/data/resources/action_schema/action_schema_annotated.exp',
-  '../iso-10303-stepmod/data/resources/basic_attribute_schema/basic_attribute_schema_annotated.exp',
-  '../iso-10303-stepmod/data/resources/support_resource_schema/support_resource_schema_annotated.exp',
-  # cyclic reference
+  # basic test
+  # '../iso-10303-stepmod/data/resources/action_schema/action_schema_annotated.exp',
+  # '../iso-10303-stepmod/data/resources/basic_attribute_schema/basic_attribute_schema_annotated.exp',
+  # '../iso-10303-stepmod/data/resources/support_resource_schema/support_resource_schema_annotated.exp',
+  # cyclic reference test
   # '../iso-10303-stepmod/data/resources/product_property_definition_schema/product_property_definition_schema_annotated.exp',
   # '../iso-10303-stepmod/data/resources/product_property_representation_schema/product_property_representation_schema_annotated.exp'
+  # renamed reference test
+  '../iso-10303-stepmod/ballots/ballots/ap210_wg12/express/resources/mathematical_functions_schema.exp',
+  '../iso-10303-stepmod/data/resources/iso13584_expressions_schema/iso13584_expressions_schema.exp',
+  # all valid iso-10303-stepmod files (takes 10 min)
+  # *`bundle exec ../stepmod-utils/exe/stepmod-find-express-files ../iso-10303-stepmod`.strip.split("\n").map{|file| File.exists?(file.sub(/\.exp$/, '_annotated.exp')) ? file.sub(/\.exp$/, '_annotated.exp') : file}
 ]
 
 repo = Expressir::ExpressExp::Parser.from_files(input_files)
-schema = repo.schemas.find{|x| x.id == 'action_schema'}
+# schema = repo.schemas.find{|x| x.id == 'action_schema'}
 # schema = repo.schemas.find{|x| x.id == 'product_property_definition_schema'}
+schema = repo.schemas.find{|x| x.id == 'mathematical_functions_schema'}
 result = Expressir::ExpressExp::HyperlinkFormatter.format(schema)
 
 puts result

data/lib/expressir/express_exp/formatter.rb

@@ -50,12 +50,12 @@ module Expressir
           format_function(node)
         elsif node.is_a? Model::Interface
           format_interface(node)
+        elsif node.is_a? Model::InterfaceItem
+          format_interface_item(node)
         elsif node.is_a? Model::Parameter
           format_parameter(node)
         elsif node.is_a? Model::Procedure
           format_procedure(node)
-        elsif node.is_a? Model::RenamedRef
-          format_renamed_ref(node)
         elsif node.is_a? Model::Repository
           format_repository(node)
         elsif node.is_a? Model::Rule
@@ -419,6 +419,20 @@ module Expressir
         ].join('')
       end
 
+      def format_interface_item(node)
+        [
+          format(node.ref),
+          *if node.id
+            [
+              ' ',
+              'AS',
+              ' ',
+              node.id
+            ]
+          end
+        ].join('')
+      end
+
       def format_parameter(node)
         [
           *if node.var
@@ -495,16 +509,6 @@ module Expressir
         ].join("\n")
       end
 
-      def format_renamed_ref(node)
-        [
-          format(node.ref),
-          ' ',
-          'AS',
-          ' ',
-          node.id
-        ].join('')
-      end
-
       def format_repository(node)
         [
           *if node.schemas and node.schemas.length > 0

data/lib/expressir/express_exp/hyperlink_formatter.rb

@@ -7,7 +7,11 @@ module Expressir
         return node.id if node.parent.is_a? Model::Expressions::AttributeReference
 
         # skip hyperlink if target node can't be found
-        target_node = node.find(node.id)
+        target_node = if node.parent.is_a? Model::InterfaceItem
+          node.find("#{node.parent.parent.schema.id}.#{node.parent.ref.id}")
+        else
+          node.find(node.id)
+        end
         return node.id unless target_node
 
         # skip hyperlink for implicit scopes

data/lib/expressir/express_exp/parser.rb

@@ -42,9 +42,13 @@ module Expressir
       def self.from_files(files)
         schemas = files.map{|file| self.from_file(file).schemas}.flatten
 
-        Model::Repository.new({
+        repo = Model::Repository.new({
           schemas: schemas
         })
+
+        repo.schemas.each{|schema| schema.parent = repo}
+
+        repo
       end
 
       # deprecated

data/lib/expressir/express_exp/visitor.rb

@@ -691,9 +691,9 @@ module Expressir
         expression = visit_if(ctx__expression)
 
         Model::Attribute.new({
-          id: attribute.id,
+          id: attribute.id, # reuse
           kind: Model::Attribute::DERIVED,
-          supertype_attribute: attribute.supertype_attribute,
+          supertype_attribute: attribute.supertype_attribute, # reuse
           type: type,
           expression: expression
         })
@@ -879,9 +879,9 @@ module Expressir
 
         attributes.map do |attribute|
           Model::Attribute.new({
-            id: attribute.id,
+            id: attribute.id, # reuse
             kind: Model::Attribute::EXPLICIT,
-            supertype_attribute: attribute.supertype_attribute,
+            supertype_attribute: attribute.supertype_attribute, # reuse
             optional: optional,
             type: type
           })
@@ -1306,9 +1306,9 @@ module Expressir
         end
 
         Model::Attribute.new({
-          id: attribute.id,
+          id: attribute.id, # reuse
           kind: Model::Attribute::INVERSE,
-          supertype_attribute: attribute.supertype_attribute,
+          supertype_attribute: attribute.supertype_attribute, # reuse
           type: type,
           expression: expression
         })
@@ -1490,14 +1490,10 @@ module Expressir
         ref = visit_if(ctx__named_types)
         id = visit_if(ctx__entity_id || ctx__type_id)
 
-        if id
-          Model::RenamedRef.new({
-            ref: ref,
-            id: id
-          })
-        else
-          ref
-        end
+        Model::InterfaceItem.new({
+          ref: ref,
+          id: id
+        })
       end
 
       def visit_null_stmt(ctx)
@@ -1674,9 +1670,9 @@ module Expressir
             ref: Model::Expressions::SimpleReference.new({
               id: id
             }),
-            entity: group_reference.entity
+            entity: group_reference.entity # reuse
           }),
-          attribute: attribute_reference.attribute
+          attribute: attribute_reference.attribute # reuse
         })
       end
 
@@ -1844,14 +1840,10 @@ module Expressir
         ref = visit_if(ctx__resource_ref)
         id = visit_if(ctx__rename_id)
 
-        if id
-          Model::RenamedRef.new({
-            ref: ref,
-            id: id
-          })
-        else
-          ref
-        end
+        Model::InterfaceItem.new({
+          ref: ref,
+          id: id
+        })
       end
 
       def visit_resource_ref(ctx)

data/lib/expressir/model.rb

@@ -9,9 +9,10 @@ require 'expressir/model/enumeration_item'
 require 'expressir/model/function'
 require 'expressir/model/informal_proposition'
 require 'expressir/model/interface'
+require 'expressir/model/interface_item'
+require 'expressir/model/interfaced_item'
 require 'expressir/model/parameter'
 require 'expressir/model/procedure'
-require 'expressir/model/renamed_ref'
 require 'expressir/model/repository'
 require 'expressir/model/rule'
 require 'expressir/model/schema'

data/lib/expressir/model/function.rb

@@ -37,7 +37,7 @@ module Expressir
         items = []
         items.push(*@parameters)
         items.push(*@types)
-        items.push(*@types.flat_map{|x| x.type.is_a?(Expressir::Model::Types::Enumeration) ? x.type.items : []})
+        items.push(*@types.flat_map{|x| x.type.is_a?(Types::Enumeration) ? x.type.items : []})
         items.push(*@entities)
         items.push(*@subtype_constraints)
         items.push(*@functions)

data/lib/expressir/model/{renamed_ref.rb → interface_item.rb}

@@ -1,11 +1,11 @@
 module Expressir
   module Model
-    class RenamedRef < ModelElement
+    class InterfaceItem < ModelElement
       attr_accessor :ref
       attr_accessor :id
 
       def initialize(options = {})
-        @ref = options[:ref]
+        @ref = options[:ref] 
         @id = options[:id]
 
         super

data/lib/expressir/model/interfaced_item.rb

@@ -0,0 +1,23 @@
+module Expressir
+  module Model
+    class InterfacedItem < ModelElement
+      include Identifier
+
+      attr_accessor :base_item
+
+      def initialize(options = {})
+        @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
+
+        @base_item = options[:base_item]
+
+        super
+      end
+
+      def path
+        base_item.path
+      end
+    end
+  end
+end

data/lib/expressir/model/procedure.rb

@@ -35,7 +35,7 @@ module Expressir
         items = []
         items.push(*@parameters)
         items.push(*@types)
-        items.push(*@types.flat_map{|x| x.type.is_a?(Expressir::Model::Types::Enumeration) ? x.type.items : []})
+        items.push(*@types.flat_map{|x| x.type.is_a?(Types::Enumeration) ? x.type.items : []})
         items.push(*@entities)
         items.push(*@subtype_constraints)
         items.push(*@functions)

data/lib/expressir/model/rule.rb

@@ -38,7 +38,7 @@ module Expressir
       def children
         items = []
         items.push(*@types)
-        items.push(*@types.flat_map{|x| x.type.is_a?(Expressir::Model::Types::Enumeration) ? x.type.items : []})
+        items.push(*@types.flat_map{|x| x.type.is_a?(Types::Enumeration) ? x.type.items : []})
         items.push(*@entities)
         items.push(*@subtype_constraints)
         items.push(*@functions)

data/lib/expressir/model/schema.rb

@@ -38,30 +38,53 @@ module Expressir
         super
       end
 
-      def children(item_ids = nil)
+      def children(skip_references = false)
         items = []
-        unless item_ids and item_ids.length > 0
+        unless skip_references
           items.push(*@interfaces.flat_map do |interface|
-            schema = parent.schemas.find{|y| interface.schema.id == y.id}
-            interface_item_ids = if interface.items
-              # TODO: support renamed references
-              interface.items.select{|x| x.is_a? Model::Expressions::SimpleReference}.map{|x| x.id}
+            schema_id = interface.schema.id.downcase
+            schema = parent.schemas.find{|x| x.id.downcase == schema_id}
+            if schema
+              schema_children = schema.children(true) # prevent infinite recursion
+              if interface.items.length > 0
+                interface.items.map do |item|
+                  ref_id = item.ref.id.downcase
+                  id = item.id || ref_id
+                  base_item = schema_children.find{|x| x.id and x.id.downcase == ref_id}
+
+                  interfaced_item = InterfacedItem.new({
+                    id: id
+                  })
+                  interfaced_item.base_item = base_item # skip overriding parent
+                  interfaced_item.parent = self
+                  interfaced_item
+                end
+              else
+                schema_children.map do |item|
+                  id = item.id
+                  base_item = item
+
+                  interfaced_item = InterfacedItem.new({
+                    id: id
+                  })
+                  interfaced_item.base_item = base_item # skip overriding parent
+                  interfaced_item.parent = self
+                  interfaced_item
+                end
+              end
+            else
+              []
             end
-            schema_items = schema&.children(interface_item_ids) || []
-            schema_items
           end)
         end
         items.push(*@constants)
         items.push(*@types)
-        items.push(*@types.flat_map{|x| x.type.is_a?(Expressir::Model::Types::Enumeration) ? x.type.items : []})
+        items.push(*@types.flat_map{|x| x.type.is_a?(Types::Enumeration) ? x.type.items : []})
         items.push(*@entities)
         items.push(*@subtype_constraints)
         items.push(*@functions)
         items.push(*@procedures)
         items.push(*@rules)
-        if item_ids and item_ids.length > 0
-          items = items.select{|x| item_ids.include?(x.id)}
-        end
         items
       end
     end

data/lib/expressir/model/type.rb

@@ -21,7 +21,7 @@ module Expressir
 
       def children
         items = []
-        items.push(*@type.is_a?(Expressir::Model::Types::Enumeration) ? @type.items : [])
+        items.push(*@type.is_a?(Types::Enumeration) ? @type.items : [])
         items.push(*@where)
         items.push(*@informal_propositions)
         items

data/lib/expressir/version.rb

@@ -1,3 +1,3 @@
 module Expressir
-  VERSION = "0.2.14".freeze
+  VERSION = "0.2.15".freeze
 end

data/original/examples/syntax/hyperlink.exp

@@ -1,8 +1,23 @@
 SCHEMA hyperlink_schema;
+REFERENCE FROM hyperlink_schema2;
+REFERENCE FROM hyperlink_schema3 (attribute_entity3);
+REFERENCE FROM hyperlink_schema4 (attribute_entity AS attribute_entity4);
 ENTITY test; END_ENTITY;
 ENTITY empty_entity; END_ENTITY;
 ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
 ENTITY subtype_empty_entity SUBTYPE OF (empty_entity); END_ENTITY;
 ENTITY subtype_attribute_entity SUBTYPE OF (attribute_entity); SELF\attribute_entity.test : BOOLEAN; END_ENTITY;
+ENTITY subtype_attribute_entity2 SUBTYPE OF (attribute_entity2); SELF\attribute_entity2.test : BOOLEAN; END_ENTITY;
+ENTITY subtype_attribute_entity3 SUBTYPE OF (attribute_entity3); SELF\attribute_entity3.test : BOOLEAN; END_ENTITY;
+ENTITY subtype_attribute_entity4 SUBTYPE OF (attribute_entity4); SELF\attribute_entity4.test : BOOLEAN; END_ENTITY;
 ENTITY subtype_missing_entity SUBTYPE OF (missing_entity); END_ENTITY;
 END_SCHEMA;
+SCHEMA hyperlink_schema2;
+ENTITY attribute_entity2; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;
+SCHEMA hyperlink_schema3;
+ENTITY attribute_entity3; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;
+SCHEMA hyperlink_schema4;
+ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;

data/original/examples/syntax/hyperlink_formatted.exp

@@ -1,4 +1,9 @@
 SCHEMA hyperlink_schema;
+REFERENCE FROM {{{<<express:hyperlink_schema2,hyperlink_schema2>>}}};
+REFERENCE FROM {{{<<express:hyperlink_schema3,hyperlink_schema3>>}}}
+  ({{{<<express:hyperlink_schema3.attribute_entity3,attribute_entity3>>}}});
+REFERENCE FROM {{{<<express:hyperlink_schema4,hyperlink_schema4>>}}}
+  ({{{<<express:hyperlink_schema4.attribute_entity,attribute_entity>>}}} AS attribute_entity4);
 ENTITY test;
 END_ENTITY;
 ENTITY empty_entity;
@@ -13,7 +18,34 @@ ENTITY subtype_attribute_entity
   SUBTYPE OF ({{{<<express:hyperlink_schema.attribute_entity,attribute_entity>>}}});
   SELF\{{{<<express:hyperlink_schema.attribute_entity,attribute_entity>>}}}.test : BOOLEAN;
 END_ENTITY;
+ENTITY subtype_attribute_entity2
+  SUBTYPE OF ({{{<<express:hyperlink_schema2.attribute_entity2,attribute_entity2>>}}});
+  SELF\{{{<<express:hyperlink_schema2.attribute_entity2,attribute_entity2>>}}}.test : BOOLEAN;
+END_ENTITY;
+ENTITY subtype_attribute_entity3
+  SUBTYPE OF ({{{<<express:hyperlink_schema3.attribute_entity3,attribute_entity3>>}}});
+  SELF\{{{<<express:hyperlink_schema3.attribute_entity3,attribute_entity3>>}}}.test : BOOLEAN;
+END_ENTITY;
+ENTITY subtype_attribute_entity4
+  SUBTYPE OF ({{{<<express:hyperlink_schema4.attribute_entity,attribute_entity4>>}}});
+  SELF\{{{<<express:hyperlink_schema4.attribute_entity,attribute_entity4>>}}}.test : BOOLEAN;
+END_ENTITY;
 ENTITY subtype_missing_entity
   SUBTYPE OF (missing_entity);
 END_ENTITY;
+END_SCHEMA;
+SCHEMA hyperlink_schema2;
+ENTITY attribute_entity2;
+  test : BOOLEAN;
+END_ENTITY;
+END_SCHEMA;
+SCHEMA hyperlink_schema3;
+ENTITY attribute_entity3;
+  test : BOOLEAN;
+END_ENTITY;
+END_SCHEMA;
+SCHEMA hyperlink_schema4;
+ENTITY attribute_entity;
+  test : BOOLEAN;
+END_ENTITY;
 END_SCHEMA;

data/spec/expressir/express_exp/parser/syntax_spec.rb

@@ -36,8 +36,9 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(1)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[0].id).to eq("contract")
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[0].ref.id).to eq("contract")
       end
 
       interfaces[2].tap do |x|
@@ -47,10 +48,12 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(2)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[0].id).to eq("contract")
-        expect(x.items[1]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[1].id).to eq("contract2")
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[0].ref.id).to eq("contract")
+        expect(x.items[1]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[1].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[1].ref.id).to eq("contract2")
       end
 
       interfaces[3].tap do |x|
@@ -60,10 +63,10 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(1)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::RenamedRef)
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].id).to eq("contract2")
         expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
         expect(x.items[0].ref.id).to eq("contract")
-        expect(x.items[0].id).to eq("contract2")
       end
 
       interfaces[4].tap do |x|
@@ -80,8 +83,9 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(1)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[0].id).to eq("contract")
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[0].ref.id).to eq("contract")
       end
 
       interfaces[6].tap do |x|
@@ -91,10 +95,12 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(2)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[0].id).to eq("contract")
-        expect(x.items[1]).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
-        expect(x.items[1].id).to eq("contract2")
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[0].ref.id).to eq("contract")
+        expect(x.items[1]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[1].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
+        expect(x.items[1].ref.id).to eq("contract2")
       end
 
       interfaces[7].tap do |x|
@@ -104,10 +110,10 @@ RSpec.describe Expressir::ExpressExp::Parser do
         expect(x.schema.id).to eq("contract_schema")
         expect(x.items).to be_instance_of(Array)
         expect(x.items.count).to eq(1)
-        expect(x.items[0]).to be_instance_of(Expressir::Model::RenamedRef)
+        expect(x.items[0]).to be_instance_of(Expressir::Model::InterfaceItem)
+        expect(x.items[0].id).to eq("contract2")
         expect(x.items[0].ref).to be_instance_of(Expressir::Model::Expressions::SimpleReference)
         expect(x.items[0].ref.id).to eq("contract")
-        expect(x.items[0].id).to eq("contract2")
       end
 
       # constants

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 0.2.14
+  version: 0.2.15
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-02-26 00:00:00.000000000 Z
+date: 2021-03-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri
@@ -595,6 +595,8 @@ files:
 - lib/expressir/model/identifier.rb
 - lib/expressir/model/informal_proposition.rb
 - lib/expressir/model/interface.rb
+- lib/expressir/model/interface_item.rb
+- lib/expressir/model/interfaced_item.rb
 - lib/expressir/model/literals/binary.rb
 - lib/expressir/model/literals/integer.rb
 - lib/expressir/model/literals/logical.rb
@@ -603,7 +605,6 @@ files:
 - lib/expressir/model/model_element.rb
 - lib/expressir/model/parameter.rb
 - lib/expressir/model/procedure.rb
-- lib/expressir/model/renamed_ref.rb
 - lib/expressir/model/repository.rb
 - lib/expressir/model/rule.rb
 - lib/expressir/model/schema.rb