finitio 0.7.0.pre.rc4 → 0.10.0

data/spec/type/tuple_type/test_suppremum.rb

@@ -0,0 +1,119 @@
+require 'spec_helper'
+module Finitio
+  describe TupleType, "suppremum" do
+
+    subject{
+      left.suppremum(right)
+    }
+
+    let(:heading){
+      Heading.new([Attribute.new(:a, intType),
+                   Attribute.new(:b, stringType)])
+    }
+
+    let(:left){
+      TupleType.new(heading)
+    }
+
+    context 'when right is not a tuple type' do
+      let(:right){
+        stringType
+      }
+
+      it 'builds a union type' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([left, right])
+      end
+    end
+
+    context 'when right is an equal tuple type' do
+      let(:h2){
+        Heading.new([Attribute.new(:c, intType),
+                     Attribute.new(:d, stringType)])
+      }
+      let(:right) {
+        TupleType.new(h2)
+      }
+
+      it 'builds a union type' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([left, right])
+      end
+    end
+
+    context 'when right is a completely different tuple type' do
+      let(:right){
+        TupleType.new(heading)
+      }
+
+      it 'keeps left' do
+        expect(subject).to be(left)
+      end
+    end
+
+    context 'when right is an non-equal tuple type but compatible with TupleType' do
+      let(:heading2){
+        Heading.new([Attribute.new(:a, nilType),
+                     Attribute.new(:b, stringType)])
+      }
+
+      let(:right){
+        TupleType.new(heading2)
+      }
+
+      it 'builds the suppremum as expected' do
+        expect(subject).to be_a(TupleType)
+        expect(subject.heading[:a].type).to eql(UnionType.new [intType,nilType])
+        expect(subject.heading[:b].type).to eql(stringType)
+      end
+    end
+
+    context 'when right is an non-equal tuple type yielding a MultiTupleType' do
+      let(:heading2){
+        Heading.new([Attribute.new(:c, nilType),
+                     Attribute.new(:b, stringType)])
+      }
+
+      let(:right){
+        TupleType.new(heading2)
+      }
+
+      it 'builds the suppremum as expected' do
+        expect(subject).to be_a(MultiTupleType)
+        expect(subject.heading[:a].type).to eql(intType)
+        expect(subject.heading[:a].required).to eql(false)
+        expect(subject.heading[:b].type).to eql(stringType)
+        expect(subject.heading[:b].required).to eql(true)
+        expect(subject.heading[:c].type).to eql(nilType)
+        expect(subject.heading[:c].required).to eql(false)
+      end
+    end
+
+    context 'when right is an non-equal tuple type yielding a MultiTupleType II' do
+      let(:heading2){
+        Heading.new([Attribute.new(:a, nilType, false),
+                     Attribute.new(:b, stringType)])
+      }
+
+      let(:right){
+        MultiTupleType.new(heading2)
+      }
+
+      it 'builds the suppremum as expected' do
+        expect(subject).to be_a(MultiTupleType)
+        expect(subject.heading[:a].type).to eql(UnionType.new [intType,nilType])
+        expect(subject.heading[:a].required).to eql(false)
+        expect(subject.heading[:b].type).to eql(stringType)
+      end
+
+      it 'works the other way round too' do
+        subject = right.suppremum(left)
+        expect(subject).to be_a(MultiTupleType)
+        expect(subject.heading[:a].type).to eql(UnionType.new [intType,nilType])
+        expect(subject.heading[:a].required).to eql(false)
+        expect(subject.heading[:b].type).to eql(stringType)
+      end
+    end
+
+  end
+end

data/spec/type/union_type/test_suppremum.rb

@@ -0,0 +1,51 @@
+require 'spec_helper'
+module Finitio
+  describe UnionType, "suppremum" do
+
+    subject{
+      left.suppremum(right)
+    }
+
+    let(:left){
+      UnionType.new([intType, nilType])
+    }
+
+    context 'when right is not a union type' do
+      let(:right){
+        stringType
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql(left.candidates + [right])
+      end
+    end
+
+    context 'when right is a union type' do
+      let(:right){
+        UnionType.new([stringType, nilType])
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([intType, nilType, stringType])
+      end
+    end
+
+    context 'when union type is on the right' do
+      let(:left){
+        stringType
+      }
+
+      let(:right){
+        UnionType.new([intType, nilType])
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([intType, nilType, stringType])
+      end
+    end
+
+  end
+end

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.rc4
+  version: 0.10.0
 platform: ruby
 authors:
 - Bernard Lambeau
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2019-02-27 00:00:00.000000000 Z
+date: 2021-01-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -16,7 +16,7 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.4'
+        version: '3.0'
     - - "<"
       - !ruby/object:Gem::Version
         version: '4.0'
@@ -26,10 +26,114 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.4'
+        version: '3.0'
     - - "<"
       - !ruby/object:Gem::Version
         version: '4.0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '13.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '13.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: cucumber
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.1'
+- !ruby/object:Gem::Dependency
+  name: path
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: awesome_print
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.8'
+- !ruby/object:Gem::Dependency
+  name: coveralls
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.8'
+- !ruby/object:Gem::Dependency
+  name: multi_json
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.15'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.15'
 description: Implements the Finitio information language in Ruby.
 email:
 - blambeau@gmail.com
@@ -50,6 +154,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 +188,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 +232,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 +260,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
@@ -154,17 +289,35 @@ files:
 - 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
@@ -196,7 +349,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
@@ -235,26 +391,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
@@ -267,18 +424,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
@@ -304,7 +465,7 @@ files:
 homepage: https://github.com/blambeau/finitio
 licenses: []
 metadata: {}
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -315,13 +476,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:
@@ -352,18 +512,32 @@ 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
@@ -374,6 +548,9 @@ test_files:
 - 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
@@ -386,8 +563,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
@@ -402,12 +579,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
@@ -426,12 +605,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
@@ -441,6 +622,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
@@ -450,7 +632,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
@@ -481,6 +666,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