expressir 1.3.0.pre.1-aarch64-linux-gnu

data/spec/expressir/express/parser_spec.rb

@@ -0,0 +1,141 @@
+require "yaml"
+require "spec_helper"
+require "expressir/express/parser"
+
+RSpec.describe Expressir::Express::Parser do
+  describe ".from_file" do
+    it "throws an exception if the file to parse does not exist" do |example|
+      print "\n[#{example.description}] "
+      expect do
+        Expressir::Express::Parser.from_file("non-existing-file")
+      end.to raise_error(Errno::ENOENT)
+    end
+
+    it "parses a file (single.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "single.exp")
+      yaml_file = Expressir.root_path.join("spec", "syntax", "single.yaml")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      # File.write(yaml_file, result)
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses a file (multiple.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "multiple.exp")
+      yaml_file = Expressir.root_path.join("spec", "syntax", "multiple.yaml")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      # File.write(yaml_file, result)
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses a file (syntax.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "syntax.exp")
+      yaml_file = Expressir.root_path.join("spec", "syntax", "syntax.yaml")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      # File.write(yaml_file, result)
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses a file (remark.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "remark.exp")
+      yaml_file = Expressir.root_path.join("spec", "syntax", "remark.yaml")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      # File.write(yaml_file, result)
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses a file including original source (multiple.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "multiple.exp")
+
+      input = File.read(exp_file)
+      repo = Expressir::Express::Parser.from_file(exp_file, include_source: true)
+
+      schema = repo.schemas.first
+      start_index = input.index("SCHEMA")
+      stop_index = input.index("END_SCHEMA;") + "END_SCHEMA;".length - 1
+      expected_result = input[start_index..stop_index]
+      expect(schema.source).to eq(expected_result)
+
+      entity = schema.entities.first
+      start_index = input.index("ENTITY")
+      stop_index = input.index("END_ENTITY;") + "END_ENTITY;".length - 1
+      expected_result = input[start_index..stop_index]
+      expect(entity.source).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+  end
+
+  describe ".from_files" do
+    it "parses multiple files (single.exp, multiple.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_files = [
+        Expressir.root_path.join("spec", "syntax", "single.exp"),
+        Expressir.root_path.join("spec", "syntax", "multiple.exp"),
+      ]
+
+      repo = Expressir::Express::Parser.from_files(exp_files)
+
+      schemas = repo.schemas
+      expect(schemas.count).to eq(5)
+      expect(schemas[0].file).to eq(exp_files[0].to_s)
+      expect(schemas[0].id).to eq("single_schema")
+      expect(schemas[1].file).to eq(exp_files[1].to_s)
+      expect(schemas[1].id).to eq("multiple_schema")
+      expect(schemas[2].file).to eq(exp_files[1].to_s)
+      expect(schemas[2].id).to eq("multiple_schema2")
+      expect(schemas[3].file).to eq(exp_files[1].to_s)
+      expect(schemas[3].id).to eq("multiple_schema3")
+      expect(schemas[4].file).to eq(exp_files[1].to_s)
+      expect(schemas[4].id).to eq("multiple_schema4")
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+  end
+end

data/spec/expressir/model/model_element_spec.rb

@@ -0,0 +1,318 @@
+require "yaml"
+require "spec_helper"
+require "expressir/express/parser"
+require "expressir/express/formatter"
+
+RSpec.describe Expressir::Model::ModelElement do
+  describe ".to_hash" do
+    it "exports an object with a formatter (single.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "single.exp")
+      yaml_file = Expressir.root_path.join("spec", "syntax", "single_formatted.yaml")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path, formatter: Expressir::Express::Formatter))
+      # File.write(yaml_file, result)
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+  end
+
+  describe ".from_hash" do
+    it "parses an object (single.yaml)" do |example|
+      print "\n[#{example.description}] "
+      yaml_file = Expressir.root_path.join("spec", "syntax", "single.yaml")
+
+      input = YAML.safe_load(File.read(yaml_file))
+      repo = Expressir::Model::ModelElement.from_hash(input, root_path: Expressir.root_path)
+
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses an object (multiple.yaml)" do |example|
+      print "\n[#{example.description}] "
+      yaml_file = Expressir.root_path.join("spec", "syntax", "multiple.yaml")
+
+      input = YAML.safe_load(File.read(yaml_file), permitted_classes: [Symbol]) # For UTF8 symbols
+      repo = Expressir::Model::ModelElement.from_hash(input, root_path: Expressir.root_path)
+
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses an object (syntax.yaml)" do |example|
+      print "\n[#{example.description}] "
+      yaml_file = Expressir.root_path.join("spec", "syntax", "syntax.yaml")
+
+      input = YAML.safe_load(File.read(yaml_file), permitted_classes: [Symbol]) # For UTF8 symbols
+      repo = Expressir::Model::ModelElement.from_hash(input, root_path: Expressir.root_path)
+
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "parses an object (remark.yaml)" do |example|
+      print "\n[#{example.description}] "
+      yaml_file = Expressir.root_path.join("spec", "syntax", "remark.yaml")
+
+      input = YAML.safe_load(File.read(yaml_file), permitted_classes: [Symbol]) # For UTF8 symbols
+      repo = Expressir::Model::ModelElement.from_hash(input, root_path: Expressir.root_path)
+
+      result = YAML.dump(repo.to_hash(root_path: Expressir.root_path))
+      expected_result = File.read(yaml_file)
+
+      expect(result).to eq(expected_result)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+  end
+
+  describe ".find" do
+    it "finds an object (single.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "single.exp")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+
+      # universal scope
+      expect(repo.find("single_schema")).to be_instance_of(Expressir::Model::Declarations::Schema)
+      expect(repo.find("single_schema.empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # schema scope
+      schema = repo.schemas.first
+      expect(schema.find("empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "finds an object (multiple.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "multiple.exp")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+
+      # universal scope
+      expect(repo.find("multiple_schema")).to be_instance_of(Expressir::Model::Declarations::Schema)
+      expect(repo.find("multiple_schema.empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(repo.find("multiple_schema.attribute_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(repo.find("multiple_schema.attribute_entity2")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(repo.find("multiple_schema.attribute_entity3")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(repo.find("multiple_schema.attribute_entity4")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # schema scope
+      schema = repo.schemas.first
+      expect(schema.find("empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(schema.find("attribute_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(schema.find("attribute_entity2")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(schema.find("attribute_entity3")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(schema.find("attribute_entity4")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "finds an object (syntax.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "syntax.exp")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+
+      # universal scope
+      expect(repo.find("syntax_schema")).to be_instance_of(Expressir::Model::Declarations::Schema)
+      expect(repo.find("syntax_schema.empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # schema scope
+      schema = repo.schemas.first
+      expect(schema.find("empty_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+
+    it "finds an object (remark.exp)" do |example|
+      print "\n[#{example.description}] "
+      exp_file = Expressir.root_path.join("spec", "syntax", "remark.exp")
+
+      repo = Expressir::Express::Parser.from_file(exp_file)
+
+      # universal scope
+      expect(repo.find("remark_schema")).to be_instance_of(Expressir::Model::Declarations::Schema)
+      expect(repo.find("remark_schema.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(repo.find("remark_schema.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(repo.find("remark_schema.remark_type.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_type.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_type.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_type.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(repo.find("remark_schema.remark_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(repo.find("remark_schema.remark_entity.remark_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(repo.find("remark_schema.remark_entity.remark_derived_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(repo.find("remark_schema.remark_entity.remark_inverse_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(repo.find("remark_schema.remark_entity.UR1")).to be_instance_of(Expressir::Model::Declarations::UniqueRule)
+      expect(repo.find("remark_schema.remark_entity.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_entity.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_entity.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_entity.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_subtype_constraint")).to be_instance_of(Expressir::Model::Declarations::SubtypeConstraint)
+      expect(repo.find("remark_schema.remark_function")).to be_instance_of(Expressir::Model::Declarations::Function)
+      expect(repo.find("remark_schema.remark_function.remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(repo.find("remark_schema.remark_function.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(repo.find("remark_schema.remark_function.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(repo.find("remark_schema.remark_function.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(repo.find("remark_schema.remark_function.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(repo.find("remark_schema.remark_procedure")).to be_instance_of(Expressir::Model::Declarations::Procedure)
+      expect(repo.find("remark_schema.remark_procedure.remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(repo.find("remark_schema.remark_procedure.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(repo.find("remark_schema.remark_procedure.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(repo.find("remark_schema.remark_procedure.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(repo.find("remark_schema.remark_procedure.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(repo.find("remark_schema.remark_rule")).to be_instance_of(Expressir::Model::Declarations::Rule)
+      expect(repo.find("remark_schema.remark_rule.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(repo.find("remark_schema.remark_rule.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(repo.find("remark_schema.remark_rule.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(repo.find("remark_schema.remark_rule.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(repo.find("remark_schema.remark_rule.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_rule.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(repo.find("remark_schema.remark_rule.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_rule.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(repo.find("remark_schema.remark_item")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # schema scope
+      schema = repo.schemas.first
+      expect(schema.find("remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(schema.find("remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(schema.find("remark_type.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_type.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_type.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_type.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(schema.find("remark_entity")).to be_instance_of(Expressir::Model::Declarations::Entity)
+      expect(schema.find("remark_entity.remark_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(schema.find("remark_entity.remark_derived_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(schema.find("remark_entity.remark_inverse_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(schema.find("remark_entity.UR1")).to be_instance_of(Expressir::Model::Declarations::UniqueRule)
+      expect(schema.find("remark_entity.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_entity.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_entity.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_entity.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_subtype_constraint")).to be_instance_of(Expressir::Model::Declarations::SubtypeConstraint)
+      expect(schema.find("remark_function")).to be_instance_of(Expressir::Model::Declarations::Function)
+      expect(schema.find("remark_function.remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(schema.find("remark_function.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(schema.find("remark_function.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(schema.find("remark_function.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(schema.find("remark_function.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(schema.find("remark_procedure")).to be_instance_of(Expressir::Model::Declarations::Procedure)
+      expect(schema.find("remark_procedure.remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(schema.find("remark_procedure.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(schema.find("remark_procedure.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(schema.find("remark_procedure.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(schema.find("remark_procedure.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(schema.find("remark_rule")).to be_instance_of(Expressir::Model::Declarations::Rule)
+      expect(schema.find("remark_rule.remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(schema.find("remark_rule.remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(schema.find("remark_rule.remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(schema.find("remark_rule.remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(schema.find("remark_rule.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_rule.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(schema.find("remark_rule.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_rule.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(schema.find("remark_item")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # type scope
+      type = schema.types.first
+      expect(type.find("WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(type.find("wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(type.find("IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(type.find("ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # entity scope
+      entity = schema.entities.first
+      expect(entity.find("remark_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(entity.find("remark_derived_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(entity.find("remark_inverse_attribute")).to be_instance_of(Expressir::Model::Declarations::Attribute)
+      expect(entity.find("UR1")).to be_instance_of(Expressir::Model::Declarations::UniqueRule)
+      expect(entity.find("WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(entity.find("wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(entity.find("IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(entity.find("ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # function scope
+      function = schema.functions.first
+      expect(function.find("remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(function.find("remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(function.find("remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(function.find("remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(function.find("remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+
+      # procedure scope
+      procedure = schema.procedures.first
+      expect(procedure.find("remark_parameter")).to be_instance_of(Expressir::Model::Declarations::Parameter)
+      expect(procedure.find("remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(procedure.find("remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(procedure.find("remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(procedure.find("remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+
+      # rule scope
+      rule = schema.rules.first
+      expect(rule.find("remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(rule.find("remark_enumeration_item")).to be_instance_of(Expressir::Model::DataTypes::EnumerationItem)
+      expect(rule.find("remark_constant")).to be_instance_of(Expressir::Model::Declarations::Constant)
+      expect(rule.find("remark_variable")).to be_instance_of(Expressir::Model::Declarations::Variable)
+      expect(rule.find("WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(rule.find("wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(rule.find("IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(rule.find("ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # retry search in parent scope
+      expect(entity.find("remark_type")).to be_instance_of(Expressir::Model::Declarations::Type)
+      expect(entity.find("remark_type.WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(entity.find("remark_type.wr:WR1")).to be_instance_of(Expressir::Model::Declarations::WhereRule)
+      expect(entity.find("remark_type.IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+      expect(entity.find("remark_type.ip:IP1")).to be_instance_of(Expressir::Model::Declarations::RemarkItem)
+
+      # Validate Object Space
+      GC.start
+      GC.verify_compaction_references
+      GC.verify_internal_consistency
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,24 @@
+require "bundler/setup"
+require "expressir"
+
+Dir["./spec/support/**/*.rb"].sort.each { |file| require file }
+
+RSpec.configure do |config|
+  # Enable flags like --only-failures and --next-failure
+  config.example_status_persistence_file_path = ".rspec_status"
+  config.include Expressir::ConsoleHelper
+
+  # Disable RSpec exposing methods globally on `Module` and `main`
+  config.disable_monkey_patching!
+
+  config.expect_with :rspec do |c|
+    c.syntax = :expect
+  end
+
+  config.around(:example) do |ex|
+    ex.run
+  rescue SystemExit => e
+    puts "Got SystemExit: #{e.inspect}."
+    raise
+  end
+end

data/spec/support/console_helper.rb

@@ -0,0 +1,29 @@
+module Expressir
+  module ConsoleHelper
+    def capture_stdout(&_block)
+      original_stdout = $stdout
+      $stdout = fake = StringIO.new
+
+      begin
+        yield
+      ensure
+        $stdout = original_stdout
+      end
+
+      fake.string
+    end
+
+    def capture_stderr(&_block)
+      original_stderr = $stderr
+      $stderr = fake = StringIO.new
+
+      begin
+        yield
+      ensure
+        $stderr = original_stderr
+      end
+
+      fake.string
+    end
+  end
+end

data/spec/syntax/multiple.exp

@@ -0,0 +1,23 @@
+SCHEMA multiple_schema;
+REFERENCE FROM multiple_schema2;
+REFERENCE FROM multiple_schema3 (attribute_entity3);
+REFERENCE FROM multiple_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 multiple_schema2;
+ENTITY attribute_entity2; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;
+SCHEMA multiple_schema3;
+ENTITY attribute_entity3; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;
+SCHEMA multiple_schema4;
+ENTITY attribute_entity; test : BOOLEAN; END_ENTITY;
+END_SCHEMA;