finitio 0.7.0.pre.rc3 → 0.9.1

data/tasks/test.rake

@@ -18,7 +18,7 @@ namespace :test do
     require 'cucumber/rake/task'
 
     Cucumber::Rake::Task.new(:cucumber) do |t|
-      t.cucumber_opts = "features --format pretty"
+      t.cucumber_opts = "features --format progress"
     end
   rescue LoadError => ex
     task :unit do

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: finitio
 version: !ruby/object:Gem::Version
-  version: 0.7.0.pre.rc3
+  version: 0.9.1
 platform: ruby
 authors:
 - Bernard Lambeau
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2019-02-27 00:00:00.000000000 Z
+date: 2020-12-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -50,6 +50,33 @@ files:
 - finitio.gemspec
 - lib/finitio.rb
 - lib/finitio/errors.rb
+- lib/finitio/generation.rb
+- lib/finitio/generation/ad_type.rb
+- lib/finitio/generation/alias_type.rb
+- lib/finitio/generation/any_type.rb
+- lib/finitio/generation/builtin_type.rb
+- lib/finitio/generation/hash_based_type.rb
+- lib/finitio/generation/heuristic.rb
+- lib/finitio/generation/heuristic/constant.rb
+- lib/finitio/generation/heuristic/random.rb
+- lib/finitio/generation/rel_based_type.rb
+- lib/finitio/generation/seq_type.rb
+- lib/finitio/generation/set_type.rb
+- lib/finitio/generation/sub_type.rb
+- lib/finitio/generation/union_type.rb
+- lib/finitio/inference.rb
+- lib/finitio/json_schema.rb
+- lib/finitio/json_schema/ad_type.rb
+- lib/finitio/json_schema/alias_type.rb
+- lib/finitio/json_schema/any_type.rb
+- lib/finitio/json_schema/builtin_type.rb
+- lib/finitio/json_schema/hash_based_type.rb
+- lib/finitio/json_schema/rel_based_type.rb
+- lib/finitio/json_schema/seq_type.rb
+- lib/finitio/json_schema/set_type.rb
+- lib/finitio/json_schema/struct_type.rb
+- lib/finitio/json_schema/sub_type.rb
+- lib/finitio/json_schema/union_type.rb
 - lib/finitio/stdlib/finitio/data.fio
 - lib/finitio/support.rb
 - lib/finitio/support/attribute.rb
@@ -57,6 +84,7 @@ files:
 - lib/finitio/support/constraint.rb
 - lib/finitio/support/contract.rb
 - lib/finitio/support/dress_helper.rb
+- lib/finitio/support/fetch_scope.rb
 - lib/finitio/support/heading.rb
 - lib/finitio/support/metadata.rb
 - lib/finitio/support/proc_with_code.rb
@@ -100,6 +128,8 @@ files:
 - lib/finitio/syntax/type/external_pair.rb
 - lib/finitio/syntax/type/heading.rb
 - lib/finitio/syntax/type/heading_extra.rb
+- lib/finitio/syntax/type/high_order_type_instantiation.rb
+- lib/finitio/syntax/type/high_order_vars.rb
 - lib/finitio/syntax/type/inline_pair.rb
 - lib/finitio/syntax/type/lambda_expr.rb
 - lib/finitio/syntax/type/main_type.rb
@@ -126,6 +156,7 @@ files:
 - lib/finitio/type/collection_type.rb
 - lib/finitio/type/hash_based_type.rb
 - lib/finitio/type/heading_based_type.rb
+- lib/finitio/type/high_order_type.rb
 - lib/finitio/type/multi_relation_type.rb
 - lib/finitio/type/multi_tuple_type.rb
 - lib/finitio/type/proxy_type.rb
@@ -152,18 +183,37 @@ files:
 - spec/finitio/system.fio
 - spec/finitio/test_ast.rb
 - spec/finitio/test_parse.rb
+- spec/finitio/test_stdlib_memoization.rb
 - spec/finitio/test_system.rb
-- spec/finitio/with-duplicates.fio
+- spec/generation/test_generation.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_looks_similar.rb
 - spec/heading/test_multi.rb
 - spec/heading/test_size.rb
+- spec/heading/test_suppremum.rb
 - spec/heading/test_to_name.rb
+- spec/inference/test_inference.rb
+- spec/json_schema/test_ad_type.rb
+- spec/json_schema/test_alias_type.rb
+- spec/json_schema/test_any_type.rb
+- spec/json_schema/test_builtin_type.rb
+- spec/json_schema/test_multi_relation_type.rb
+- spec/json_schema/test_multi_tuple_type.rb
+- spec/json_schema/test_relation_type.rb
+- spec/json_schema/test_seq_type.rb
+- spec/json_schema/test_set_type.rb
+- spec/json_schema/test_struct_type.rb
+- spec/json_schema/test_sub_type.rb
+- spec/json_schema/test_tuple_type.rb
+- spec/json_schema/test_union_type.rb
+- spec/regression/test_heading_extra_are_proxy_resolved.rb
 - spec/spec_helper.rb
+- spec/support/test_compare_attrs.rb
 - spec/support/test_proc_with_code.rb
 - spec/syntax/expr/test_free_variables.rb
 - spec/syntax/expr/test_to_proc_source.rb
@@ -195,7 +245,10 @@ files:
 - spec/syntax/nodes/test_unnamed_constraint.rb
 - spec/syntax/test_compile.rb
 - spec/syntax/test_compile_type.rb
+- spec/system/fixtures/system.fio
+- spec/system/fixtures/with-duplicates.fio
 - spec/system/test_add_type.rb
+- spec/system/test_check_and_warn.rb
 - spec/system/test_dsl.rb
 - spec/system/test_dup.rb
 - spec/system/test_fetch.rb
@@ -234,26 +287,27 @@ files:
 - 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/relation_type/test_suppremum.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/seq_type/test_suppremum.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/set_type/test_suppremum.rb
 - spec/type/struct_type/test_default_name.rb
 - spec/type/struct_type/test_dress.rb
 - spec/type/struct_type/test_equality.rb
@@ -266,18 +320,22 @@ files:
 - spec/type/sub_type/test_include.rb
 - spec/type/sub_type/test_initialize.rb
 - spec/type/sub_type/test_name.rb
+- spec/type/test_suppremum.rb
+- spec/type/test_unconstrained.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/tuple_type/test_suppremum.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/union_type/test_suppremum.rb
 - spec/type_factory/dsl/test_adt.rb
 - spec/type_factory/dsl/test_any.rb
 - spec/type_factory/dsl/test_attribute.rb
@@ -303,7 +361,7 @@ files:
 homepage: https://github.com/blambeau/finitio
 licenses: []
 metadata: {}
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -314,13 +372,12 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.5.2
-signing_key: 
+rubygems_version: 3.1.4
+signing_key:
 specification_version: 4
 summary: Finitio - in Ruby
 test_files:
@@ -351,27 +408,45 @@ test_files:
 - spec/attribute/test_fetch_on.rb
 - spec/attribute/test_optional.rb
 - spec/attribute/test_required.rb
+- spec/json_schema/test_tuple_type.rb
+- spec/json_schema/test_set_type.rb
+- spec/json_schema/test_union_type.rb
+- spec/json_schema/test_multi_relation_type.rb
+- spec/json_schema/test_builtin_type.rb
+- spec/json_schema/test_alias_type.rb
+- spec/json_schema/test_multi_tuple_type.rb
+- spec/json_schema/test_struct_type.rb
+- spec/json_schema/test_sub_type.rb
+- spec/json_schema/test_any_type.rb
+- spec/json_schema/test_ad_type.rb
+- spec/json_schema/test_relation_type.rb
+- spec/json_schema/test_seq_type.rb
 - spec/heading/test_hash_get.rb
 - spec/heading/test_initialize.rb
 - spec/heading/test_equality.rb
 - spec/heading/test_to_name.rb
 - spec/heading/test_multi.rb
 - spec/heading/test_hash.rb
+- spec/heading/test_suppremum.rb
 - spec/heading/test_allow_extra.rb
 - spec/heading/test_size.rb
+- spec/heading/test_looks_similar.rb
 - spec/heading/test_each.rb
 - spec/test_finitio.rb
 - spec/finitio/test_ast.rb
-- spec/finitio/with-duplicates.fio
 - spec/finitio/system.fio
 - spec/finitio/test_system.rb
 - spec/finitio/test_parse.rb
+- spec/finitio/test_stdlib_memoization.rb
 - spec/system/test_initialize.rb
 - spec/system/test_get_type.rb
 - spec/system/test_fetch.rb
 - spec/system/test_dup.rb
 - spec/system/test_add_type.rb
 - spec/system/test_dsl.rb
+- spec/system/fixtures/with-duplicates.fio
+- spec/system/fixtures/system.fio
+- spec/system/test_check_and_warn.rb
 - spec/type/multi_relation_type/test_name.rb
 - spec/type/multi_relation_type/test_initialize.rb
 - spec/type/multi_relation_type/test_equality.rb
@@ -384,8 +459,8 @@ test_files:
 - spec/type/sub_type/test_include.rb
 - spec/type/sub_type/test_default_name.rb
 - spec/type/sub_type/test_dress.rb
-- spec/type/proxy_type/test_resolve.rb
-- spec/type/proxy_type/test_delegation.rb
+- spec/type/test_unconstrained.rb
+- spec/type/test_suppremum.rb
 - spec/type/ad_type/test_name.rb
 - spec/type/ad_type/test_initialize.rb
 - spec/type/ad_type/test_include.rb
@@ -400,12 +475,14 @@ test_files:
 - spec/type/set_type/test_name.rb
 - spec/type/set_type/test_initialize.rb
 - spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_suppremum.rb
 - spec/type/set_type/test_include.rb
 - spec/type/set_type/test_default_name.rb
 - spec/type/set_type/test_dress.rb
 - spec/type/relation_type/test_name.rb
 - spec/type/relation_type/test_initialize.rb
 - spec/type/relation_type/test_equality.rb
+- spec/type/relation_type/test_suppremum.rb
 - spec/type/relation_type/test_include.rb
 - spec/type/relation_type/test_default_name.rb
 - spec/type/relation_type/test_dress.rb
@@ -424,12 +501,14 @@ test_files:
 - spec/type/union_type/test_name.rb
 - spec/type/union_type/test_initialize.rb
 - spec/type/union_type/test_equality.rb
+- spec/type/union_type/test_suppremum.rb
 - spec/type/union_type/test_include.rb
 - spec/type/union_type/test_default_name.rb
 - spec/type/union_type/test_dress.rb
 - spec/type/tuple_type/test_name.rb
 - spec/type/tuple_type/test_initialize.rb
 - spec/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_suppremum.rb
 - spec/type/tuple_type/test_include.rb
 - spec/type/tuple_type/test_default_name.rb
 - spec/type/tuple_type/test_dress.rb
@@ -439,6 +518,7 @@ test_files:
 - spec/type/seq_type/test_name.rb
 - spec/type/seq_type/test_initialize.rb
 - spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_suppremum.rb
 - spec/type/seq_type/test_include.rb
 - spec/type/seq_type/test_default_name.rb
 - spec/type/seq_type/test_dress.rb
@@ -448,7 +528,10 @@ test_files:
 - spec/type/multi_tuple_type/test_include.rb
 - spec/type/multi_tuple_type/test_default_name.rb
 - spec/type/multi_tuple_type/test_dress.rb
+- spec/support/test_compare_attrs.rb
 - spec/support/test_proc_with_code.rb
+- spec/inference/test_inference.rb
+- spec/regression/test_heading_extra_are_proxy_resolved.rb
 - spec/syntax/nodes/test_tuple_type.rb
 - spec/syntax/nodes/test_set_type.rb
 - spec/syntax/nodes/test_union_type.rb
@@ -479,6 +562,7 @@ test_files:
 - spec/syntax/expr/test_free_variables.rb
 - spec/syntax/test_compile.rb
 - spec/syntax/test_compile_type.rb
+- spec/generation/test_generation.rb
 - spec/constraint/test_name.rb
 - spec/constraint/test_equality.rb
 - spec/constraint/test_anonymous.rb

data/spec/type/proxy_type/test_delegation.rb

@@ -1,37 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe ProxyType, "delegation pattern" do
-
-    let(:proxy){ ProxyType.new('Int', intType) }
-
-    it 'should delegate name' do
-      expect(proxy.name).to eq(intType.name)
-    end
-
-    it 'should delegate default_name' do
-      expect(proxy.default_name).to eq(intType.default_name)
-    end
-
-    it 'should delegate hash' do
-      expect(proxy.hash).to eq(intType.hash)
-    end
-
-    it 'should delegate ==' do
-      expect(intType == proxy).to eq(true)
-      expect(proxy == intType).to eq(true)
-    end
-
-    it 'should delegate dress' do
-      expect(proxy.dress(12)).to eq(12)
-    end
-
-    it 'should delegate include?' do
-      expect(proxy.include?(12)).to eq(true)
-    end
-
-    it 'should delegate to_s' do
-      expect(proxy.to_s).to eq(intType.to_s)
-    end
-
-  end
-end

data/spec/type/proxy_type/test_resolve.rb

@@ -1,29 +0,0 @@
-require 'spec_helper'
-module Finitio
-  describe ProxyType, "delegation pattern" do
-
-    let(:proxy){ ProxyType.new('Int') }
-
-    subject{ proxy.resolve(system) }
-
-    context 'when type exists' do
-      let(:system){ {'Int' => intType} }
-
-      it 'resolves fine' do
-        subject
-        expect(proxy.target).to eq(intType)
-      end
-    end
-
-    context 'when type does not exist' do
-      let(:system){ {} }
-
-      it 'raises an error' do
-        expect{
-          subject
-        }.to raise_error(Finitio::Error, "No such type `Int`")
-      end
-    end
-
-  end
-end