expressir 0.2.8-x86-linux → 0.2.9-x86-linux

data/lib/expressir/version.rb

@@ -1,3 +1,3 @@
 module Expressir
-  VERSION = "0.2.8".freeze
+  VERSION = "0.2.9".freeze
 end

data/original/examples/syntax/remark.exp

@@ -11,18 +11,27 @@ several physical lines.
 SCHEMA remark_schema;
 
 CONSTANT remark_constant : STRING := 'xxx'; END_CONSTANT;
-TYPE remark_type = ENUMERATION OF (remark_enumeration_item); END_TYPE;
+TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  WHERE WR1 : TRUE;
+  --"WR1" type scope - type where
+  --"IP1" type scope - type informal proposition
+  --"wr:WR1" type scope - type where, with prefix
+  --"ip:IP1" type scope - type informal proposition, with prefix
+END_TYPE;
 ENTITY remark_entity;
   remark_attribute : STRING;
   DERIVE remark_derived_attribute : STRING := 'xxx';
   INVERSE remark_inverse_attribute : remark_entity FOR remark_attribute;
   UNIQUE remark_unique : remark_attribute;
-  WHERE remark_where : TRUE;
+  WHERE WR1 : TRUE;
   --"remark_attribute" entity scope - entity attribute
   --"remark_derived_attribute" entity scope - entity derived attribute
   --"remark_inverse_attribute" entity scope - entity inverse attribute
   --"remark_unique" entity scope - entity unique
-  --"remark_where" entity scope - entity where
+  --"WR1" entity scope - entity where
+  --"IP1" entity scope - entity informal proposition
+  --"wr:WR1" entity scope - entity where, with prefix
+  --"ip:IP1" entity scope - entity informal proposition, with prefix
 END_ENTITY;
 SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity; END_SUBTYPE_CONSTRAINT;
 FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
@@ -40,7 +49,8 @@ FUNCTION remark_function(remark_parameter : STRING) : BOOLEAN;
   );
   --"remark_parameter" function scope - function parameter
   --"remark_type" function scope - function type
-  --"remark_enumeration_item" function scope - function enumeration item
+  --"remark_type.remark_enumeration_item" function scope - function enumeration item
+  --"remark_enumeration_item" function scope - function enumeration item, on the same level as the type
   --"remark_constant" function scope - function constant
   --"remark_variable" function scope - function variable
 END_FUNCTION;
@@ -59,7 +69,8 @@ PROCEDURE remark_procedure(remark_parameter : STRING);
   );
   --"remark_parameter" procedure scope - procedure parameter
   --"remark_type" procedure scope - procedure type
-  --"remark_enumeration_item" procedure scope - procedure enumeration item
+  --"remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
+  --"remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
   --"remark_constant" procedure scope - procedure constant
   --"remark_variable" procedure scope - procedure variable
 END_PROCEDURE;
@@ -76,71 +87,103 @@ RULE remark_rule FOR (remark_entity);
   remark_variable := QUERY(remark_query <* remark_variable | TRUE
     --"remark_query" rule query scope - rule query
   );
-  WHERE remark_where : TRUE;
+  WHERE WR1 : TRUE;
   --"remark_type" rule scope - rule type
-  --"remark_enumeration_item" rule scope - rule enumeration item
+  --"remark_type.remark_enumeration_item" rule scope - rule enumeration item
+  --"remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
   --"remark_constant" rule scope - rule constant
   --"remark_variable" rule scope - rule variable
-  --"remark_where" rule scope - rule where
+  --"WR1" rule scope - rule where
+  --"IP1" rule scope - rule informal proposition
+  --"wr:WR1" rule scope - rule where, with prefix
+  --"ip:IP1" rule scope - rule informal proposition, with prefix
 END_RULE;
 
 --"remark_constant" schema scope - constant
 --"remark_type" schema scope - type
---"remark_enumeration_item" schema scope - enumeration item
+--"remark_type.WR1" schema scope - type where
+--"remark_type.IP1" schema scope - type informal proposition
+--"remark_type.wr:WR1" schema scope - type where, with prefix
+--"remark_type.ip:IP1" schema scope - type informal proposition, with prefix
+--"remark_type.remark_enumeration_item" schema scope - enumeration item
+--"remark_enumeration_item" schema scope - enumeration item, on the same level as the type
 --"remark_entity" schema scope - entity
 --"remark_entity.remark_attribute" schema scope - entity attribute
 --"remark_entity.remark_derived_attribute" schema scope - entity derived attribute
 --"remark_entity.remark_inverse_attribute" schema scope - entity inverse attribute
 --"remark_entity.remark_unique" schema scope - entity unique
---"remark_entity.remark_where" schema scope - entity where
+--"remark_entity.WR1" schema scope - entity where
+--"remark_entity.IP1" schema scope - entity informal proposition
+--"remark_entity.wr:WR1" schema scope - entity where, with prefix
+--"remark_entity.ip:IP1" schema scope - entity informal proposition, with prefix
 --"remark_subtype_constraint" schema scope - subtype constraint
 --"remark_function" schema scope - function
 --"remark_function.remark_parameter" schema scope - function parameter
 --"remark_function.remark_type" schema scope - function type
---"remark_function.remark_enumeration_item" schema scope - function enumeration item
+--"remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
+--"remark_function.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
 --"remark_function.remark_constant" schema scope - function constant
 --"remark_function.remark_variable" schema scope - function variable
 --"remark_procedure" schema scope - procedure
 --"remark_procedure.remark_parameter" schema scope - procedure parameter
 --"remark_procedure.remark_type" schema scope - procedure type
---"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
 --"remark_procedure.remark_constant" schema scope - procedure constant
 --"remark_procedure.remark_variable" schema scope - procedure variable
 --"remark_rule" schema scope - rule
 --"remark_rule.remark_type" schema scope - rule type
---"remark_rule.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_rule.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
 --"remark_rule.remark_constant" schema scope - rule constant
 --"remark_rule.remark_variable" schema scope - rule variable
---"remark_rule.remark_where" schema scope - rule where
+--"remark_rule.WR1" schema scope - rule where
+--"remark_rule.IP1" schema scope - rule informal proposition
+--"remark_rule.wr:WR1" schema scope - rule where, with prefix
+--"remark_rule.ip:IP1" schema scope - rule informal proposition, with prefix
 
 END_SCHEMA;
 
 --"remark_schema" universal scope - schema
 --"remark_schema.remark_constant" universal scope - constant
 --"remark_schema.remark_type" universal scope - type
---"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_type.WR1" universal scope - type where
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition
+--"remark_schema.remark_type.wr:WR1" universal scope - type where, with prefix
+--"remark_schema.remark_type.ip:IP1" universal scope - type informal proposition, with prefix
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
 --"remark_schema.remark_entity" universal scope - entity
 --"remark_schema.remark_entity.remark_attribute" universal scope - entity attribute
 --"remark_schema.remark_entity.remark_derived_attribute" universal scope - entity derived attribute
 --"remark_schema.remark_entity.remark_inverse_attribute" universal scope - entity inverse attribute
 --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
---"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"remark_schema.remark_entity.WR1" universal scope - entity where
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
+--"remark_schema.remark_entity.wr:WR1" universal scope - entity where, with prefix
+--"remark_schema.remark_entity.ip:IP1" universal scope - entity informal proposition, with prefix
 --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
 --"remark_schema.remark_function" universal scope - function
 --"remark_schema.remark_function.remark_parameter" universal scope - function parameter
 --"remark_schema.remark_function.remark_type" universal scope - function type
---"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
 --"remark_schema.remark_function.remark_constant" universal scope - function constant
 --"remark_schema.remark_function.remark_variable" universal scope - function variable
 --"remark_schema.remark_procedure" universal scope - procedure
 --"remark_schema.remark_procedure.remark_parameter" universal scope - procedure parameter
 --"remark_schema.remark_procedure.remark_type" universal scope - procedure type
---"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
 --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
 --"remark_schema.remark_procedure.remark_variable" universal scope - procedure variable
 --"remark_schema.remark_rule" universal scope - rule
 --"remark_schema.remark_rule.remark_type" universal scope - rule type
---"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
 --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
 --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
---"remark_schema.remark_rule.remark_where" universal scope - rule where
+--"remark_schema.remark_rule.WR1" universal scope - rule where
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
+--"remark_schema.remark_rule.wr:WR1" universal scope - rule where, with prefix
+--"remark_schema.remark_rule.ip:IP1" universal scope - rule informal proposition, with prefix

data/original/examples/syntax/remark_formatted.exp

@@ -3,6 +3,8 @@ CONSTANT
   remark_constant : STRING := 'xxx';
 END_CONSTANT;
 TYPE remark_type = ENUMERATION OF (remark_enumeration_item);
+  WHERE
+    WR1 : TRUE;
 END_TYPE;
 
 ENTITY remark_entity;
@@ -14,7 +16,7 @@ ENTITY remark_entity;
   UNIQUE
     remark_unique : remark_attribute;
   WHERE
-    remark_where : TRUE;
+    WR1 : TRUE;
 END_ENTITY;
 
 SUBTYPE_CONSTRAINT remark_subtype_constraint FOR remark_entity;
@@ -85,7 +87,7 @@ RULE remark_rule FOR (remark_entity);
   --"remark_query" rule query scope - rule query
   );
   WHERE
-    remark_where : TRUE;
+    WR1 : TRUE;
 END_RULE;
 END_SCHEMA;
 (*"remark_schema"
@@ -101,8 +103,22 @@ several physical lines.
 --"remark_schema.remark_constant" universal scope - constant
 --"remark_schema.remark_type" schema scope - type
 --"remark_schema.remark_type" universal scope - type
---"remark_schema.remark_enumeration_item" schema scope - enumeration item
---"remark_schema.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_type.remark_enumeration_item" schema scope - enumeration item
+--"remark_schema.remark_type.remark_enumeration_item" schema scope - enumeration item, on the same level as the type
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item
+--"remark_schema.remark_type.remark_enumeration_item" universal scope - enumeration item, on the same level as the type
+--"remark_schema.remark_type.WR1" type scope - type where
+--"remark_schema.remark_type.WR1" type scope - type where, with prefix
+--"remark_schema.remark_type.WR1" schema scope - type where
+--"remark_schema.remark_type.WR1" schema scope - type where, with prefix
+--"remark_schema.remark_type.WR1" universal scope - type where
+--"remark_schema.remark_type.WR1" universal scope - type where, with prefix
+--"remark_schema.remark_type.IP1" type scope - type informal proposition
+--"remark_schema.remark_type.IP1" type scope - type informal proposition, with prefix
+--"remark_schema.remark_type.IP1" schema scope - type informal proposition
+--"remark_schema.remark_type.IP1" schema scope - type informal proposition, with prefix
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition
+--"remark_schema.remark_type.IP1" universal scope - type informal proposition, with prefix
 --"remark_schema.remark_entity" schema scope - entity
 --"remark_schema.remark_entity" universal scope - entity
 --"remark_schema.remark_entity.remark_attribute" entity scope - entity attribute
@@ -117,9 +133,18 @@ several physical lines.
 --"remark_schema.remark_entity.remark_unique" entity scope - entity unique
 --"remark_schema.remark_entity.remark_unique" schema scope - entity unique
 --"remark_schema.remark_entity.remark_unique" universal scope - entity unique
---"remark_schema.remark_entity.remark_where" entity scope - entity where
---"remark_schema.remark_entity.remark_where" schema scope - entity where
---"remark_schema.remark_entity.remark_where" universal scope - entity where
+--"remark_schema.remark_entity.WR1" entity scope - entity where
+--"remark_schema.remark_entity.WR1" entity scope - entity where, with prefix
+--"remark_schema.remark_entity.WR1" schema scope - entity where
+--"remark_schema.remark_entity.WR1" schema scope - entity where, with prefix
+--"remark_schema.remark_entity.WR1" universal scope - entity where
+--"remark_schema.remark_entity.WR1" universal scope - entity where, with prefix
+--"remark_schema.remark_entity.IP1" entity scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" entity scope - entity informal proposition, with prefix
+--"remark_schema.remark_entity.IP1" schema scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" schema scope - entity informal proposition, with prefix
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition
+--"remark_schema.remark_entity.IP1" universal scope - entity informal proposition, with prefix
 --"remark_schema.remark_subtype_constraint" schema scope - subtype constraint
 --"remark_schema.remark_subtype_constraint" universal scope - subtype constraint
 --"remark_schema.remark_function" schema scope - function
@@ -130,9 +155,12 @@ several physical lines.
 --"remark_schema.remark_function.remark_type" function scope - function type
 --"remark_schema.remark_function.remark_type" schema scope - function type
 --"remark_schema.remark_function.remark_type" universal scope - function type
---"remark_schema.remark_function.remark_enumeration_item" function scope - function enumeration item
---"remark_schema.remark_function.remark_enumeration_item" schema scope - function enumeration item
---"remark_schema.remark_function.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" function scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" function scope - function enumeration item, on the same level as the type
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" schema scope - function enumeration item, on the same level as the type
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item
+--"remark_schema.remark_function.remark_type.remark_enumeration_item" universal scope - function enumeration item, on the same level as the type
 --"remark_schema.remark_function.remark_constant" function scope - function constant
 --"remark_schema.remark_function.remark_constant" schema scope - function constant
 --"remark_schema.remark_function.remark_constant" universal scope - function constant
@@ -147,9 +175,12 @@ several physical lines.
 --"remark_schema.remark_procedure.remark_type" procedure scope - procedure type
 --"remark_schema.remark_procedure.remark_type" schema scope - procedure type
 --"remark_schema.remark_procedure.remark_type" universal scope - procedure type
---"remark_schema.remark_procedure.remark_enumeration_item" procedure scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_enumeration_item" schema scope - procedure enumeration item
---"remark_schema.remark_procedure.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" procedure scope - procedure enumeration item, on the same level as the type
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" schema scope - procedure enumeration item, on the same level as the type
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item
+--"remark_schema.remark_procedure.remark_type.remark_enumeration_item" universal scope - procedure enumeration item, on the same level as the type
 --"remark_schema.remark_procedure.remark_constant" procedure scope - procedure constant
 --"remark_schema.remark_procedure.remark_constant" schema scope - procedure constant
 --"remark_schema.remark_procedure.remark_constant" universal scope - procedure constant
@@ -161,15 +192,27 @@ several physical lines.
 --"remark_schema.remark_rule.remark_type" rule scope - rule type
 --"remark_schema.remark_rule.remark_type" schema scope - rule type
 --"remark_schema.remark_rule.remark_type" universal scope - rule type
---"remark_schema.remark_rule.remark_enumeration_item" rule scope - rule enumeration item
---"remark_schema.remark_rule.remark_enumeration_item" schema scope - rule enumeration item
---"remark_schema.remark_rule.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" rule scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" rule scope - rule enumeration item, on the same level as the type
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" schema scope - rule enumeration item, on the same level as the type
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item
+--"remark_schema.remark_rule.remark_type.remark_enumeration_item" universal scope - rule enumeration item, on the same level as the type
 --"remark_schema.remark_rule.remark_constant" rule scope - rule constant
 --"remark_schema.remark_rule.remark_constant" schema scope - rule constant
 --"remark_schema.remark_rule.remark_constant" universal scope - rule constant
 --"remark_schema.remark_rule.remark_variable" rule scope - rule variable
 --"remark_schema.remark_rule.remark_variable" schema scope - rule variable
 --"remark_schema.remark_rule.remark_variable" universal scope - rule variable
---"remark_schema.remark_rule.remark_where" rule scope - rule where
---"remark_schema.remark_rule.remark_where" schema scope - rule where
---"remark_schema.remark_rule.remark_where" universal scope - rule where
+--"remark_schema.remark_rule.WR1" rule scope - rule where
+--"remark_schema.remark_rule.WR1" rule scope - rule where, with prefix
+--"remark_schema.remark_rule.WR1" schema scope - rule where
+--"remark_schema.remark_rule.WR1" schema scope - rule where, with prefix
+--"remark_schema.remark_rule.WR1" universal scope - rule where
+--"remark_schema.remark_rule.WR1" universal scope - rule where, with prefix
+--"remark_schema.remark_rule.IP1" rule scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" rule scope - rule informal proposition, with prefix
+--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" schema scope - rule informal proposition, with prefix
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition
+--"remark_schema.remark_rule.IP1" universal scope - rule informal proposition, with prefix

data/original/examples/syntax/source.exp

@@ -0,0 +1,16 @@
+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/original/examples/syntax/syntax.exp

@@ -4,9 +4,11 @@ SCHEMA syntax_schema 'version';
 -- interfaces
 USE FROM contract_schema;
 USE FROM contract_schema (contract);
+USE FROM contract_schema (contract, contract2);
 USE FROM contract_schema (contract AS contract2);
 REFERENCE FROM contract_schema;
 REFERENCE FROM contract_schema (contract);
+REFERENCE FROM contract_schema (contract, contract2);
 REFERENCE FROM contract_schema (contract AS contract2);
 
 -- constants
@@ -15,7 +17,7 @@ CONSTANT empty_constant : BOOLEAN := TRUE; END_CONSTANT;
 -- types
 TYPE empty_type = BOOLEAN; END_TYPE;
 TYPE where_type = BOOLEAN; WHERE TRUE; END_TYPE;
-TYPE where_label_type = BOOLEAN; WHERE WR1 : TRUE; END_TYPE; 
+TYPE where_label_type = BOOLEAN; WHERE WR1 : TRUE; END_TYPE;
 
 -- entities
 ENTITY empty_entity; END_ENTITY;
@@ -115,6 +117,7 @@ RULE variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE;
 RULE multiple_variable_expression_rule FOR (empty_entity); LOCAL test : BOOLEAN := TRUE; test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
 RULE multiple_shorthand_variable_expression_rule FOR (empty_entity); LOCAL test, test2 : BOOLEAN := TRUE; END_LOCAL; WHERE TRUE; END_RULE;
 RULE statement_rule FOR (empty_entity); ; WHERE TRUE; END_RULE;
+RULE where_label_rule FOR (empty_entity); WHERE WR1 : TRUE; END_RULE;
 
 -- simple types
 TYPE binary_type = BINARY; END_TYPE;

data/original/examples/syntax/syntax_formatted.exp

@@ -2,11 +2,15 @@ SCHEMA syntax_schema 'version';
 USE FROM contract_schema;
 USE FROM contract_schema
   (contract);
+USE FROM contract_schema
+  (contract, contract2);
 USE FROM contract_schema
   (contract AS contract2);
 REFERENCE FROM contract_schema;
 REFERENCE FROM contract_schema
   (contract);
+REFERENCE FROM contract_schema
+  (contract, contract2);
 REFERENCE FROM contract_schema
   (contract AS contract2);
 CONSTANT
@@ -489,6 +493,11 @@ RULE statement_rule FOR (empty_entity);
     TRUE;
 END_RULE;
 
+RULE where_label_rule FOR (empty_entity);
+  WHERE
+    WR1 : TRUE;
+END_RULE;
+
 TYPE binary_type = BINARY;
 END_TYPE;
 

data/spec/expressir/express_exp/head_source_spec.rb

@@ -0,0 +1,41 @@
+require "spec_helper"
+require "expressir/express_exp/parser"
+
+RSpec.describe Expressir::Model::Scope do
+  describe ".head_source" do
+    it "contains original head source" do
+      input = File.read(sample_file)
+      repo = Expressir::ExpressExp::Parser.from_exp(sample_file)
+
+      expected_result = input
+      expect(repo.source).to eq(expected_result)
+
+      repo.schemas[0].tap do |x|
+        start_index = x.source.index("SCHEMA")
+        stop_index = x.source.index(";") + ";".length - 1
+        expected_result = x.source[start_index..stop_index]
+        expect(x.head_source).to eq(expected_result)
+      end
+
+      repo.schemas[1].tap do |x|
+        start_index = x.source.index("SCHEMA")
+        stop_index = x.source.index(";") + ";".length - 1
+        expected_result = x.source[start_index..stop_index]
+        expect(x.head_source).to eq(expected_result)
+      end
+
+      repo.schemas[2].tap do |x|
+        start_index = x.source.index("SCHEMA")
+        stop_index = x.source.index("REFERENCE FROM contract_schema;") + "REFERENCE FROM contract_schema;".length - 1
+        expected_result = x.source[start_index..stop_index]
+        expect(x.head_source).to eq(expected_result)
+      end
+    end
+  end
+
+  def sample_file
+    @sample_file ||= Expressir.root_path.join(
+      "original", "examples", "syntax", "source.exp"
+    )
+  end
+end

data/spec/expressir/express_exp/parse_multiple_spec.rb

@@ -0,0 +1,32 @@
+require "spec_helper"
+require "expressir/express_exp/parser"
+
+RSpec.describe Expressir::ExpressExp::Parser do
+  describe ".from_files" do
+    it "build an instance from multiple files file" do
+      repo = Expressir::ExpressExp::Parser.from_files(sample_files)
+
+      schemas = repo.schemas
+      expect(schemas.count).to eq(5)
+      expect(schemas[0].id).to eq("syntax_schema")
+      expect(schemas[1].id).to eq("remark_schema")
+      expect(schemas[2].id).to eq("entity_schema")
+      expect(schemas[3].id).to eq("version_entity_schema")
+      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