expressir 0.2.16-arm64-darwin → 0.2.24-arm64-darwin

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: expressir
 version: !ruby/object:Gem::Version
-  version: 0.2.16
+  version: 0.2.24
 platform: arm64-darwin
 authors:
 - Ribose Inc.
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-03-05 00:00:00.000000000 Z
+date: 2021-03-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: nokogiri
@@ -215,6 +215,7 @@ files:
 - lib/expressir/express_exp/2.6/express_parser.bundle
 - lib/expressir/express_exp/2.7/express_parser.bundle
 - lib/expressir/express_exp/3.0/express_parser.bundle
+- lib/expressir/express_exp/cache.rb
 - lib/expressir/express_exp/formatter.rb
 - lib/expressir/express_exp/hyperlink_formatter.rb
 - lib/expressir/express_exp/parser.rb
@@ -223,6 +224,7 @@ files:
 - lib/expressir/express_parser.rb
 - lib/expressir/model.rb
 - lib/expressir/model/attribute.rb
+- lib/expressir/model/cache.rb
 - lib/expressir/model/constant.rb
 - lib/expressir/model/entity.rb
 - lib/expressir/model/enumeration_item.rb
@@ -240,7 +242,6 @@ files:
 - lib/expressir/model/expressions/unary_expression.rb
 - lib/expressir/model/function.rb
 - 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
@@ -252,6 +253,7 @@ files:
 - lib/expressir/model/model_element.rb
 - lib/expressir/model/parameter.rb
 - lib/expressir/model/procedure.rb
+- lib/expressir/model/remark_item.rb
 - lib/expressir/model/repository.rb
 - lib/expressir/model/rule.rb
 - lib/expressir/model/schema.rb
@@ -320,14 +322,22 @@ files:
 - original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.owl
 - original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xmi
 - original/examples/plcs/ap239e2_arm_lf_stepmod-2010-01-25.xml
-- original/examples/syntax/hyperlink.exp
-- original/examples/syntax/hyperlink_formatted.exp
+- original/examples/syntax/multiple.exp
+- original/examples/syntax/multiple.yaml
+- original/examples/syntax/multiple_formatted.exp
+- original/examples/syntax/multiple_hyperlink_formatted.exp
+- original/examples/syntax/multiple_schema_head_hyperlink_formatted.exp
 - original/examples/syntax/remark.exp
+- original/examples/syntax/remark.yaml
 - original/examples/syntax/remark_formatted.exp
-- original/examples/syntax/simple.exp
-- original/examples/syntax/source.exp
+- original/examples/syntax/single.exp
+- original/examples/syntax/single.yaml
+- original/examples/syntax/single_formatted.exp
+- original/examples/syntax/single_formatted.yaml
 - original/examples/syntax/syntax.exp
+- original/examples/syntax/syntax.yaml
 - original/examples/syntax/syntax_formatted.exp
+- original/examples/syntax/syntax_schema_head_formatted.exp
 - original/exp2ruby.rb
 - original/expsm.rb
 - original/mapping_owl.rb
@@ -339,16 +349,10 @@ files:
 - spec/acceptance/express_to_owl_spec.rb
 - spec/acceptance/version_spec.rb
 - spec/expressir/express/repository_spec.rb
-- spec/expressir/express_exp/formatter/remark_spec.rb
-- spec/expressir/express_exp/formatter/syntax_spec.rb
-- spec/expressir/express_exp/hyperlink_formatter_spec.rb
-- spec/expressir/express_exp/parser/multiple_spec.rb
-- spec/expressir/express_exp/parser/remark_spec.rb
-- spec/expressir/express_exp/parser/source_spec.rb
-- spec/expressir/express_exp/parser/syntax_spec.rb
-- spec/expressir/express_exp/schema_head_formatter_spec.rb
-- spec/expressir/model/model_element/find_spec.rb
-- spec/expressir/model/model_element/hash_spec.rb
+- spec/expressir/express_exp/cache_spec.rb
+- spec/expressir/express_exp/formatter_spec.rb
+- spec/expressir/express_exp/parser_spec.rb
+- spec/expressir/model/model_element_spec.rb
 - spec/expressr_spec.rb
 - spec/spec_helper.rb
 - spec/support/console_helper.rb

data/original/examples/syntax/hyperlink_formatted.exp

@@ -1,51 +0,0 @@
-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;
-END_ENTITY;
-ENTITY attribute_entity;
-  test : BOOLEAN;
-END_ENTITY;
-ENTITY subtype_empty_entity
-  SUBTYPE OF ({{{<<express:hyperlink_schema.empty_entity,empty_entity>>}}});
-END_ENTITY;
-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/original/examples/syntax/source.exp

@@ -1,16 +0,0 @@
-SCHEMA entity_schema;
--- body
-ENTITY empty_entity; END_ENTITY;
-END_SCHEMA;
-
-SCHEMA version_entity_schema 'version';
--- body
-ENTITY empty_entity; END_ENTITY;
-END_SCHEMA;
-
-SCHEMA version_interface_entity_schema 'version';
-USE FROM contract_schema;
-REFERENCE FROM contract_schema;
--- body
-ENTITY empty_entity; END_ENTITY;
-END_SCHEMA;

data/spec/expressir/express_exp/formatter/remark_spec.rb

@@ -1,28 +0,0 @@
-require "spec_helper"
-require "expressir/express_exp/parser"
-require "expressir/express_exp/formatter"
-
-RSpec.describe Expressir::ExpressExp::Formatter do
-  describe ".format" do
-    it "formats remark" do
-      repo = Expressir::ExpressExp::Parser.from_file(input_file)
-
-      result = Expressir::ExpressExp::Formatter.format(repo)
-      expected_result = File.read(output_file)
-
-      expect(result).to eq(expected_result)
-    end
-  end
-
-  def input_file
-    @input_file ||= Expressir.root_path.join(
-      "original", "examples", "syntax", "remark.exp"
-    )
-  end
-
-  def output_file
-    @output_file ||= Expressir.root_path.join(
-      "original", "examples", "syntax", "remark_formatted.exp"
-    )
-  end
-end

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

@@ -1,28 +0,0 @@
-require "spec_helper"
-require "expressir/express_exp/parser"
-require "expressir/express_exp/formatter"
-
-RSpec.describe Expressir::ExpressExp::Formatter do
-  describe ".format" do
-    it "formats syntax" do
-      repo = Expressir::ExpressExp::Parser.from_file(input_file)
-
-      result = Expressir::ExpressExp::Formatter.format(repo)
-      expected_result = File.read(output_file)
-
-      expect(result).to eq(expected_result)
-    end
-  end
-
-  def input_file
-    @input_file ||= Expressir.root_path.join(
-      "original", "examples", "syntax", "syntax.exp"
-    )
-  end
-
-  def output_file
-    @output_file ||= Expressir.root_path.join(
-      "original", "examples", "syntax", "syntax_formatted.exp"
-    )
-  end
-end

data/spec/expressir/express_exp/hyperlink_formatter_spec.rb

@@ -1,28 +0,0 @@
-require "spec_helper"
-require "expressir/express_exp/parser"
-require "expressir/express_exp/formatter"
-require "expressir/express_exp/hyperlink_formatter"
-
-RSpec.describe Expressir::ExpressExp::HyperlinkFormatter do
-  describe ".format" do
-    it "formats hyperlink" do
-      repo = Expressir::ExpressExp::Parser.from_file(input_file)
-
-      class CustomFormatter < Expressir::ExpressExp::Formatter
-        include Expressir::ExpressExp::HyperlinkFormatter
-      end
-      result = CustomFormatter.format(repo)
-      expected_result = File.read(output_file)
-
-      expect(result).to eq(expected_result)
-    end
-  end
-
-  def input_file
-    @input_file ||= Expressir.root_path.join("original", "examples", "syntax", "hyperlink.exp")
-  end
-
-  def output_file
-    @output_file ||= Expressir.root_path.join("original", "examples", "syntax", "hyperlink_formatted.exp")
-  end
-end

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

@@ -1,37 +0,0 @@
-require "spec_helper"
-require "expressir/express_exp/parser"
-
-RSpec.describe Expressir::ExpressExp::Parser do
-  describe ".from_files" do
-    it "parses multiple files" do
-      repo = Expressir::ExpressExp::Parser.from_files(sample_files)
-
-      schemas = repo.schemas
-      expect(schemas.count).to eq(5)
-      expect(schemas[0].file).to eq(sample_files[0])
-      expect(schemas[0].id).to eq("syntax_schema")
-      expect(schemas[1].file).to eq(sample_files[1])
-      expect(schemas[1].id).to eq("remark_schema")
-      expect(schemas[2].file).to eq(sample_files[2])
-      expect(schemas[2].id).to eq("entity_schema")
-      expect(schemas[3].file).to eq(sample_files[2])
-      expect(schemas[3].id).to eq("version_entity_schema")
-      expect(schemas[4].file).to eq(sample_files[2])
-      expect(schemas[4].id).to eq("version_interface_entity_schema")
-    end
-  end
-
-  def sample_files
-    @sample_files ||= [
-      Expressir.root_path.join(
-        "original", "examples", "syntax", "syntax.exp"
-      ),
-      Expressir.root_path.join(
-        "original", "examples", "syntax", "remark.exp"
-      ),
-      Expressir.root_path.join(
-        "original", "examples", "syntax", "source.exp"
-      )
-    ]
-  end
-end

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

@@ -1,411 +0,0 @@
-require "spec_helper"
-require "expressir/express_exp/parser"
-
-RSpec.describe Expressir::ExpressExp::Parser do
-  describe ".from_file" do
-    it "parses remark" do
-      repo = Expressir::ExpressExp::Parser.from_file(sample_file)
-
-      schema = repo.schemas.first
-
-      schema.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Schema)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(5)
-        expect(x.remarks[0]).to eq("Any character within the EXPRESS character set may occur between the start and end of\nan embedded remark including the newline character; therefore, embedded remarks can span\nseveral physical lines.")
-        expect(x.remarks[1]).to eq("The tail remark is written at the end of a physical line.")
-        expect(x.remarks[2]).to eq("UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.")
-        expect(x.remarks[3]).to eq("universal scope - schema before")
-        expect(x.remarks[4]).to eq("universal scope - schema")
-      end
-
-      schema.constants.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Constant)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - constant")
-        expect(x.remarks[1]).to eq("universal scope - constant")
-      end
-
-      schema.types.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Type)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - type")
-        expect(x.remarks[1]).to eq("universal scope - type")
-
-        expect(x.type).to be_instance_of(Expressir::Model::Types::Enumeration)
-        x.type.items.first.tap do |x|
-          expect(x).to be_instance_of(Expressir::Model::EnumerationItem)
-          expect(x.remarks).to be_instance_of(Array)
-          expect(x.remarks.count).to eq(4)
-          expect(x.remarks[0]).to eq("schema scope - enumeration item")
-          expect(x.remarks[1]).to eq("schema scope - enumeration item, on the same level as the type")
-          expect(x.remarks[2]).to eq("universal scope - enumeration item")
-          expect(x.remarks[3]).to eq("universal scope - enumeration item, on the same level as the type")
-        end
-      end
-
-      schema.types.first.where.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Where)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("type scope - type where")
-        expect(x.remarks[1]).to eq("type scope - type where, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - type where")
-        expect(x.remarks[3]).to eq("schema scope - type where, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - type where")
-        expect(x.remarks[5]).to eq("universal scope - type where, with prefix")
-      end
-
-      schema.types.first.informal_propositions.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::InformalProposition)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("type scope - type informal proposition")
-        expect(x.remarks[1]).to eq("type scope - type informal proposition, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - type informal proposition")
-        expect(x.remarks[3]).to eq("schema scope - type informal proposition, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - type informal proposition")
-        expect(x.remarks[5]).to eq("universal scope - type informal proposition, with prefix")
-      end
-
-      schema.entities.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Entity)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - entity")
-        expect(x.remarks[1]).to eq("universal scope - entity")
-      end
-
-      schema.entities.first.attributes.find{|x| x.kind == Expressir::Model::Attribute::EXPLICIT}.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Attribute)
-        expect(x.kind).to eq(Expressir::Model::Attribute::EXPLICIT)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("entity scope - entity attribute")
-        expect(x.remarks[1]).to eq("schema scope - entity attribute")
-        expect(x.remarks[2]).to eq("universal scope - entity attribute")
-      end
-
-      schema.entities.first.attributes.find{|x| x.kind == Expressir::Model::Attribute::DERIVED}.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Attribute)
-        expect(x.kind).to eq(Expressir::Model::Attribute::DERIVED)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("entity scope - entity derived attribute")
-        expect(x.remarks[1]).to eq("schema scope - entity derived attribute")
-        expect(x.remarks[2]).to eq("universal scope - entity derived attribute")
-      end
-
-      schema.entities.first.attributes.find{|x| x.kind == Expressir::Model::Attribute::INVERSE}.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Attribute)
-        expect(x.kind).to eq(Expressir::Model::Attribute::INVERSE)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("entity scope - entity inverse attribute")
-        expect(x.remarks[1]).to eq("schema scope - entity inverse attribute")
-        expect(x.remarks[2]).to eq("universal scope - entity inverse attribute")
-      end
-
-      schema.entities.first.unique.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Unique)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("entity scope - entity unique")
-        expect(x.remarks[1]).to eq("schema scope - entity unique")
-        expect(x.remarks[2]).to eq("universal scope - entity unique")
-      end
-
-      schema.entities.first.where.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Where)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("entity scope - entity where")
-        expect(x.remarks[1]).to eq("entity scope - entity where, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - entity where")
-        expect(x.remarks[3]).to eq("schema scope - entity where, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - entity where")
-        expect(x.remarks[5]).to eq("universal scope - entity where, with prefix")
-      end
-
-      schema.entities.first.informal_propositions.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::InformalProposition)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("entity scope - entity informal proposition")
-        expect(x.remarks[1]).to eq("entity scope - entity informal proposition, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - entity informal proposition")
-        expect(x.remarks[3]).to eq("schema scope - entity informal proposition, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - entity informal proposition")
-        expect(x.remarks[5]).to eq("universal scope - entity informal proposition, with prefix")
-      end
-
-      schema.subtype_constraints.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::SubtypeConstraint)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - subtype constraint")
-        expect(x.remarks[1]).to eq("universal scope - subtype constraint")
-      end
-
-      schema.functions.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Function)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - function")
-        expect(x.remarks[1]).to eq("universal scope - function")
-      end
-
-      schema.functions.first.parameters.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Parameter)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("function scope - function parameter")
-        expect(x.remarks[1]).to eq("schema scope - function parameter")
-        expect(x.remarks[2]).to eq("universal scope - function parameter")
-      end
-
-      schema.functions.first.types.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Type)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("function scope - function type")
-        expect(x.remarks[1]).to eq("schema scope - function type")
-        expect(x.remarks[2]).to eq("universal scope - function type")
-
-        expect(x.type).to be_instance_of(Expressir::Model::Types::Enumeration)
-        x.type.items.first.tap do |x|
-          expect(x).to be_instance_of(Expressir::Model::EnumerationItem)
-          expect(x.remarks).to be_instance_of(Array)
-          expect(x.remarks.count).to eq(6)
-          expect(x.remarks[0]).to eq("function scope - function enumeration item")
-          expect(x.remarks[1]).to eq("function scope - function enumeration item, on the same level as the type")
-          expect(x.remarks[2]).to eq("schema scope - function enumeration item")
-          expect(x.remarks[3]).to eq("schema scope - function enumeration item, on the same level as the type")
-          expect(x.remarks[4]).to eq("universal scope - function enumeration item")
-          expect(x.remarks[5]).to eq("universal scope - function enumeration item, on the same level as the type")
-        end
-      end
-
-      schema.functions.first.constants.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Constant)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("function scope - function constant")
-        expect(x.remarks[1]).to eq("schema scope - function constant")
-        expect(x.remarks[2]).to eq("universal scope - function constant")
-      end
-
-      schema.functions.first.variables.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Variable)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("function scope - function variable")
-        expect(x.remarks[1]).to eq("schema scope - function variable")
-        expect(x.remarks[2]).to eq("universal scope - function variable")
-      end
-
-      schema.functions.first.statements[0].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Alias)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("function alias scope - function alias")
-      end
-
-      schema.functions.first.statements[1].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Repeat)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("function repeat scope - function repeat")
-      end
-
-      schema.functions.first.statements[2].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Assignment)
-        expect(x.expression).to be_instance_of(Expressir::Model::Expressions::QueryExpression)
-        expect(x.expression.remarks).to be_instance_of(Array)
-        expect(x.expression.remarks.count).to eq(1)
-        expect(x.expression.remarks[0]).to eq("function query scope - function query")
-      end
-
-      schema.procedures.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Procedure)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - procedure")
-        expect(x.remarks[1]).to eq("universal scope - procedure")
-      end
-
-      schema.procedures.first.parameters.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Parameter)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("procedure scope - procedure parameter")
-        expect(x.remarks[1]).to eq("schema scope - procedure parameter")
-        expect(x.remarks[2]).to eq("universal scope - procedure parameter")
-      end
-
-      schema.procedures.first.types.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Type)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("procedure scope - procedure type")
-        expect(x.remarks[1]).to eq("schema scope - procedure type")
-        expect(x.remarks[2]).to eq("universal scope - procedure type")
-
-        expect(x.type).to be_instance_of(Expressir::Model::Types::Enumeration)
-        x.type.items.first.tap do |x|
-          expect(x).to be_instance_of(Expressir::Model::EnumerationItem)
-          expect(x.remarks).to be_instance_of(Array)
-          expect(x.remarks.count).to eq(6)
-          expect(x.remarks[0]).to eq("procedure scope - procedure enumeration item")
-          expect(x.remarks[1]).to eq("procedure scope - procedure enumeration item, on the same level as the type")
-          expect(x.remarks[2]).to eq("schema scope - procedure enumeration item")
-          expect(x.remarks[3]).to eq("schema scope - procedure enumeration item, on the same level as the type")
-          expect(x.remarks[4]).to eq("universal scope - procedure enumeration item")
-          expect(x.remarks[5]).to eq("universal scope - procedure enumeration item, on the same level as the type")
-        end
-      end
-
-      schema.procedures.first.constants.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Constant)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("procedure scope - procedure constant")
-        expect(x.remarks[1]).to eq("schema scope - procedure constant")
-        expect(x.remarks[2]).to eq("universal scope - procedure constant")
-      end
-
-      schema.procedures.first.variables.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Variable)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("procedure scope - procedure variable")
-        expect(x.remarks[1]).to eq("schema scope - procedure variable")
-        expect(x.remarks[2]).to eq("universal scope - procedure variable")
-      end
-
-      schema.procedures.first.statements[0].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Alias)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("procedure alias scope - procedure alias")
-      end
-
-      schema.procedures.first.statements[1].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Repeat)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("procedure repeat scope - procedure repeat")
-      end
-
-      schema.procedures.first.statements[2].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Assignment)
-        expect(x.expression).to be_instance_of(Expressir::Model::Expressions::QueryExpression)
-        expect(x.expression.remarks).to be_instance_of(Array)
-        expect(x.expression.remarks.count).to eq(1)
-        expect(x.expression.remarks[0]).to eq("procedure query scope - procedure query")
-      end
-
-      schema.rules.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Rule)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(2)
-        expect(x.remarks[0]).to eq("schema scope - rule")
-        expect(x.remarks[1]).to eq("universal scope - rule")
-      end
-
-      schema.rules.first.types.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Type)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("rule scope - rule type")
-        expect(x.remarks[1]).to eq("schema scope - rule type")
-        expect(x.remarks[2]).to eq("universal scope - rule type")
-
-        expect(x.type).to be_instance_of(Expressir::Model::Types::Enumeration)
-        x.type.items.first.tap do |x|
-          expect(x).to be_instance_of(Expressir::Model::EnumerationItem)
-          expect(x.remarks).to be_instance_of(Array)
-          expect(x.remarks.count).to eq(6)
-          expect(x.remarks[0]).to eq("rule scope - rule enumeration item")
-          expect(x.remarks[1]).to eq("rule scope - rule enumeration item, on the same level as the type")
-          expect(x.remarks[2]).to eq("schema scope - rule enumeration item")
-          expect(x.remarks[3]).to eq("schema scope - rule enumeration item, on the same level as the type")
-          expect(x.remarks[4]).to eq("universal scope - rule enumeration item")
-          expect(x.remarks[5]).to eq("universal scope - rule enumeration item, on the same level as the type")
-        end
-      end
-
-      schema.rules.first.constants.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Constant)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("rule scope - rule constant")
-        expect(x.remarks[1]).to eq("schema scope - rule constant")
-        expect(x.remarks[2]).to eq("universal scope - rule constant")
-      end
-
-      schema.rules.first.variables.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Variable)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(3)
-        expect(x.remarks[0]).to eq("rule scope - rule variable")
-        expect(x.remarks[1]).to eq("schema scope - rule variable")
-        expect(x.remarks[2]).to eq("universal scope - rule variable")
-      end
-
-      schema.rules.first.statements[0].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Alias)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("rule alias scope - rule alias")
-      end
-
-      schema.rules.first.statements[1].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Repeat)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(1)
-        expect(x.remarks[0]).to eq("rule repeat scope - rule repeat")
-      end
-
-      schema.rules.first.statements[2].tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Statements::Assignment)
-        expect(x.expression).to be_instance_of(Expressir::Model::Expressions::QueryExpression)
-        expect(x.expression.remarks).to be_instance_of(Array)
-        expect(x.expression.remarks.count).to eq(1)
-        expect(x.expression.remarks[0]).to eq("rule query scope - rule query")
-      end
-
-      schema.rules.first.where.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::Where)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("rule scope - rule where")
-        expect(x.remarks[1]).to eq("rule scope - rule where, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - rule where")
-        expect(x.remarks[3]).to eq("schema scope - rule where, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - rule where")
-        expect(x.remarks[5]).to eq("universal scope - rule where, with prefix")
-      end
-
-      schema.rules.first.informal_propositions.first.tap do |x|
-        expect(x).to be_instance_of(Expressir::Model::InformalProposition)
-        expect(x.remarks).to be_instance_of(Array)
-        expect(x.remarks.count).to eq(6)
-        expect(x.remarks[0]).to eq("rule scope - rule informal proposition")
-        expect(x.remarks[1]).to eq("rule scope - rule informal proposition, with prefix")
-        expect(x.remarks[2]).to eq("schema scope - rule informal proposition")
-        expect(x.remarks[3]).to eq("schema scope - rule informal proposition, with prefix")
-        expect(x.remarks[4]).to eq("universal scope - rule informal proposition")
-        expect(x.remarks[5]).to eq("universal scope - rule informal proposition, with prefix")
-      end
-    end
-  end
-
-  def sample_file
-    @sample_file ||= Expressir.root_path.join(
-      "original", "examples", "syntax", "remark.exp"
-    )
-  end
-end