expressir 0.2.11-x86-linux → 0.2.12-x86-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5961c268267212e63da6edff1351ef7c9d8d3b52dc1d99d0d4843d7a92123078
-  data.tar.gz: 7b5365059b79b01fa2e46562f39d494f12236ba237745ccbff44bd9477f2e1bc
+  metadata.gz: 432faff204670f985cc301c087b0c9da0c689b08f0a848a95fc3e3f95fc6b7b4
+  data.tar.gz: 59403e704f248d53d94663a8ece3d6a7650f895e8edd416983701e0b91f42f4b
 SHA512:
-  metadata.gz: 93e0a0f3eb42f0570c1d075d22747d414321037a90f61e9ed96515eb41b4177ff19cace1429b348a36be57ed1c91e6d1e707ec68fcbe436d228f3f894247d58e
-  data.tar.gz: 18e429434ac5546908c84cc3d4713dfbe8d9af6f8dca2e03a50cb135f47242451e8f954240d75c0bca159634b6491767703b103b20b9f424be385c324c2d63a2
+  metadata.gz: f3291946e2a534e087d8f288bdcba3e43854280a2d4ffda087cfbbad25ca1f4517dc14dda9a6f2ae57b9804aeff86b25a158bc686c4d2f8777648fbd1913ccfa
+  data.tar.gz: 7a2c7cc654c8ac2518f659006ffd006830f7f58c93eaf908af7714d58f7a25ba63964f2e13ea09cf036fc527ab4d46133dee7bdc3dec20248c1767bd33e2504f

data/exe/format

@@ -0,0 +1,16 @@
+#!/usr/bin/env ruby
+
+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'
+]
+
+repo = Expressir::ExpressExp::Parser.from_files(input_files)
+schema = repo.schemas.find{|x| x.id == 'action_schema'}
+result = Expressir::ExpressExp::HyperlinkFormatter.format(schema)
+
+puts result

data/expressir.gemspec

@@ -36,6 +36,7 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency "antlr4-native", "~> 1.1.0"
   spec.add_development_dependency "bundler", "~> 2.0"
   spec.add_development_dependency "pry", "~> 0.12.2"
+  spec.add_development_dependency "byebug", "~> 11.1"
   spec.add_development_dependency "rake", "~> 13.0"
   spec.add_development_dependency "rake-compiler", "~> 1.1"
   spec.add_development_dependency "rake-compiler-dock", "~> 1.1"

data/lib/expressir/express_exp/formatter.rb

@@ -38,129 +38,129 @@ module Expressir
       end
 
       def format(node)
-        if node.instance_of? Model::Attribute
+        if node.is_a? Model::Attribute
           format_attribute(node)
-        elsif node.instance_of? Model::Constant
+        elsif node.is_a? Model::Constant
           format_constant(node)
-        elsif node.instance_of? Model::Entity
+        elsif node.is_a? Model::Entity
           format_entity(node)
-        elsif node.instance_of? Model::EnumerationItem
+        elsif node.is_a? Model::EnumerationItem
           format_enumeration_item(node)
-        elsif node.instance_of? Model::Function
+        elsif node.is_a? Model::Function
           format_function(node)
-        elsif node.instance_of? Model::Interface
+        elsif node.is_a? Model::Interface
           format_interface(node)
-        elsif node.instance_of? Model::Parameter
+        elsif node.is_a? Model::Parameter
           format_parameter(node)
-        elsif node.instance_of? Model::Procedure
+        elsif node.is_a? Model::Procedure
           format_procedure(node)
-        elsif node.instance_of? Model::RenamedRef
+        elsif node.is_a? Model::RenamedRef
           format_renamed_ref(node)
-        elsif node.instance_of? Model::Repository
+        elsif node.is_a? Model::Repository
           format_repository(node)
-        elsif node.instance_of? Model::Rule
+        elsif node.is_a? Model::Rule
           format_rule(node)
-        elsif node.instance_of? Model::Schema
+        elsif node.is_a? Model::Schema
           format_schema(node)
-        elsif node.instance_of? Model::SubtypeConstraint
+        elsif node.is_a? Model::SubtypeConstraint
           format_subtype_constraint(node)
-        elsif node.instance_of? Model::Type
+        elsif node.is_a? Model::Type
           format_type(node)
-        elsif node.instance_of? Model::Unique
+        elsif node.is_a? Model::Unique
           format_unique(node)
-        elsif node.instance_of? Model::Variable
+        elsif node.is_a? Model::Variable
           format_variable(node)
-        elsif node.instance_of? Model::Where
+        elsif node.is_a? Model::Where
           format_where(node)
-        elsif node.instance_of? Model::Expressions::AggregateInitializer
+        elsif node.is_a? Model::Expressions::AggregateInitializer
           format_expressions_aggregate_initializer(node)
-        elsif node.instance_of? Model::Expressions::AggregateItem
+        elsif node.is_a? Model::Expressions::AggregateItem
           format_expressions_aggregate_item(node)
-        elsif node.instance_of? Model::Expressions::AttributeReference
+        elsif node.is_a? Model::Expressions::AttributeReference
           format_expressions_attribute_reference(node)
-        elsif node.instance_of? Model::Expressions::BinaryExpression
+        elsif node.is_a? Model::Expressions::BinaryExpression
           format_expressions_binary_expression(node)
-        elsif node.instance_of? Model::Expressions::Call
+        elsif node.is_a? Model::Expressions::Call
           format_expressions_call(node)
-        elsif node.instance_of? Model::Expressions::EntityConstructor
+        elsif node.is_a? Model::Expressions::EntityConstructor
           format_expressions_entity_constructor(node)
-        elsif node.instance_of? Model::Expressions::GroupReference
+        elsif node.is_a? Model::Expressions::GroupReference
           format_expressions_group_reference(node)
-        elsif node.instance_of? Model::Expressions::IndexReference
+        elsif node.is_a? Model::Expressions::IndexReference
           format_expressions_index_reference(node)
-        elsif node.instance_of? Model::Expressions::Interval
+        elsif node.is_a? Model::Expressions::Interval
           format_expressions_interval(node)
-        elsif node.instance_of? Model::Expressions::QueryExpression
+        elsif node.is_a? Model::Expressions::QueryExpression
           format_expressions_query_expression(node)
-        elsif node.instance_of? Model::Expressions::SimpleReference
+        elsif node.is_a? Model::Expressions::SimpleReference
           format_expressions_simple_reference(node)
-        elsif node.instance_of? Model::Expressions::UnaryExpression
+        elsif node.is_a? Model::Expressions::UnaryExpression
           format_expressions_unary_expression(node)
-        elsif node.instance_of? Model::Literals::Binary
+        elsif node.is_a? Model::Literals::Binary
           format_literals_binary(node)
-        elsif node.instance_of? Model::Literals::Integer
+        elsif node.is_a? Model::Literals::Integer
           format_literals_integer(node)
-        elsif node.instance_of? Model::Literals::Logical
+        elsif node.is_a? Model::Literals::Logical
           format_literals_logical(node)
-        elsif node.instance_of? Model::Literals::Real
+        elsif node.is_a? Model::Literals::Real
           format_literals_real(node)
-        elsif node.instance_of? Model::Literals::String
+        elsif node.is_a? Model::Literals::String
           format_literals_string(node)
-        elsif node.instance_of? Model::Statements::Alias
+        elsif node.is_a? Model::Statements::Alias
           format_statements_alias(node)
-        elsif node.instance_of? Model::Statements::Assignment
+        elsif node.is_a? Model::Statements::Assignment
           format_statements_assignment(node)
-        elsif node.instance_of? Model::Statements::Call
+        elsif node.is_a? Model::Statements::Call
           format_statements_call(node)
-        elsif node.instance_of? Model::Statements::Case
+        elsif node.is_a? Model::Statements::Case
           format_statements_case(node)
-        elsif node.instance_of? Model::Statements::CaseAction
+        elsif node.is_a? Model::Statements::CaseAction
           format_statements_case_action(node)
-        elsif node.instance_of? Model::Statements::Compound
+        elsif node.is_a? Model::Statements::Compound
           format_statements_compound(node)
-        elsif node.instance_of? Model::Statements::Escape
+        elsif node.is_a? Model::Statements::Escape
           format_statements_escape(node)
-        elsif node.instance_of? Model::Statements::If
+        elsif node.is_a? Model::Statements::If
           format_statements_if(node)
-        elsif node.instance_of? Model::Statements::Null
+        elsif node.is_a? Model::Statements::Null
           format_statements_null(node)
-        elsif node.instance_of? Model::Statements::Repeat
+        elsif node.is_a? Model::Statements::Repeat
           format_statements_repeat(node)
-        elsif node.instance_of? Model::Statements::Return
+        elsif node.is_a? Model::Statements::Return
           format_statements_return(node)
-        elsif node.instance_of? Model::Statements::Skip
+        elsif node.is_a? Model::Statements::Skip
           format_statements_skip(node)
-        elsif node.instance_of? Model::Types::Aggregate
+        elsif node.is_a? Model::Types::Aggregate
           format_types_aggregate(node)
-        elsif node.instance_of? Model::Types::Array
+        elsif node.is_a? Model::Types::Array
           format_types_array(node)
-        elsif node.instance_of? Model::Types::Bag
+        elsif node.is_a? Model::Types::Bag
           format_types_bag(node)
-        elsif node.instance_of? Model::Types::Binary
+        elsif node.is_a? Model::Types::Binary
           format_types_binary(node)
-        elsif node.instance_of? Model::Types::Boolean
+        elsif node.is_a? Model::Types::Boolean
           format_types_boolean(node)
-        elsif node.instance_of? Model::Types::Enumeration
+        elsif node.is_a? Model::Types::Enumeration
           format_types_enumeration(node)
-        elsif node.instance_of? Model::Types::GenericEntity
+        elsif node.is_a? Model::Types::GenericEntity
           format_types_generic_entity(node)
-        elsif node.instance_of? Model::Types::Generic
+        elsif node.is_a? Model::Types::Generic
           format_types_generic(node)
-        elsif node.instance_of? Model::Types::Integer
+        elsif node.is_a? Model::Types::Integer
           format_types_integer(node)
-        elsif node.instance_of? Model::Types::List
+        elsif node.is_a? Model::Types::List
           format_types_list(node)
-        elsif node.instance_of? Model::Types::Logical
+        elsif node.is_a? Model::Types::Logical
           format_types_logical(node)
-        elsif node.instance_of? Model::Types::Number
+        elsif node.is_a? Model::Types::Number
           format_types_number(node)
-        elsif node.instance_of? Model::Types::Real
+        elsif node.is_a? Model::Types::Real
           format_types_real(node)
-        elsif node.instance_of? Model::Types::Select
+        elsif node.is_a? Model::Types::Select
           format_types_select(node)
-        elsif node.instance_of? Model::Types::Set
+        elsif node.is_a? Model::Types::Set
           format_types_set(node)
-        elsif node.instance_of? Model::Types::String
+        elsif node.is_a? Model::Types::String
           format_types_string(node)
         else
           puts node.class
@@ -509,8 +509,7 @@ module Expressir
         [
           *if node.schemas and node.schemas.length > 0
             node.schemas.map{|node| format(node)}
-          end,
-          *format_scope_remarks(node)
+          end
         ].join("\n")
       end
 
@@ -627,7 +626,8 @@ module Expressir
           [
             'END_SCHEMA',
             ';'
-          ].join('')
+          ].join(''),
+          *format_scope_remarks(node)
         ].join("\n")
       end
 
@@ -773,11 +773,11 @@ module Expressir
 
       def format_expressions_binary_expression(node)
         [
-          *if node.operand1.instance_of? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
+          *if node.operand1.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
             '('
           end,
           format(node.operand1),
-          *if node.operand1.instance_of? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
+          *if node.operand1.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
             ')'
           end,
           ' ',
@@ -806,11 +806,11 @@ module Expressir
             when Model::Expressions::BinaryExpression::XOR then 'XOR'
           end,
           ' ',
-          *if node.operand2.instance_of? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
+          *if node.operand2.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
             '('
           end,
           format(node.operand2),
-          *if node.operand2.instance_of? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
+          *if node.operand2.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
             ')'
           end,
         ].join('')
@@ -911,11 +911,11 @@ module Expressir
           if node.operator == Model::Expressions::UnaryExpression::NOT
             ' '
           end,
-          *if node.operand.instance_of? Model::Expressions::BinaryExpression
+          *if node.operand.is_a? Model::Expressions::BinaryExpression
             '('
           end,
           format(node.operand),
-          *if node.operand.instance_of? Model::Expressions::BinaryExpression
+          *if node.operand.is_a? Model::Expressions::BinaryExpression
             ')'
           end
         ].join('')
@@ -1442,25 +1442,13 @@ module Expressir
         str.split("\n").map{|x| "#{INDENT}#{x}"}.join("\n")
       end
 
-      def format_remark_ref(node)
-        [
-          *if node.class.method_defined? :parent and node.parent.class.method_defined? :id and node.parent != node
-            [
-              format_remark_ref(node.parent),
-              '.'
-            ].join('')
-          end,
-          node.id,
-        ].join('')
-      end
-
       def format_remark(node, remark)
         if remark.include?("\n")
           [
             [
               '(*',
               '"',
-              format_remark_ref(node),
+              node.path,
               '"',
             ].join(''),
             remark,
@@ -1470,7 +1458,7 @@ module Expressir
           [
             '--',
             '"',
-            format_remark_ref(node),
+            node.path,
             '"',
             ' ',
             remark
@@ -1479,7 +1467,7 @@ module Expressir
       end
 
       def format_remarks(node)
-        if node.class.method_defined? :remarks and node.remarks and node.remarks.length > 0
+        if node.class.method_defined? :remarks
           node.remarks.map do |remark|
             format_remark(node, remark)
           end
@@ -1491,9 +1479,7 @@ module Expressir
       def format_scope_remarks(node)
         [
           *format_remarks(node),
-          *if node.class.method_defined? :children
-            node.children.select{|x| x.parent == node}.flat_map{|x| format_scope_remarks(x)}
-          end
+          *node.children.select{|x| !x.is_a? Model::EnumerationItem or node.is_a? Model::Type}.flat_map{|x| format_scope_remarks(x)}
         ]
       end
     end

data/lib/expressir/express_exp/hyperlink_formatter.rb

@@ -0,0 +1,25 @@
+require "expressir/express_exp/formatter"
+
+module Expressir
+  module ExpressExp
+    class HyperlinkFormatter < Formatter
+      def format_expressions_simple_reference(node)
+        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)
+        return node.id unless target_node
+
+        # skip hyperlink for implicit scopes
+        return node.id if target_node.is_a? Model::Statements::Alias or target_node.is_a? Model::Statements::Repeat or target_node.is_a? Model::Expressions::QueryExpression
+
+        # skip hyperlink if this node and target node are in the same main item
+        node_path_parts = node.path.split(".")
+        target_node_path_parts = target_node.path.split(".")
+        return node.id if node_path_parts[0..1] == target_node_path_parts[0..1]
+
+        "{{{<<express:#{target_node.path},#{node.id}>>}}}"
+      end
+    end
+  end
+end

data/lib/expressir/express_exp/schema_head_formatter.rb

@@ -0,0 +1,14 @@
+require "expressir/express_exp/formatter"
+
+module Expressir
+  module ExpressExp
+    class SchemaHeadFormatter < Formatter
+      def format_schema(node)
+        [
+          "SCHEMA #{node.id}#{node.version ? " #{format(node.version)}" : ""};",
+          *node.interfaces.map{|x| format(x)}
+        ].join("\n")
+      end
+    end
+  end
+end

data/lib/expressir/express_exp/visitor.rb

@@ -14,7 +14,7 @@ require "set"
 # > method of gaining this information is multi-pass parsing: the first pass collects the identifiers from their
 # > declarations, so that subsequent passes are then able to distinguish a veriable_ref from a function_ref,
 # > for example.
-#
+# - such multi-pass parsing is not implemented yet
 # - xxxRef - merged to SimpleReference
 # - entityConstructor, functionCall - merged to Call
 # 
@@ -44,11 +44,10 @@ module Expressir
       end
 
       def visit(ctx)
-        result = super(ctx)
-        attach_source(ctx, result)
-        attach_parent(result)
-        attach_remarks(ctx, result)
-        result
+        node = super(ctx)
+        attach_source(ctx, node)
+        attach_remarks(ctx, node)
+        node
       end
 
       def visit_if(ctx, default = nil)
@@ -84,7 +83,7 @@ module Expressir
       end
 
       def get_tokens(ctx)
-        start_index, stop_index = if ctx.instance_of? ::ExpressParser::SyntaxContext
+        start_index, stop_index = if ctx.is_a? ::ExpressParser::SyntaxContext
           [0, @tokens.size - 1]
         else
           [ctx.start.token_index, ctx.stop.token_index]
@@ -94,7 +93,7 @@ module Expressir
       end
 
       def get_head_tokens(ctx)
-        start_index, stop_index = if ctx.instance_of? ::ExpressParser::SchemaDeclContext
+        start_index, stop_index = if ctx.is_a? ::ExpressParser::SchemaDeclContext
           start_index = ctx.start.token_index
           stop_index = if ctx.schema_body.interface_specification.length > 0
             ctx.schema_body.interface_specification.last.stop.token_index
@@ -124,25 +123,30 @@ module Expressir
         end
       end
 
-      def attach_parent(node)
-        if node.class.method_defined? :attach_parent_to_children
-          node.attach_parent_to_children
-        end
-      end
-
       def find_remark_target(node, path)
-        current_node = node
-        target_node = nil
+        target_node = node.find(path)
+        return target_node if target_node
 
-        if current_node.class.method_defined? :find_or_create
-          target_node = current_node.find_or_create(path)
-        end
-        while !target_node and current_node.class.method_defined? :parent and current_node.parent.class.method_defined? :find_or_create
-          current_node = current_node.parent
-          target_node = current_node.find_or_create(path)
-        end
+        # check if path should create implicit informal proposal
+        # see https://github.com/lutaml/expressir/issues/50
+        rest, _, current_path = path.rpartition(".") # get last path part
+        _, _, current_path = current_path.rpartition(":") # ignore prefix
 
-        target_node
+        # match informal proposition id
+        informal_proposition_id = current_path.match(/^IP\d+$/).to_a[0]
+        return unless informal_proposition_id
+
+        # find informal proposition target
+        target_node = node.find(rest)
+        return unless target_node and target_node.class.method_defined? :informal_propositions
+
+        # create implicit informal proposition
+        informal_proposition = Model::InformalProposition.new({
+          id: informal_proposition_id
+        })
+        target_node.informal_propositions << informal_proposition
+        informal_proposition.parent = target_node
+        informal_proposition
       end
 
       def attach_remarks(ctx, node)
@@ -767,7 +771,7 @@ module Expressir
         id = visit_if(ctx__entity_head__entity_id)
         abstract = (ctx__entity_head__subsuper__supertype_constraint__abstract_entity_declaration || ctx__entity_head__subsuper__supertype_constraint__abstract_supertype_declaration) && true
         supertype_expression = visit_if(ctx__entity_head__subsuper__supertype_constraint__abstract_supertype_declaration || ctx__entity_head__subsuper__supertype_constraint__supertype_rule)
-        subtype_of = visit_if(ctx__entity_head__subsuper__subtype_declaration)
+        subtype_of = visit_if(ctx__entity_head__subsuper__subtype_declaration, [])
         attributes = [
           *visit_if_map_flatten(ctx__entity_body__explicit_attr),
           *visit_if(ctx__entity_body__derive_clause),
@@ -967,11 +971,11 @@ module Expressir
         parameters = visit_if_map_flatten(ctx__function_head__formal_parameter)
         return_type = visit_if(ctx__function_head__parameter_type)
         declarations = visit_if_map(ctx__algorithm_head__declaration)
-        types = declarations.select{|x| x.instance_of? Model::Type}
-        entities = declarations.select{|x| x.instance_of? Model::Entity}
-        subtype_constraints = declarations.select{|x| x.instance_of? Model::SubtypeConstraint}
-        functions = declarations.select{|x| x.instance_of? Model::Function}
-        procedures = declarations.select{|x| x.instance_of? Model::Procedure}
+        types = declarations.select{|x| x.is_a? Model::Type}
+        entities = declarations.select{|x| x.is_a? Model::Entity}
+        subtype_constraints = declarations.select{|x| x.is_a? Model::SubtypeConstraint}
+        functions = declarations.select{|x| x.is_a? Model::Function}
+        procedures = declarations.select{|x| x.is_a? Model::Procedure}
         constants = visit_if(ctx__algorithm_head__constant_decl, [])
         variables = visit_if(ctx__algorithm_head__local_decl, [])
         statements = visit_if_map(ctx__stmt)
@@ -1595,11 +1599,11 @@ module Expressir
         id = visit_if(ctx__procedure_head__procedure_id)
         parameters = visit_if_map_flatten(ctx__procedure_head__procedure_head_parameter)
         declarations = visit_if_map(ctx__algorithm_head__declaration)
-        types = declarations.select{|x| x.instance_of? Model::Type}
-        entities = declarations.select{|x| x.instance_of? Model::Entity}
-        subtype_constraints = declarations.select{|x| x.instance_of? Model::SubtypeConstraint}
-        functions = declarations.select{|x| x.instance_of? Model::Function}
-        procedures = declarations.select{|x| x.instance_of? Model::Procedure}
+        types = declarations.select{|x| x.is_a? Model::Type}
+        entities = declarations.select{|x| x.is_a? Model::Entity}
+        subtype_constraints = declarations.select{|x| x.is_a? Model::SubtypeConstraint}
+        functions = declarations.select{|x| x.is_a? Model::Function}
+        procedures = declarations.select{|x| x.is_a? Model::Procedure}
         constants = visit_if(ctx__algorithm_head__constant_decl, [])
         variables = visit_if(ctx__algorithm_head__local_decl, [])
         statements = visit_if_map(ctx__stmt)
@@ -1837,20 +1841,16 @@ module Expressir
         ctx__resource_ref = ctx.resource_ref
         ctx__rename_id = ctx.rename_id
 
-        if ctx__resource_ref
-          if ctx__rename_id
-            ref = visit(ctx__resource_ref)
-            id = visit(ctx__rename_id)
+        ref = visit_if(ctx__resource_ref)
+        id = visit_if(ctx__rename_id)
 
-            Model::RenamedRef.new({
-              ref: ref,
-              id: id
-            })
-          else
-            visit(ctx__resource_ref)
-          end
+        if id
+          Model::RenamedRef.new({
+            ref: ref,
+            id: id
+          })
         else
-          raise 'Invalid state'
+          ref
         end
       end
 
@@ -1888,11 +1888,11 @@ module Expressir
         id = visit_if(ctx__rule_head__rule_id)
         applies_to = visit_if_map(ctx__rule_head__entity_ref)
         declarations = visit_if_map(ctx__algorithm_head__declaration)
-        types = declarations.select{|x| x.instance_of? Model::Type}
-        entities = declarations.select{|x| x.instance_of? Model::Entity}
-        subtype_constraints = declarations.select{|x| x.instance_of? Model::SubtypeConstraint}
-        functions = declarations.select{|x| x.instance_of? Model::Function}
-        procedures = declarations.select{|x| x.instance_of? Model::Procedure}
+        types = declarations.select{|x| x.is_a? Model::Type}
+        entities = declarations.select{|x| x.is_a? Model::Entity}
+        subtype_constraints = declarations.select{|x| x.is_a? Model::SubtypeConstraint}
+        functions = declarations.select{|x| x.is_a? Model::Function}
+        procedures = declarations.select{|x| x.is_a? Model::Procedure}
         constants = visit_if(ctx__algorithm_head__constant_decl, [])
         variables = visit_if(ctx__algorithm_head__local_decl, [])
         statements = visit_if_map(ctx__stmt)
@@ -1953,12 +1953,12 @@ module Expressir
         interfaces = visit_if_map(ctx__schema_body__interface_specification)
         constants = visit_if(ctx__schema_body__constant_decl, [])
         declarations = visit_if_map(ctx__schema_body__schema_body_declaration)
-        types = declarations.select{|x| x.instance_of? Model::Type}
-        entities = declarations.select{|x| x.instance_of? Model::Entity}
-        subtype_constraints = declarations.select{|x| x.instance_of? Model::SubtypeConstraint}
-        functions = declarations.select{|x| x.instance_of? Model::Function}
-        procedures = declarations.select{|x| x.instance_of? Model::Procedure}
-        rules = declarations.select{|x| x.instance_of? Model::Rule}
+        types = declarations.select{|x| x.is_a? Model::Type}
+        entities = declarations.select{|x| x.is_a? Model::Entity}
+        subtype_constraints = declarations.select{|x| x.is_a? Model::SubtypeConstraint}
+        functions = declarations.select{|x| x.is_a? Model::Function}
+        procedures = declarations.select{|x| x.is_a? Model::Procedure}
+        rules = declarations.select{|x| x.is_a? Model::Rule}
 
         Model::Schema.new({
           id: id,