finitio 0.10.0 → 0.11.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA256:
-  metadata.gz: f1f480aeb4db3e1d01d3a5d17306557bde03f0bc6fe6525f919b4bf1419026f8
-  data.tar.gz: 910e20fadff426a69d4a42299290b198cfdbc36c238b54e6e7a0b2e4777d0798
+SHA1:
+  metadata.gz: 1b4bcc2dab9afa958c597af1418553f339b726fb
+  data.tar.gz: 3140214a73d11d6733e770d9ca2950dae0c34650
 SHA512:
-  metadata.gz: 35105c22fb14360380bee7d2ac70d170ca46a5b6fd55c5e059bf1c38f96519157645fb2581a57013de2b56c8b5730fc9cd69afca79e4693f007219705ca525c9
-  data.tar.gz: d17223fc24cd31c0cb4d56846f45403243b3921362a9fba15b6bc17b29a332480e3b90780dc5b0c3214c3f2087f4a911aee0463ca88a59a616e619a51708d214
+  metadata.gz: 18ce81cd1bd6014172453ac187e0f2e78d3f6f8729f02e1e7875fdb06c324e926a660b3af25b8cea7e224dfbc3a2b45146106533ccb49f09627822ca595e4313
+  data.tar.gz: 76ef53792f483628ce1e9c786d99d324235a244da6696d05105666d2578859368de020104f7da4a1ee096b5d2d4b7c98ae87408bbac6042f7e74e891809ea650

data/CHANGELOG.md

@@ -1,3 +1,17 @@
+# 0.11.2 - 2023/01/06
+
+* Fix json_schema generation on builtin_type NilClass. "null"
+  is not a valid value, we now use "string" instead.
+
+# 0.11.1 - 2021/12/09
+
+* Fix github actions and extend test grid.
+
+# 0.11.0 - 2021/12/09
+
+* Fix json schema generation of Boolean and union types with a |Nil
+* Add support for dashses in attribute names (tuple & relation types).
+
 # 0.10.0 - 2021/01/11
 
 * Upgrade all dependencies.

data/Gemfile.lock

@@ -1,21 +1,21 @@
 PATH
   remote: .
   specs:
-    finitio (0.10.0)
+    finitio (0.11.2)
       citrus (>= 3.0, < 4.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (5.2.4.4)
+    activesupport (5.2.8.1)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 0.7, < 2)
       minitest (~> 5.1)
       tzinfo (~> 1.1)
-    awesome_print (1.8.0)
+    awesome_print (1.9.2)
     builder (3.2.4)
     citrus (3.0.2)
-    concurrent-ruby (1.1.7)
+    concurrent-ruby (1.1.10)
     coveralls (0.8.23)
       json (>= 1.8, < 3)
       simplecov (~> 0.16.1)
@@ -54,13 +54,13 @@ GEM
       cucumber-cucumber-expressions (~> 10.1, >= 10.1.0)
       cucumber-messages (~> 12.2, >= 12.2.0)
     diff-lcs (1.3)
-    docile (1.3.4)
-    ffi (1.14.2)
-    i18n (1.8.7)
+    docile (1.3.5)
+    ffi (1.15.5)
+    i18n (1.12.0)
       concurrent-ruby (~> 1.0)
-    json (2.5.1)
+    json (2.6.3)
     middleware (0.1.0)
-    minitest (5.14.3)
+    minitest (5.15.0)
     multi_json (1.15.0)
     multi_test (0.1.2)
     path (2.0.1)
@@ -69,20 +69,20 @@ GEM
       middleware
       thor
       thread_safe
-    rake (13.0.3)
-    rspec (3.10.0)
-      rspec-core (~> 3.10.0)
-      rspec-expectations (~> 3.10.0)
-      rspec-mocks (~> 3.10.0)
-    rspec-core (3.10.1)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.1)
+    rake (13.0.6)
+    rspec (3.12.0)
+      rspec-core (~> 3.12.0)
+      rspec-expectations (~> 3.12.0)
+      rspec-mocks (~> 3.12.0)
+    rspec-core (3.12.0)
+      rspec-support (~> 3.12.0)
+    rspec-expectations (3.12.1)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.1)
+      rspec-support (~> 3.12.0)
+    rspec-mocks (3.12.1)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.1)
+      rspec-support (~> 3.12.0)
+    rspec-support (3.12.0)
     simplecov (0.16.1)
       docile (~> 1.1)
       json (>= 1.8, < 3)
@@ -93,16 +93,15 @@ GEM
       ffi (~> 1.1)
     term-ansicolor (1.7.1)
       tins (~> 1.0)
-    thor (1.0.1)
+    thor (1.2.1)
     thread_safe (0.3.6)
-    tins (1.26.0)
+    tins (1.32.1)
       sync
-    tzinfo (1.2.9)
+    tzinfo (1.2.10)
       thread_safe (~> 0.1)
 
 PLATFORMS
-  ruby
-  x86_64-darwin-18
+  x86_64-linux
 
 DEPENDENCIES
   awesome_print (~> 1.8)
@@ -115,4 +114,4 @@ DEPENDENCIES
   rspec (~> 3.0)
 
 BUNDLED WITH
-   2.2.4
+   2.3.26

data/README.md

@@ -1,5 +1,4 @@
 [![Build Status](https://travis-ci.org/blambeau/finitio-rb.svg?branch=master)](https://travis-ci.org/blambeau/finitio-rb)
-[![Dependency Status](https://gemnasium.com/blambeau/finitio-rb.png)](https://gemnasium.com/blambeau/finitio-rb)
 [![Code Climate](https://codeclimate.com/github/blambeau/finitio-rb.png)](https://codeclimate.com/github/blambeau/finitio-rb)
 [![Coverage Status](https://coveralls.io/repos/blambeau/finitio-rb/badge.png?branch=master)](https://coveralls.io/r/blambeau/finitio-rb)
 

data/lib/finitio/json_schema/builtin_type.rb

@@ -2,13 +2,16 @@ module Finitio
   module JsonSchema
 
     BUILTIN_MAPPING = {
-      NilClass => "null",
+      NilClass => "string", # jsonapi does not support null
       String => "string",
       Integer => "integer",
       Fixnum => "integer",
       Bignum => "integer",
       Float => "number",
-      Numeric => "number"
+      Numeric => "number",
+      TrueClass => "boolean",
+      FalseClass => "boolean",
+      Object => "object"
     }
 
   end

data/lib/finitio/json_schema/proxy_type.rb

@@ -0,0 +1,9 @@
+module Finitio
+  class ProxyType
+
+    def to_json_schema(*args, &bl)
+      @target.to_json_schema(*args, &bl) if @target
+    end
+
+  end # module ProxyType
+end # module UnionType

data/lib/finitio/json_schema/union_type.rb

@@ -1,9 +1,21 @@
 module Finitio
   class UnionType
 
+    NIL_TYPE = BuiltinType.new(NilClass)
+
+    FALSE_TYPE = BuiltinType.new(TrueClass)
+
+    TRUE_TYPE = BuiltinType.new(FalseClass)
+
+    BOOLEAN_TYPE = UnionType.new([TRUE_TYPE, FALSE_TYPE])
+
     def to_json_schema(*args, &bl)
+      cs = candidates.reject{|c| c == NIL_TYPE }
+      return { type: 'boolean'} if self == BOOLEAN_TYPE
+      return cs.first.to_json_schema(*args, &bl) if cs.size == 1
+
       {
-        anyOf: candidates.map{|c| c.to_json_schema(*args, &bl) }
+        anyOf: cs.map{|c| c.to_json_schema(*args, &bl) }
       }
     end
 

data/lib/finitio/json_schema.rb

@@ -14,3 +14,4 @@ require_relative 'json_schema/set_type'
 require_relative 'json_schema/struct_type'
 require_relative 'json_schema/sub_type'
 require_relative 'json_schema/union_type'
+require_relative 'json_schema/proxy_type'

data/lib/finitio/syntax/lexer.citrus

@@ -21,7 +21,7 @@ grammar Finitio::Syntax::Lexer
   end
 
   rule attribute_name
-    /[a-z_][a-zA-Z0-9_]*/
+    /[a-z_][a-zA-Z0-9_\-]*/
   end
 
   rule type_name

data/lib/finitio/version.rb

@@ -2,8 +2,8 @@ module Finitio
   module Version
 
     MAJOR = 0
-    MINOR = 10
-    TINY  = 0
+    MINOR = 11
+    TINY  = 2
 
     def self.to_s
       [ MAJOR, MINOR, TINY ].join('.')

data/spec/json_schema/test_builtin_type.rb

@@ -14,7 +14,7 @@ module Finitio
         let(:ruby_type){ NilClass }
 
         it 'works' do
-          expect(subject).to eql({ type: "null" })
+          expect(subject).to eql({ type: "string" })
         end
       end
 

data/spec/json_schema/test_union_type.rb

@@ -2,14 +2,72 @@ module Finitio
   module JsonSchema
     describe "UnionType" do
 
-      let(:union_type) {
-        UnionType.new([anyType])
+      let(:string_type) {
+        BuiltinType.new(String)
       }
 
-      it 'works as expected' do
-        expect(union_type.to_json_schema).to eql({
-          anyOf: [{}]
-        })
+      let(:int_type) {
+        BuiltinType.new(Integer)
+      }
+
+      let(:true_type) {
+        BuiltinType.new(TrueClass)
+      }
+
+      let(:false_type) {
+        BuiltinType.new(FalseClass)
+      }
+
+      let(:nil_type) {
+        BuiltinType.new(NilClass)
+      }
+
+      context 'when used with a single type' do
+        let(:union_type) {
+          UnionType.new([string_type])
+        }
+
+        it 'works as expected' do
+          expect(union_type.to_json_schema).to eql({
+            :type => "string"
+          })
+        end
+      end
+
+      context 'when used with two types' do
+        let(:union_type) {
+          UnionType.new([string_type, int_type])
+        }
+
+        it 'works as expected' do
+          expect(union_type.to_json_schema).to eql({
+            anyOf: [{:type => "string"}, {:type => "integer"}]
+          })
+        end
+      end
+
+      context 'when used with a |Nil' do
+        let(:union_type) {
+          UnionType.new([string_type, int_type, nil_type])
+        }
+
+        it 'works as expected' do
+          expect(union_type.to_json_schema).to eql({
+            anyOf: [{:type => "string"}, {:type => "integer"}]
+          })
+        end
+      end
+
+      context 'when used with a TrueClass|FalseClass' do
+        let(:union_type) {
+          UnionType.new([true_type, false_type])
+        }
+
+        it 'works as expected' do
+          expect(union_type.to_json_schema).to eql({
+            :type => "boolean"
+          })
+        end
       end
 
     end

data/spec/syntax/nodes/test_attribute.rb

@@ -34,6 +34,18 @@ module Finitio
           expect(compiled).not_to be_required
         end
       end
+
+      context 'when using dashes in attribute name' do
+        let(:input){ 'created-at : .Integer' }
+
+        it 'works' do
+          expect(compiled).to be_a(Attribute)
+          expect(compiled.name).to eq(:"created-at")
+          expect(compiled.type).to be_a(BuiltinType)
+          expect(compiled.type.ruby_type).to be(Integer)
+          expect(compiled).to be_required
+        end
+      end
     end
 
     describe 'AST' do
@@ -60,6 +72,6 @@ module Finitio
       end
 
     end
-    
+
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: finitio
 version: !ruby/object:Gem::Version
-  version: 0.10.0
+  version: 0.11.2
 platform: ruby
 authors:
 - Bernard Lambeau
-autorequire:
+autorequire: 
 bindir: bin
 cert_chain: []
-date: 2021-01-11 00:00:00.000000000 Z
+date: 2023-01-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -175,6 +175,7 @@ files:
 - 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/proxy_type.rb
 - lib/finitio/json_schema/rel_based_type.rb
 - lib/finitio/json_schema/seq_type.rb
 - lib/finitio/json_schema/set_type.rb
@@ -465,7 +466,7 @@ files:
 homepage: https://github.com/blambeau/finitio
 licenses: []
 metadata: {}
-post_install_message:
+post_install_message: 
 rdoc_options: []
 require_paths:
 - lib
@@ -480,195 +481,196 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.4
-signing_key:
+rubyforge_project: 
+rubygems_version: 2.6.14.4
+signing_key: 
 specification_version: 4
 summary: Finitio - in Ruby
 test_files:
-- spec/spec_helper.rb
+- spec/regression/test_heading_extra_are_proxy_resolved.rb
+- spec/test_finitio.rb
+- spec/constraint/test_named.rb
+- spec/constraint/test_anonymous.rb
+- spec/constraint/test_equality.rb
+- spec/constraint/test_name.rb
+- spec/constraint/test_triple_equal.rb
+- spec/inference/test_inference.rb
 - spec/type_factory/factory/test_tuple_type.rb
-- spec/type_factory/factory/test_builtin.rb
 - spec/type_factory/factory/test_set_type.rb
-- spec/type_factory/factory/test_struct_type.rb
+- spec/type_factory/factory/test_builtin.rb
 - spec/type_factory/factory/test_sub_type.rb
 - spec/type_factory/factory/test_seq_type.rb
+- spec/type_factory/factory/test_struct_type.rb
+- spec/type_factory/dsl/test_subtype.rb
+- spec/type_factory/dsl/test_any.rb
 - spec/type_factory/dsl/test_attributes.rb
+- spec/type_factory/dsl/test_tuple.rb
+- spec/type_factory/dsl/test_union.rb
 - spec/type_factory/dsl/test_builtin.rb
-- spec/type_factory/dsl/test_adt.rb
 - spec/type_factory/dsl/test_multi_tuple.rb
+- spec/type_factory/dsl/test_relation.rb
+- spec/type_factory/dsl/test_set.rb
+- spec/type_factory/dsl/test_struct.rb
 - spec/type_factory/dsl/test_seq.rb
 - spec/type_factory/dsl/test_multi_relation.rb
-- spec/type_factory/dsl/test_tuple.rb
-- spec/type_factory/dsl/test_set.rb
+- spec/type_factory/dsl/test_adt.rb
 - spec/type_factory/dsl/test_attribute.rb
-- spec/type_factory/dsl/test_any.rb
-- spec/type_factory/dsl/test_union.rb
-- spec/type_factory/dsl/test_struct.rb
-- spec/type_factory/dsl/test_relation.rb
-- spec/type_factory/dsl/test_subtype.rb
-- spec/attribute/test_initialize.rb
-- spec/attribute/test_equality.rb
-- spec/attribute/test_to_name.rb
-- 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/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
-- spec/type/multi_relation_type/test_include.rb
-- spec/type/multi_relation_type/test_default_name.rb
-- spec/type/multi_relation_type/test_dress.rb
-- spec/type/sub_type/test_name.rb
-- spec/type/sub_type/test_initialize.rb
-- spec/type/sub_type/test_equality.rb
-- spec/type/sub_type/test_include.rb
-- spec/type/sub_type/test_default_name.rb
-- spec/type/sub_type/test_dress.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
-- spec/type/ad_type/test_default_name.rb
-- spec/type/ad_type/test_dress.rb
-- spec/type/struct_type/test_name.rb
-- spec/type/struct_type/test_initialize.rb
-- spec/type/struct_type/test_equality.rb
+- spec/type/alias_type/test_delegation.rb
+- spec/type/alias_type/test_name.rb
+- spec/type/alias_type/test_default_name.rb
 - spec/type/struct_type/test_include.rb
-- spec/type/struct_type/test_default_name.rb
 - spec/type/struct_type/test_dress.rb
-- 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/struct_type/test_equality.rb
+- spec/type/struct_type/test_name.rb
+- spec/type/struct_type/test_default_name.rb
+- spec/type/struct_type/test_initialize.rb
 - spec/type/relation_type/test_include.rb
-- spec/type/relation_type/test_default_name.rb
 - spec/type/relation_type/test_dress.rb
-- spec/type/any_type/test_name.rb
-- spec/type/any_type/test_initialize.rb
-- spec/type/any_type/test_equality.rb
-- spec/type/any_type/test_include.rb
-- spec/type/any_type/test_default_name.rb
-- spec/type/any_type/test_dress.rb
-- spec/type/builtin_type/test_name.rb
-- spec/type/builtin_type/test_initialize.rb
-- spec/type/builtin_type/test_equality.rb
+- spec/type/relation_type/test_equality.rb
+- spec/type/relation_type/test_name.rb
+- spec/type/relation_type/test_default_name.rb
+- spec/type/relation_type/test_suppremum.rb
+- spec/type/relation_type/test_initialize.rb
+- spec/type/seq_type/test_include.rb
+- spec/type/seq_type/test_dress.rb
+- spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_name.rb
+- spec/type/seq_type/test_default_name.rb
+- spec/type/seq_type/test_suppremum.rb
+- spec/type/seq_type/test_initialize.rb
 - spec/type/builtin_type/test_include.rb
-- spec/type/builtin_type/test_default_name.rb
 - spec/type/builtin_type/test_dress.rb
-- 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/builtin_type/test_equality.rb
+- spec/type/builtin_type/test_name.rb
+- spec/type/builtin_type/test_default_name.rb
+- spec/type/builtin_type/test_initialize.rb
+- spec/type/multi_tuple_type/test_include.rb
+- spec/type/multi_tuple_type/test_dress.rb
+- spec/type/multi_tuple_type/test_equality.rb
+- spec/type/multi_tuple_type/test_name.rb
+- spec/type/multi_tuple_type/test_default_name.rb
+- spec/type/multi_tuple_type/test_initialize.rb
+- spec/type/ad_type/test_include.rb
+- spec/type/ad_type/test_dress.rb
+- spec/type/ad_type/test_name.rb
+- spec/type/ad_type/test_default_name.rb
+- spec/type/ad_type/test_initialize.rb
+- spec/type/multi_relation_type/test_include.rb
+- spec/type/multi_relation_type/test_dress.rb
+- spec/type/multi_relation_type/test_equality.rb
+- spec/type/multi_relation_type/test_name.rb
+- spec/type/multi_relation_type/test_default_name.rb
+- spec/type/multi_relation_type/test_initialize.rb
+- spec/type/any_type/test_include.rb
+- spec/type/any_type/test_dress.rb
+- spec/type/any_type/test_equality.rb
+- spec/type/any_type/test_name.rb
+- spec/type/any_type/test_default_name.rb
+- spec/type/any_type/test_initialize.rb
+- spec/type/test_unconstrained.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/union_type/test_equality.rb
+- spec/type/union_type/test_name.rb
+- spec/type/union_type/test_default_name.rb
+- spec/type/union_type/test_suppremum.rb
+- spec/type/union_type/test_initialize.rb
+- spec/type/sub_type/test_include.rb
+- spec/type/sub_type/test_dress.rb
+- spec/type/sub_type/test_equality.rb
+- spec/type/sub_type/test_name.rb
+- spec/type/sub_type/test_default_name.rb
+- spec/type/sub_type/test_initialize.rb
+- spec/type/set_type/test_include.rb
+- spec/type/set_type/test_dress.rb
+- spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_name.rb
+- spec/type/set_type/test_default_name.rb
+- spec/type/set_type/test_suppremum.rb
+- spec/type/set_type/test_initialize.rb
+- spec/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
-- spec/type/alias_type/test_name.rb
-- spec/type/alias_type/test_default_name.rb
-- spec/type/alias_type/test_delegation.rb
-- 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
-- spec/type/multi_tuple_type/test_name.rb
-- spec/type/multi_tuple_type/test_initialize.rb
-- spec/type/multi_tuple_type/test_equality.rb
-- 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/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_name.rb
+- spec/type/tuple_type/test_default_name.rb
+- spec/type/tuple_type/test_suppremum.rb
+- spec/type/tuple_type/test_initialize.rb
 - spec/support/test_proc_with_code.rb
-- spec/inference/test_inference.rb
-- spec/regression/test_heading_extra_are_proxy_resolved.rb
+- spec/support/test_compare_attrs.rb
+- spec/heading/test_size.rb
+- spec/heading/test_hash_get.rb
+- spec/heading/test_hash.rb
+- spec/heading/test_each.rb
+- spec/heading/test_equality.rb
+- spec/heading/test_multi.rb
+- spec/heading/test_looks_similar.rb
+- spec/heading/test_allow_extra.rb
+- spec/heading/test_suppremum.rb
+- spec/heading/test_initialize.rb
+- spec/heading/test_to_name.rb
+- spec/json_schema/test_tuple_type.rb
+- spec/json_schema/test_alias_type.rb
+- spec/json_schema/test_set_type.rb
+- spec/json_schema/test_relation_type.rb
+- spec/json_schema/test_ad_type.rb
+- spec/json_schema/test_builtin_type.rb
+- spec/json_schema/test_multi_relation_type.rb
+- spec/json_schema/test_sub_type.rb
+- spec/json_schema/test_any_type.rb
+- spec/json_schema/test_seq_type.rb
+- spec/json_schema/test_union_type.rb
+- spec/json_schema/test_multi_tuple_type.rb
+- spec/json_schema/test_struct_type.rb
+- spec/system/test_dsl.rb
+- spec/system/test_get_type.rb
+- spec/system/test_add_type.rb
+- spec/system/test_dup.rb
+- spec/system/fixtures/system.fio
+- spec/system/fixtures/with-duplicates.fio
+- spec/system/test_check_and_warn.rb
+- spec/system/test_fetch.rb
+- spec/system/test_initialize.rb
+- spec/attribute/test_required.rb
+- spec/attribute/test_optional.rb
+- spec/attribute/test_equality.rb
+- spec/attribute/test_fetch_on.rb
+- spec/attribute/test_initialize.rb
+- spec/attribute/test_to_name.rb
+- spec/syntax/nodes/test_unnamed_constraint.rb
+- spec/syntax/nodes/test_constraints.rb
 - spec/syntax/nodes/test_tuple_type.rb
 - spec/syntax/nodes/test_set_type.rb
-- spec/syntax/nodes/test_union_type.rb
 - spec/syntax/nodes/test_heading.rb
-- spec/syntax/nodes/test_builtin_type.rb
-- spec/syntax/nodes/imported.fio
-- spec/syntax/nodes/test_import.rb
-- spec/syntax/nodes/test_constraints.rb
+- spec/syntax/nodes/test_comment.rb
+- spec/syntax/nodes/test_spacing.rb
+- spec/syntax/nodes/test_metadata.rb
 - spec/syntax/nodes/test_type_ref.rb
-- spec/syntax/nodes/test_system.rb
-- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_relation_type.rb
 - spec/syntax/nodes/test_contract.rb
+- spec/syntax/nodes/test_ad_type.rb
+- spec/syntax/nodes/test_constraint_def.rb
+- spec/syntax/nodes/test_builtin_type.rb
+- spec/syntax/nodes/test_system.rb
 - spec/syntax/nodes/test_named_constraint.rb
-- spec/syntax/nodes/test_metadata.rb
 - spec/syntax/nodes/test_type_def.rb
-- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/imported.fio
 - spec/syntax/nodes/test_sub_type.rb
 - spec/syntax/nodes/test_any_type.rb
-- spec/syntax/nodes/test_constraint_def.rb
-- spec/syntax/nodes/test_ad_type.rb
-- spec/syntax/nodes/test_expression.rb
-- spec/syntax/nodes/test_relation_type.rb
-- spec/syntax/nodes/test_spacing.rb
-- spec/syntax/nodes/test_comment.rb
 - spec/syntax/nodes/test_seq_type.rb
-- spec/syntax/nodes/test_unnamed_constraint.rb
-- spec/syntax/expr/test_to_proc_source.rb
+- spec/syntax/nodes/test_union_type.rb
+- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_import.rb
+- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/test_expression.rb
 - spec/syntax/expr/test_free_variables.rb
-- spec/syntax/test_compile.rb
+- spec/syntax/expr/test_to_proc_source.rb
 - spec/syntax/test_compile_type.rb
+- spec/syntax/test_compile.rb
+- spec/spec_helper.rb
+- spec/finitio/system.fio
+- spec/finitio/test_ast.rb
+- spec/finitio/test_stdlib_memoization.rb
+- spec/finitio/test_parse.rb
+- spec/finitio/test_system.rb
 - spec/generation/test_generation.rb
-- spec/constraint/test_name.rb
-- spec/constraint/test_equality.rb
-- spec/constraint/test_anonymous.rb
-- spec/constraint/test_named.rb
-- spec/constraint/test_triple_equal.rb