finitio 0.4.1 → 0.5.0

data/spec/{unit/type_factory → type_factory}/factory/test_set_type.rb

@@ -19,7 +19,7 @@ module Finitio
         it{ should eq(expected) }
 
         it 'should have the correct name' do
-          subject.name.should eq("MySet")
+          expect(subject.name).to eq("MySet")
         end
       end
     end
@@ -36,7 +36,7 @@ module Finitio
       it{ should eq(expected) }
 
       it 'should have the correct name' do
-        subject.name.should eq("MySet")
+        expect(subject.name).to eq("MySet")
       end
     end
 

data/spec/type_factory/factory/test_struct_type.rb

@@ -0,0 +1,18 @@
+require 'spec_helper'
+module Finitio
+  describe TypeFactory, "Factory#struct" do
+
+    let(:factory){ TypeFactory.new }
+
+    context 'when used with [Integer, Float]' do
+      subject{ factory.type([Integer, Float]) }
+
+      it{ should be_a(StructType) }
+
+      it 'should have the expected components' do
+        expect(subject.component_types).to eq([intType, floatType])
+      end
+    end
+
+  end
+end

data/spec/{unit/type_factory → type_factory}/factory/test_sub_type.rb

@@ -9,14 +9,14 @@ module Finitio
       it{ should be_a(SubType) }
 
       it 'should have the BuiltinType(Fixnum) super type' do
-        subject.super_type.should be_a(BuiltinType)
-        subject.super_type.ruby_type.should be(Fixnum)
+        expect(subject.super_type).to be_a(BuiltinType)
+        expect(subject.super_type.ruby_type).to be(Fixnum)
       end
 
       it 'should have the correct constraint' do
-        subject.dress(10).should eq(10)
-        ->{ subject.dress(-12) }.should raise_error(TypeError)
-        ->{ subject.dress(12) }.should raise_error(TypeError)
+        expect(subject.dress(10)).to eq(10)
+        expect{ subject.dress(-12) }.to raise_error(TypeError)
+        expect{ subject.dress(12) }.to raise_error(TypeError)
       end
     end
 
@@ -44,8 +44,8 @@ module Finitio
       it { should be_a(SubType) }
 
       it 'should have the correct constraint' do
-        subject.dress('abc').should eq('abc')
-        ->{ subject.dress('123') }.should raise_error(TypeError)
+        expect(subject.dress('abc')).to eq('abc')
+        expect{ subject.dress('123') }.to raise_error(TypeError)
       end
     end
 

data/spec/{unit/type_factory → type_factory}/factory/test_tuple_type.rb

@@ -18,7 +18,7 @@ module Finitio
       it{ should eq(expected) }
 
       it 'should have the correct name' do
-        subject.name.should eq("MyTuple")
+        expect(subject.name).to eq("MyTuple")
       end
     end
 
@@ -29,13 +29,13 @@ module Finitio
 
       it 'should have the correct constraint on r' do
         subject.dress(r: 36)
-        ->{
+        expect{
           subject.dress(r: 543)
-        }.should raise_error(TypeError)
+        }.to raise_error(TypeError)
       end
 
       it 'should have the correct name' do
-        subject.name.should eq("MyTuple")
+        expect(subject.name).to eq("MyTuple")
       end
     end
 

metadata

@@ -1,32 +1,35 @@
 --- !ruby/object:Gem::Specification
 name: finitio
 version: !ruby/object:Gem::Version
-  version: 0.4.1
-  prerelease: 
+  version: 0.5.0
 platform: ruby
 authors:
 - Bernard Lambeau
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-03-20 00:00:00.000000000 Z
+date: 2015-09-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
   requirement: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ~>
+    - - ">="
       - !ruby/object:Gem::Version
         version: '2.4'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
-    none: false
     requirements:
-    - - ~>
+    - - ">="
       - !ruby/object:Gem::Version
         version: '2.4'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
 description: Implements the Finitio information language in Ruby.
 email:
 - blambeau@gmail.com
@@ -40,323 +43,432 @@ files:
 - CHANGELOG.md
 - Gemfile
 - Gemfile.lock
-- lib/finitio/data_type.rb
-- lib/finitio/errors.rb
+- LICENCE.md
+- Manifest.txt
+- README.md
+- Rakefile
+- finitio.gemspec
+- lib/finitio.rb
 - lib/finitio/Finitio/default.fio
+- lib/finitio/errors.rb
+- lib/finitio/support.rb
 - lib/finitio/support/attribute.rb
-- lib/finitio/support/collection_type.rb
+- lib/finitio/support/compilation.rb
+- lib/finitio/support/constraint.rb
+- lib/finitio/support/contract.rb
 - lib/finitio/support/dress_helper.rb
 - lib/finitio/support/heading.rb
+- lib/finitio/support/metadata.rb
 - lib/finitio/support/type_factory.rb
-- lib/finitio/support.rb
-- lib/finitio/syntax/ad_type.rb
-- lib/finitio/syntax/any_type.rb
-- lib/finitio/syntax/attribute.rb
-- lib/finitio/syntax/builtin_type.rb
-- lib/finitio/syntax/constraint_def.rb
-- lib/finitio/syntax/constraints.rb
-- lib/finitio/syntax/contract.rb
-- lib/finitio/syntax/definitions.rb
-- lib/finitio/syntax/expression.rb
-- lib/finitio/syntax/external_pair.rb
+- lib/finitio/syntax.rb
+- lib/finitio/syntax/expr.rb
+- lib/finitio/syntax/expr/arith_op.rb
+- lib/finitio/syntax/expr/comparison.rb
+- lib/finitio/syntax/expr/fn_call.rb
+- lib/finitio/syntax/expr/identifier.rb
+- lib/finitio/syntax/expr/literal.rb
+- lib/finitio/syntax/expr/logic_dyadic.rb
+- lib/finitio/syntax/expr/logic_not.rb
+- lib/finitio/syntax/expr/oo_call.rb
+- lib/finitio/syntax/expr/parenthesized.rb
+- lib/finitio/syntax/expr/unary_minus_op.rb
+- lib/finitio/syntax/expressions.citrus
 - lib/finitio/syntax/finitio.citrus
 - lib/finitio/syntax/finitio.sexp
-- lib/finitio/syntax/heading.rb
-- lib/finitio/syntax/inline_pair.rb
-- lib/finitio/syntax/lambda_expr.rb
-- lib/finitio/syntax/named_constraint.rb
-- lib/finitio/syntax/relation_type.rb
-- lib/finitio/syntax/seq_type.rb
-- lib/finitio/syntax/set_type.rb
-- lib/finitio/syntax/sub_type.rb
-- lib/finitio/syntax/support.rb
-- lib/finitio/syntax/system.rb
-- lib/finitio/syntax/tuple_type.rb
-- lib/finitio/syntax/type_def.rb
-- lib/finitio/syntax/type_ref.rb
-- lib/finitio/syntax/union_type.rb
-- lib/finitio/syntax/unnamed_constraint.rb
-- lib/finitio/syntax.rb
+- lib/finitio/syntax/lexer.citrus
+- lib/finitio/syntax/literal.rb
+- lib/finitio/syntax/literal/boolean.rb
+- lib/finitio/syntax/literal/integer.rb
+- lib/finitio/syntax/literal/real.rb
+- lib/finitio/syntax/literal/string.rb
+- lib/finitio/syntax/literals.citrus
+- lib/finitio/syntax/node.rb
+- lib/finitio/syntax/type.rb
+- lib/finitio/syntax/type/ad_type.rb
+- lib/finitio/syntax/type/any_type.rb
+- lib/finitio/syntax/type/attribute.rb
+- lib/finitio/syntax/type/builtin_type.rb
+- lib/finitio/syntax/type/constraint_def.rb
+- lib/finitio/syntax/type/constraints.rb
+- lib/finitio/syntax/type/contract.rb
+- lib/finitio/syntax/type/definitions.rb
+- lib/finitio/syntax/type/expression.rb
+- lib/finitio/syntax/type/external_pair.rb
+- lib/finitio/syntax/type/heading.rb
+- lib/finitio/syntax/type/inline_pair.rb
+- lib/finitio/syntax/type/lambda_expr.rb
+- lib/finitio/syntax/type/main_type.rb
+- lib/finitio/syntax/type/metadata.rb
+- lib/finitio/syntax/type/metadata_attr.rb
+- lib/finitio/syntax/type/named_constraint.rb
+- lib/finitio/syntax/type/relation_type.rb
+- lib/finitio/syntax/type/seq_type.rb
+- lib/finitio/syntax/type/set_type.rb
+- lib/finitio/syntax/type/struct_type.rb
+- lib/finitio/syntax/type/sub_type.rb
+- lib/finitio/syntax/type/system.rb
+- lib/finitio/syntax/type/tuple_type.rb
+- lib/finitio/syntax/type/type_def.rb
+- lib/finitio/syntax/type/type_ref.rb
+- lib/finitio/syntax/type/union_type.rb
+- lib/finitio/syntax/type/unnamed_constraint.rb
+- lib/finitio/syntax/types.citrus
 - lib/finitio/system.rb
+- lib/finitio/type.rb
 - lib/finitio/type/ad_type.rb
+- lib/finitio/type/alias_type.rb
 - lib/finitio/type/any_type.rb
 - lib/finitio/type/builtin_type.rb
+- lib/finitio/type/collection_type.rb
+- lib/finitio/type/hash_based_type.rb
+- lib/finitio/type/heading_based_type.rb
+- lib/finitio/type/multi_relation_type.rb
+- lib/finitio/type/multi_tuple_type.rb
+- lib/finitio/type/proxy_type.rb
+- lib/finitio/type/rel_based_type.rb
 - lib/finitio/type/relation_type.rb
 - lib/finitio/type/seq_type.rb
 - lib/finitio/type/set_type.rb
+- lib/finitio/type/struct_type.rb
 - lib/finitio/type/sub_type.rb
 - lib/finitio/type/tuple_type.rb
 - lib/finitio/type/union_type.rb
-- lib/finitio/type.rb
 - lib/finitio/version.rb
-- lib/finitio.rb
-- LICENCE.md
-- Manifest.txt
-- finitio.gemspec
-- Rakefile
-- README.md
-- spec/acceptance/ad_type/test_in_finitio.rb
-- spec/acceptance/ad_type/test_in_ruby.rb
-- spec/acceptance/Finitio/test_default.rb
-- spec/acceptance/Finitio/test_parsing.rb
+- spec/attribute/test_equality.rb
+- spec/attribute/test_fetch_on.rb
+- spec/attribute/test_initialize.rb
+- spec/attribute/test_optional.rb
+- spec/attribute/test_required.rb
+- spec/attribute/test_to_name.rb
+- spec/constraint/test_anonymous.rb
+- spec/constraint/test_equality.rb
+- spec/constraint/test_name.rb
+- spec/constraint/test_named.rb
+- spec/constraint/test_triple_equal.rb
+- spec/finitio/system.fio
+- spec/finitio/test_ast.rb
+- spec/finitio/test_parse.rb
+- spec/finitio/test_system.rb
+- spec/heading/test_allow_extra.rb
+- spec/heading/test_each.rb
+- spec/heading/test_equality.rb
+- spec/heading/test_hash.rb
+- spec/heading/test_hash_get.rb
+- spec/heading/test_initialize.rb
+- spec/heading/test_multi.rb
+- spec/heading/test_size.rb
+- spec/heading/test_to_name.rb
 - spec/spec_helper.rb
-- spec/unit/attribute/test_equality.rb
-- spec/unit/attribute/test_fetch_on.rb
-- spec/unit/attribute/test_initialize.rb
-- spec/unit/attribute/test_to_name.rb
-- spec/unit/heading/test_each.rb
-- spec/unit/heading/test_equality.rb
-- spec/unit/heading/test_initialize.rb
-- spec/unit/heading/test_size.rb
-- spec/unit/heading/test_to_name.rb
-- spec/unit/qrb/system.q
-- spec/unit/qrb/test_ast.rb
-- spec/unit/qrb/test_parse.rb
-- spec/unit/syntax/nodes/test_ad_type.rb
-- spec/unit/syntax/nodes/test_any_type.rb
-- spec/unit/syntax/nodes/test_attribute.rb
-- spec/unit/syntax/nodes/test_builtin_type.rb
-- spec/unit/syntax/nodes/test_comment.rb
-- spec/unit/syntax/nodes/test_constraint_def.rb
-- spec/unit/syntax/nodes/test_constraints.rb
-- spec/unit/syntax/nodes/test_contract.rb
-- spec/unit/syntax/nodes/test_expression.rb
-- spec/unit/syntax/nodes/test_heading.rb
-- spec/unit/syntax/nodes/test_named_constraint.rb
-- spec/unit/syntax/nodes/test_relation_type.rb
-- spec/unit/syntax/nodes/test_seq_type.rb
-- spec/unit/syntax/nodes/test_set_type.rb
-- spec/unit/syntax/nodes/test_spacing.rb
-- spec/unit/syntax/nodes/test_sub_type.rb
-- spec/unit/syntax/nodes/test_system.rb
-- spec/unit/syntax/nodes/test_tuple_type.rb
-- spec/unit/syntax/nodes/test_type_def.rb
-- spec/unit/syntax/nodes/test_type_ref.rb
-- spec/unit/syntax/nodes/test_union_type.rb
-- spec/unit/syntax/nodes/test_unnamed_constraint.rb
-- spec/unit/syntax/test_compile_type.rb
-- spec/unit/system/test_add_type.rb
-- spec/unit/system/test_dsl.rb
-- spec/unit/system/test_dup.rb
-- spec/unit/system/test_fetch.rb
-- spec/unit/system/test_get_type.rb
-- spec/unit/system/test_initialize.rb
-- spec/unit/test_finitio.rb
-- spec/unit/type/ad_type/test_default_name.rb
-- spec/unit/type/ad_type/test_dress.rb
-- spec/unit/type/ad_type/test_include.rb
-- spec/unit/type/ad_type/test_initialize.rb
-- spec/unit/type/ad_type/test_name.rb
-- spec/unit/type/any_type/test_default_name.rb
-- spec/unit/type/any_type/test_dress.rb
-- spec/unit/type/any_type/test_equality.rb
-- spec/unit/type/any_type/test_include.rb
-- spec/unit/type/any_type/test_initialize.rb
-- spec/unit/type/any_type/test_name.rb
-- spec/unit/type/builtin_type/test_default_name.rb
-- spec/unit/type/builtin_type/test_dress.rb
-- spec/unit/type/builtin_type/test_equality.rb
-- spec/unit/type/builtin_type/test_include.rb
-- spec/unit/type/builtin_type/test_initialize.rb
-- spec/unit/type/builtin_type/test_name.rb
-- spec/unit/type/relation_type/test_default_name.rb
-- spec/unit/type/relation_type/test_dress.rb
-- spec/unit/type/relation_type/test_equality.rb
-- spec/unit/type/relation_type/test_include.rb
-- spec/unit/type/relation_type/test_initialize.rb
-- spec/unit/type/relation_type/test_name.rb
-- spec/unit/type/seq_type/test_default_name.rb
-- spec/unit/type/seq_type/test_dress.rb
-- spec/unit/type/seq_type/test_equality.rb
-- spec/unit/type/seq_type/test_include.rb
-- spec/unit/type/seq_type/test_initialize.rb
-- spec/unit/type/seq_type/test_name.rb
-- spec/unit/type/set_type/test_default_name.rb
-- spec/unit/type/set_type/test_dress.rb
-- spec/unit/type/set_type/test_equality.rb
-- spec/unit/type/set_type/test_include.rb
-- spec/unit/type/set_type/test_initialize.rb
-- spec/unit/type/set_type/test_name.rb
-- spec/unit/type/sub_type/test_default_name.rb
-- spec/unit/type/sub_type/test_dress.rb
-- spec/unit/type/sub_type/test_equality.rb
-- spec/unit/type/sub_type/test_include.rb
-- spec/unit/type/sub_type/test_initialize.rb
-- spec/unit/type/sub_type/test_name.rb
-- spec/unit/type/tuple_type/test_default_name.rb
-- spec/unit/type/tuple_type/test_dress.rb
-- spec/unit/type/tuple_type/test_equality.rb
-- spec/unit/type/tuple_type/test_include.rb
-- spec/unit/type/tuple_type/test_initialize.rb
-- spec/unit/type/tuple_type/test_name.rb
-- spec/unit/type/union_type/test_default_name.rb
-- spec/unit/type/union_type/test_dress.rb
-- spec/unit/type/union_type/test_equality.rb
-- spec/unit/type/union_type/test_include.rb
-- spec/unit/type/union_type/test_initialize.rb
-- spec/unit/type/union_type/test_name.rb
-- spec/unit/type_factory/dsl/test_adt.rb
-- spec/unit/type_factory/dsl/test_any.rb
-- spec/unit/type_factory/dsl/test_attribute.rb
-- spec/unit/type_factory/dsl/test_attributes.rb
-- spec/unit/type_factory/dsl/test_builtin.rb
-- spec/unit/type_factory/dsl/test_relation.rb
-- spec/unit/type_factory/dsl/test_seq.rb
-- spec/unit/type_factory/dsl/test_set.rb
-- spec/unit/type_factory/dsl/test_subtype.rb
-- spec/unit/type_factory/dsl/test_tuple.rb
-- spec/unit/type_factory/dsl/test_union.rb
-- spec/unit/type_factory/factory/test_builtin.rb
-- spec/unit/type_factory/factory/test_seq_type.rb
-- spec/unit/type_factory/factory/test_set_type.rb
-- spec/unit/type_factory/factory/test_sub_type.rb
-- spec/unit/type_factory/factory/test_tuple_type.rb
+- spec/syntax/expr/test_free_variables.rb
+- spec/syntax/expr/test_to_proc_source.rb
+- spec/syntax/nodes/test_ad_type.rb
+- spec/syntax/nodes/test_any_type.rb
+- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_builtin_type.rb
+- spec/syntax/nodes/test_comment.rb
+- spec/syntax/nodes/test_constraint_def.rb
+- spec/syntax/nodes/test_constraints.rb
+- spec/syntax/nodes/test_contract.rb
+- spec/syntax/nodes/test_expression.rb
+- spec/syntax/nodes/test_heading.rb
+- spec/syntax/nodes/test_metadata.rb
+- spec/syntax/nodes/test_named_constraint.rb
+- spec/syntax/nodes/test_relation_type.rb
+- spec/syntax/nodes/test_seq_type.rb
+- spec/syntax/nodes/test_set_type.rb
+- spec/syntax/nodes/test_spacing.rb
+- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/test_sub_type.rb
+- spec/syntax/nodes/test_system.rb
+- spec/syntax/nodes/test_tuple_type.rb
+- spec/syntax/nodes/test_type_def.rb
+- spec/syntax/nodes/test_type_ref.rb
+- spec/syntax/nodes/test_union_type.rb
+- spec/syntax/nodes/test_unnamed_constraint.rb
+- spec/syntax/test_compile.rb
+- spec/syntax/test_compile_type.rb
+- spec/system/test_add_type.rb
+- spec/system/test_dsl.rb
+- spec/system/test_dup.rb
+- spec/system/test_fetch.rb
+- spec/system/test_get_type.rb
+- spec/system/test_initialize.rb
+- spec/test_finitio.rb
+- spec/type/ad_type/test_default_name.rb
+- spec/type/ad_type/test_dress.rb
+- spec/type/ad_type/test_include.rb
+- spec/type/ad_type/test_initialize.rb
+- spec/type/ad_type/test_name.rb
+- spec/type/alias_type/test_default_name.rb
+- spec/type/alias_type/test_delegation.rb
+- spec/type/alias_type/test_name.rb
+- spec/type/any_type/test_default_name.rb
+- spec/type/any_type/test_dress.rb
+- spec/type/any_type/test_equality.rb
+- spec/type/any_type/test_include.rb
+- spec/type/any_type/test_initialize.rb
+- spec/type/any_type/test_name.rb
+- spec/type/builtin_type/test_default_name.rb
+- spec/type/builtin_type/test_dress.rb
+- spec/type/builtin_type/test_equality.rb
+- spec/type/builtin_type/test_include.rb
+- spec/type/builtin_type/test_initialize.rb
+- spec/type/builtin_type/test_name.rb
+- spec/type/multi_relation_type/test_default_name.rb
+- spec/type/multi_relation_type/test_dress.rb
+- spec/type/multi_relation_type/test_equality.rb
+- spec/type/multi_relation_type/test_include.rb
+- spec/type/multi_relation_type/test_initialize.rb
+- spec/type/multi_relation_type/test_name.rb
+- spec/type/multi_tuple_type/test_default_name.rb
+- spec/type/multi_tuple_type/test_dress.rb
+- spec/type/multi_tuple_type/test_equality.rb
+- spec/type/multi_tuple_type/test_include.rb
+- spec/type/multi_tuple_type/test_initialize.rb
+- spec/type/multi_tuple_type/test_name.rb
+- spec/type/proxy_type/test_delegation.rb
+- spec/type/proxy_type/test_resolve.rb
+- spec/type/relation_type/test_default_name.rb
+- spec/type/relation_type/test_dress.rb
+- spec/type/relation_type/test_equality.rb
+- spec/type/relation_type/test_include.rb
+- spec/type/relation_type/test_initialize.rb
+- spec/type/relation_type/test_name.rb
+- spec/type/seq_type/test_default_name.rb
+- spec/type/seq_type/test_dress.rb
+- spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_include.rb
+- spec/type/seq_type/test_initialize.rb
+- spec/type/seq_type/test_name.rb
+- spec/type/set_type/test_default_name.rb
+- spec/type/set_type/test_dress.rb
+- spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_include.rb
+- spec/type/set_type/test_initialize.rb
+- spec/type/set_type/test_name.rb
+- spec/type/struct_type/test_default_name.rb
+- spec/type/struct_type/test_dress.rb
+- spec/type/struct_type/test_equality.rb
+- spec/type/struct_type/test_include.rb
+- spec/type/struct_type/test_initialize.rb
+- spec/type/struct_type/test_name.rb
+- spec/type/sub_type/test_default_name.rb
+- spec/type/sub_type/test_dress.rb
+- spec/type/sub_type/test_equality.rb
+- spec/type/sub_type/test_include.rb
+- spec/type/sub_type/test_initialize.rb
+- spec/type/sub_type/test_name.rb
+- spec/type/tuple_type/test_default_name.rb
+- spec/type/tuple_type/test_dress.rb
+- spec/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_include.rb
+- spec/type/tuple_type/test_initialize.rb
+- spec/type/tuple_type/test_name.rb
+- spec/type/union_type/test_default_name.rb
+- spec/type/union_type/test_dress.rb
+- spec/type/union_type/test_equality.rb
+- spec/type/union_type/test_include.rb
+- spec/type/union_type/test_initialize.rb
+- spec/type/union_type/test_name.rb
+- spec/type_factory/dsl/test_adt.rb
+- spec/type_factory/dsl/test_any.rb
+- spec/type_factory/dsl/test_attribute.rb
+- spec/type_factory/dsl/test_attributes.rb
+- spec/type_factory/dsl/test_builtin.rb
+- spec/type_factory/dsl/test_multi_relation.rb
+- spec/type_factory/dsl/test_multi_tuple.rb
+- spec/type_factory/dsl/test_relation.rb
+- spec/type_factory/dsl/test_seq.rb
+- spec/type_factory/dsl/test_set.rb
+- spec/type_factory/dsl/test_struct.rb
+- spec/type_factory/dsl/test_subtype.rb
+- spec/type_factory/dsl/test_tuple.rb
+- spec/type_factory/dsl/test_union.rb
+- spec/type_factory/factory/test_builtin.rb
+- spec/type_factory/factory/test_seq_type.rb
+- spec/type_factory/factory/test_set_type.rb
+- spec/type_factory/factory/test_struct_type.rb
+- spec/type_factory/factory/test_sub_type.rb
+- spec/type_factory/factory/test_tuple_type.rb
 - tasks/gem.rake
 - tasks/test.rake
 homepage: https://github.com/blambeau/finitio
 licenses: []
+metadata: {}
 post_install_message: 
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
-      segments:
-      - 0
-      hash: 2377554315646118506
 required_rubygems_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
-      segments:
-      - 0
-      hash: 2377554315646118506
 requirements: []
 rubyforge_project: 
-rubygems_version: 1.8.25
+rubygems_version: 2.4.5
 signing_key: 
-specification_version: 3
+specification_version: 4
 summary: Finitio - in Ruby
 test_files:
-- spec/acceptance/ad_type/test_in_finitio.rb
-- spec/acceptance/ad_type/test_in_ruby.rb
-- spec/acceptance/Finitio/test_default.rb
-- spec/acceptance/Finitio/test_parsing.rb
+- spec/attribute/test_equality.rb
+- spec/attribute/test_fetch_on.rb
+- spec/attribute/test_initialize.rb
+- spec/attribute/test_optional.rb
+- spec/attribute/test_required.rb
+- spec/attribute/test_to_name.rb
+- spec/constraint/test_anonymous.rb
+- spec/constraint/test_equality.rb
+- spec/constraint/test_name.rb
+- spec/constraint/test_named.rb
+- spec/constraint/test_triple_equal.rb
+- spec/finitio/system.fio
+- spec/finitio/test_ast.rb
+- spec/finitio/test_parse.rb
+- spec/finitio/test_system.rb
+- spec/heading/test_allow_extra.rb
+- spec/heading/test_each.rb
+- spec/heading/test_equality.rb
+- spec/heading/test_hash.rb
+- spec/heading/test_hash_get.rb
+- spec/heading/test_initialize.rb
+- spec/heading/test_multi.rb
+- spec/heading/test_size.rb
+- spec/heading/test_to_name.rb
 - spec/spec_helper.rb
-- spec/unit/attribute/test_equality.rb
-- spec/unit/attribute/test_fetch_on.rb
-- spec/unit/attribute/test_initialize.rb
-- spec/unit/attribute/test_to_name.rb
-- spec/unit/heading/test_each.rb
-- spec/unit/heading/test_equality.rb
-- spec/unit/heading/test_initialize.rb
-- spec/unit/heading/test_size.rb
-- spec/unit/heading/test_to_name.rb
-- spec/unit/qrb/system.q
-- spec/unit/qrb/test_ast.rb
-- spec/unit/qrb/test_parse.rb
-- spec/unit/syntax/nodes/test_ad_type.rb
-- spec/unit/syntax/nodes/test_any_type.rb
-- spec/unit/syntax/nodes/test_attribute.rb
-- spec/unit/syntax/nodes/test_builtin_type.rb
-- spec/unit/syntax/nodes/test_comment.rb
-- spec/unit/syntax/nodes/test_constraint_def.rb
-- spec/unit/syntax/nodes/test_constraints.rb
-- spec/unit/syntax/nodes/test_contract.rb
-- spec/unit/syntax/nodes/test_expression.rb
-- spec/unit/syntax/nodes/test_heading.rb
-- spec/unit/syntax/nodes/test_named_constraint.rb
-- spec/unit/syntax/nodes/test_relation_type.rb
-- spec/unit/syntax/nodes/test_seq_type.rb
-- spec/unit/syntax/nodes/test_set_type.rb
-- spec/unit/syntax/nodes/test_spacing.rb
-- spec/unit/syntax/nodes/test_sub_type.rb
-- spec/unit/syntax/nodes/test_system.rb
-- spec/unit/syntax/nodes/test_tuple_type.rb
-- spec/unit/syntax/nodes/test_type_def.rb
-- spec/unit/syntax/nodes/test_type_ref.rb
-- spec/unit/syntax/nodes/test_union_type.rb
-- spec/unit/syntax/nodes/test_unnamed_constraint.rb
-- spec/unit/syntax/test_compile_type.rb
-- spec/unit/system/test_add_type.rb
-- spec/unit/system/test_dsl.rb
-- spec/unit/system/test_dup.rb
-- spec/unit/system/test_fetch.rb
-- spec/unit/system/test_get_type.rb
-- spec/unit/system/test_initialize.rb
-- spec/unit/test_finitio.rb
-- spec/unit/type/ad_type/test_default_name.rb
-- spec/unit/type/ad_type/test_dress.rb
-- spec/unit/type/ad_type/test_include.rb
-- spec/unit/type/ad_type/test_initialize.rb
-- spec/unit/type/ad_type/test_name.rb
-- spec/unit/type/any_type/test_default_name.rb
-- spec/unit/type/any_type/test_dress.rb
-- spec/unit/type/any_type/test_equality.rb
-- spec/unit/type/any_type/test_include.rb
-- spec/unit/type/any_type/test_initialize.rb
-- spec/unit/type/any_type/test_name.rb
-- spec/unit/type/builtin_type/test_default_name.rb
-- spec/unit/type/builtin_type/test_dress.rb
-- spec/unit/type/builtin_type/test_equality.rb
-- spec/unit/type/builtin_type/test_include.rb
-- spec/unit/type/builtin_type/test_initialize.rb
-- spec/unit/type/builtin_type/test_name.rb
-- spec/unit/type/relation_type/test_default_name.rb
-- spec/unit/type/relation_type/test_dress.rb
-- spec/unit/type/relation_type/test_equality.rb
-- spec/unit/type/relation_type/test_include.rb
-- spec/unit/type/relation_type/test_initialize.rb
-- spec/unit/type/relation_type/test_name.rb
-- spec/unit/type/seq_type/test_default_name.rb
-- spec/unit/type/seq_type/test_dress.rb
-- spec/unit/type/seq_type/test_equality.rb
-- spec/unit/type/seq_type/test_include.rb
-- spec/unit/type/seq_type/test_initialize.rb
-- spec/unit/type/seq_type/test_name.rb
-- spec/unit/type/set_type/test_default_name.rb
-- spec/unit/type/set_type/test_dress.rb
-- spec/unit/type/set_type/test_equality.rb
-- spec/unit/type/set_type/test_include.rb
-- spec/unit/type/set_type/test_initialize.rb
-- spec/unit/type/set_type/test_name.rb
-- spec/unit/type/sub_type/test_default_name.rb
-- spec/unit/type/sub_type/test_dress.rb
-- spec/unit/type/sub_type/test_equality.rb
-- spec/unit/type/sub_type/test_include.rb
-- spec/unit/type/sub_type/test_initialize.rb
-- spec/unit/type/sub_type/test_name.rb
-- spec/unit/type/tuple_type/test_default_name.rb
-- spec/unit/type/tuple_type/test_dress.rb
-- spec/unit/type/tuple_type/test_equality.rb
-- spec/unit/type/tuple_type/test_include.rb
-- spec/unit/type/tuple_type/test_initialize.rb
-- spec/unit/type/tuple_type/test_name.rb
-- spec/unit/type/union_type/test_default_name.rb
-- spec/unit/type/union_type/test_dress.rb
-- spec/unit/type/union_type/test_equality.rb
-- spec/unit/type/union_type/test_include.rb
-- spec/unit/type/union_type/test_initialize.rb
-- spec/unit/type/union_type/test_name.rb
-- spec/unit/type_factory/dsl/test_adt.rb
-- spec/unit/type_factory/dsl/test_any.rb
-- spec/unit/type_factory/dsl/test_attribute.rb
-- spec/unit/type_factory/dsl/test_attributes.rb
-- spec/unit/type_factory/dsl/test_builtin.rb
-- spec/unit/type_factory/dsl/test_relation.rb
-- spec/unit/type_factory/dsl/test_seq.rb
-- spec/unit/type_factory/dsl/test_set.rb
-- spec/unit/type_factory/dsl/test_subtype.rb
-- spec/unit/type_factory/dsl/test_tuple.rb
-- spec/unit/type_factory/dsl/test_union.rb
-- spec/unit/type_factory/factory/test_builtin.rb
-- spec/unit/type_factory/factory/test_seq_type.rb
-- spec/unit/type_factory/factory/test_set_type.rb
-- spec/unit/type_factory/factory/test_sub_type.rb
-- spec/unit/type_factory/factory/test_tuple_type.rb
+- spec/syntax/expr/test_free_variables.rb
+- spec/syntax/expr/test_to_proc_source.rb
+- spec/syntax/nodes/test_ad_type.rb
+- spec/syntax/nodes/test_any_type.rb
+- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_builtin_type.rb
+- spec/syntax/nodes/test_comment.rb
+- spec/syntax/nodes/test_constraint_def.rb
+- spec/syntax/nodes/test_constraints.rb
+- spec/syntax/nodes/test_contract.rb
+- spec/syntax/nodes/test_expression.rb
+- spec/syntax/nodes/test_heading.rb
+- spec/syntax/nodes/test_metadata.rb
+- spec/syntax/nodes/test_named_constraint.rb
+- spec/syntax/nodes/test_relation_type.rb
+- spec/syntax/nodes/test_seq_type.rb
+- spec/syntax/nodes/test_set_type.rb
+- spec/syntax/nodes/test_spacing.rb
+- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/test_sub_type.rb
+- spec/syntax/nodes/test_system.rb
+- spec/syntax/nodes/test_tuple_type.rb
+- spec/syntax/nodes/test_type_def.rb
+- spec/syntax/nodes/test_type_ref.rb
+- spec/syntax/nodes/test_union_type.rb
+- spec/syntax/nodes/test_unnamed_constraint.rb
+- spec/syntax/test_compile.rb
+- spec/syntax/test_compile_type.rb
+- spec/system/test_add_type.rb
+- spec/system/test_dsl.rb
+- spec/system/test_dup.rb
+- spec/system/test_fetch.rb
+- spec/system/test_get_type.rb
+- spec/system/test_initialize.rb
+- spec/test_finitio.rb
+- spec/type/ad_type/test_default_name.rb
+- spec/type/ad_type/test_dress.rb
+- spec/type/ad_type/test_include.rb
+- spec/type/ad_type/test_initialize.rb
+- spec/type/ad_type/test_name.rb
+- spec/type/alias_type/test_default_name.rb
+- spec/type/alias_type/test_delegation.rb
+- spec/type/alias_type/test_name.rb
+- spec/type/any_type/test_default_name.rb
+- spec/type/any_type/test_dress.rb
+- spec/type/any_type/test_equality.rb
+- spec/type/any_type/test_include.rb
+- spec/type/any_type/test_initialize.rb
+- spec/type/any_type/test_name.rb
+- spec/type/builtin_type/test_default_name.rb
+- spec/type/builtin_type/test_dress.rb
+- spec/type/builtin_type/test_equality.rb
+- spec/type/builtin_type/test_include.rb
+- spec/type/builtin_type/test_initialize.rb
+- spec/type/builtin_type/test_name.rb
+- spec/type/multi_relation_type/test_default_name.rb
+- spec/type/multi_relation_type/test_dress.rb
+- spec/type/multi_relation_type/test_equality.rb
+- spec/type/multi_relation_type/test_include.rb
+- spec/type/multi_relation_type/test_initialize.rb
+- spec/type/multi_relation_type/test_name.rb
+- spec/type/multi_tuple_type/test_default_name.rb
+- spec/type/multi_tuple_type/test_dress.rb
+- spec/type/multi_tuple_type/test_equality.rb
+- spec/type/multi_tuple_type/test_include.rb
+- spec/type/multi_tuple_type/test_initialize.rb
+- spec/type/multi_tuple_type/test_name.rb
+- spec/type/proxy_type/test_delegation.rb
+- spec/type/proxy_type/test_resolve.rb
+- spec/type/relation_type/test_default_name.rb
+- spec/type/relation_type/test_dress.rb
+- spec/type/relation_type/test_equality.rb
+- spec/type/relation_type/test_include.rb
+- spec/type/relation_type/test_initialize.rb
+- spec/type/relation_type/test_name.rb
+- spec/type/seq_type/test_default_name.rb
+- spec/type/seq_type/test_dress.rb
+- spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_include.rb
+- spec/type/seq_type/test_initialize.rb
+- spec/type/seq_type/test_name.rb
+- spec/type/set_type/test_default_name.rb
+- spec/type/set_type/test_dress.rb
+- spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_include.rb
+- spec/type/set_type/test_initialize.rb
+- spec/type/set_type/test_name.rb
+- spec/type/struct_type/test_default_name.rb
+- spec/type/struct_type/test_dress.rb
+- spec/type/struct_type/test_equality.rb
+- spec/type/struct_type/test_include.rb
+- spec/type/struct_type/test_initialize.rb
+- spec/type/struct_type/test_name.rb
+- spec/type/sub_type/test_default_name.rb
+- spec/type/sub_type/test_dress.rb
+- spec/type/sub_type/test_equality.rb
+- spec/type/sub_type/test_include.rb
+- spec/type/sub_type/test_initialize.rb
+- spec/type/sub_type/test_name.rb
+- spec/type/tuple_type/test_default_name.rb
+- spec/type/tuple_type/test_dress.rb
+- spec/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_include.rb
+- spec/type/tuple_type/test_initialize.rb
+- spec/type/tuple_type/test_name.rb
+- spec/type/union_type/test_default_name.rb
+- spec/type/union_type/test_dress.rb
+- spec/type/union_type/test_equality.rb
+- spec/type/union_type/test_include.rb
+- spec/type/union_type/test_initialize.rb
+- spec/type/union_type/test_name.rb
+- spec/type_factory/dsl/test_adt.rb
+- spec/type_factory/dsl/test_any.rb
+- spec/type_factory/dsl/test_attribute.rb
+- spec/type_factory/dsl/test_attributes.rb
+- spec/type_factory/dsl/test_builtin.rb
+- spec/type_factory/dsl/test_multi_relation.rb
+- spec/type_factory/dsl/test_multi_tuple.rb
+- spec/type_factory/dsl/test_relation.rb
+- spec/type_factory/dsl/test_seq.rb
+- spec/type_factory/dsl/test_set.rb
+- spec/type_factory/dsl/test_struct.rb
+- spec/type_factory/dsl/test_subtype.rb
+- spec/type_factory/dsl/test_tuple.rb
+- spec/type_factory/dsl/test_union.rb
+- spec/type_factory/factory/test_builtin.rb
+- spec/type_factory/factory/test_seq_type.rb
+- spec/type_factory/factory/test_set_type.rb
+- spec/type_factory/factory/test_struct_type.rb
+- spec/type_factory/factory/test_sub_type.rb
+- spec/type_factory/factory/test_tuple_type.rb