finitio 0.11.3 → 0.12.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (36) hide show
  1. checksums.yaml +5 -5
  2. data/CHANGELOG.md +42 -19
  3. data/Gemfile.lock +18 -18
  4. data/finitio.gemspec +3 -3
  5. data/lib/finitio/generation/proxy_type.rb +11 -0
  6. data/lib/finitio/generation.rb +1 -0
  7. data/lib/finitio/json_schema/builtin_type.rb +0 -2
  8. data/lib/finitio/json_schema/hash_based_type.rb +1 -1
  9. data/lib/finitio/json_schema/proxy_type.rb +4 -5
  10. data/lib/finitio/stdlib/finitio/data.fio +2 -2
  11. data/lib/finitio/support/compilation.rb +0 -4
  12. data/lib/finitio/support/proxy_resolver.rb +52 -0
  13. data/lib/finitio/support.rb +1 -0
  14. data/lib/finitio/syntax.rb +4 -4
  15. data/lib/finitio/system.rb +5 -16
  16. data/lib/finitio/type/ad_type.rb +1 -1
  17. data/lib/finitio/type/builtin_type.rb +4 -4
  18. data/lib/finitio/type/high_order_type.rb +3 -1
  19. data/lib/finitio/type/proxy_type.rb +19 -1
  20. data/lib/finitio/type/struct_type.rb +2 -2
  21. data/lib/finitio/type/sub_type.rb +2 -2
  22. data/lib/finitio/type/tuple_type.rb +3 -3
  23. data/lib/finitio/type/union_type.rb +2 -2
  24. data/lib/finitio/type.rb +4 -2
  25. data/lib/finitio/version.rb +2 -2
  26. data/spec/finitio/test_ast.rb +2 -2
  27. data/spec/finitio/test_parse.rb +1 -1
  28. data/spec/finitio/test_system.rb +1 -1
  29. data/spec/inference/test_inference.rb +1 -1
  30. data/spec/json_schema/test_builtin_type.rb +4 -6
  31. data/spec/json_schema/test_recursive_type.rb +2 -12
  32. data/spec/regression/test_dress_on_recursive_type.rb +53 -0
  33. data/spec/regression/test_name_of_generic_types.rb +18 -0
  34. data/spec/syntax/test_compile.rb +19 -1
  35. data/spec/type_factory/factory/test_sub_type.rb +3 -3
  36. metadata +175 -170
data/lib/finitio/version.rb CHANGED
@@ -2,8 +2,8 @@ module Finitio
2
2
  module Version
3
3
 
4
4
  MAJOR = 0
5
- MINOR = 11
6
- TINY = 3
5
+ MINOR = 12
6
+ TINY = 0
7
7
 
8
8
  def self.to_s
9
9
  [ MAJOR, MINOR, TINY ].join('.')
data/spec/finitio/test_ast.rb CHANGED
@@ -3,7 +3,7 @@ describe Finitio, "ast" do
3
3
 
4
4
  subject{
5
5
  Finitio.ast <<-EOF
6
- Posint = .Fixnum( i | i>=0 )
6
+ Posint = .Integer( i | i>=0 )
7
7
  Point = { x: Posint, y: Posint }
8
8
  {{ p: Point }}
9
9
  EOF
@@ -14,7 +14,7 @@ describe Finitio, "ast" do
14
14
  [ :type_def,
15
15
  "Posint",
16
16
  [ :sub_type,
17
- [:builtin_type, "Fixnum"],
17
+ [:builtin_type, "Integer"],
18
18
  [ :constraint,
19
19
  "default",
20
20
  [:fn, [:parameters, "i"], [:source, "i>=0"] ]
data/spec/finitio/test_parse.rb CHANGED
@@ -4,7 +4,7 @@ describe Finitio, "parse" do
4
4
  context 'with a string' do
5
5
  subject{
6
6
  Finitio.parse <<-EOF
7
- Posint = .Fixnum( i | i>=0 )
7
+ Posint = .Integer( i | i>=0 )
8
8
  Point = { x: Posint, y: Posint }
9
9
  EOF
10
10
  }
data/spec/finitio/test_system.rb CHANGED
@@ -4,7 +4,7 @@ describe Finitio, "system" do
4
4
  context 'with a string' do
5
5
  subject{
6
6
  Finitio.system <<-EOF
7
- Posint = .Fixnum( i | i>=0 )
7
+ Posint = .Integer( i | i>=0 )
8
8
  Point = { x: Posint, y: Posint }
9
9
  EOF
10
10
  }
data/spec/inference/test_inference.rb CHANGED
@@ -35,7 +35,7 @@ module Finitio
35
35
  expect(result.elm_type[:size].type.name).to eql("String")
36
36
  expect(result.elm_type[:priority].type.name).to eql("String")
37
37
 
38
- puts result
38
+ #puts result
39
39
  end
40
40
 
41
41
  end
data/spec/json_schema/test_builtin_type.rb CHANGED
@@ -26,13 +26,11 @@ module Finitio
26
26
  end
27
27
  end
28
28
 
29
- [Fixnum, Bignum, Integer].each do |rt|
30
- context "with #{rt}" do
31
- let(:ruby_type){ rt }
29
+ context "with Integer" do
30
+ let(:ruby_type){ Integer }
32
31
 
33
- it 'works' do
34
- expect(subject).to eql({ type: "integer" })
35
- end
32
+ it 'works' do
33
+ expect(subject).to eql({ type: "integer" })
36
34
  end
37
35
  end
38
36
 
data/spec/json_schema/test_recursive_type.rb CHANGED
@@ -15,24 +15,14 @@ module Finitio
15
15
  system['Tree']
16
16
  }
17
17
 
18
- xit 'works as expected' do
18
+ it 'works as expected' do
19
19
  expect(type.to_json_schema).to eql({
20
20
  type: "object",
21
21
  properties: {
22
22
  children: {
23
23
  type: "array",
24
24
  items: {
25
- type: "object",
26
- properties: {
27
- children: {
28
- type: "array",
29
- items: "object"
30
- }
31
- },
32
- required: [
33
- :children
34
- ],
35
- additionalProperties: false
25
+ type: "object"
36
26
  }
37
27
  }
38
28
  },
data/spec/regression/test_dress_on_recursive_type.rb ADDED
@@ -0,0 +1,53 @@
1
+ require 'spec_helper'
2
+
3
+ describe "Dress on a recursive type" do
4
+ let(:schema){
5
+ Finitio.system <<~F
6
+ Tree = {
7
+ children: [Tree]
8
+ }
9
+ Tree
10
+ F
11
+ }
12
+
13
+ it 'works on an empty tree' do
14
+ expect(->(){
15
+ schema.dress({children: []})
16
+ }).not_to raise_error
17
+ end
18
+
19
+ it 'works on a non empty tree' do
20
+ expect(->(){
21
+ schema.dress({
22
+ children: [{
23
+ children: [{
24
+ children: [{
25
+ children: []
26
+ }]
27
+ }]
28
+ }]
29
+ })
30
+ }).not_to raise_error
31
+ end
32
+
33
+ it 'detects deep error' do
34
+ expect(->(){
35
+ schema.dress({
36
+ children: [{
37
+ children: [{
38
+ children: [{
39
+ children: [{
40
+ children: [{
41
+ children: [{
42
+ unrecognized: true,
43
+ children: []
44
+ }]
45
+ }]
46
+ }]
47
+ }]
48
+ }]
49
+ }]
50
+ })
51
+ }).to raise_error(Finitio::Error)
52
+ end
53
+ end
data/spec/regression/test_name_of_generic_types.rb ADDED
@@ -0,0 +1,18 @@
1
+ require 'spec_helper'
2
+
3
+ describe "The types of generics definitions" do
4
+ describe "When the extra map to a type" do
5
+ let(:schema){
6
+ Finitio.system <<~F
7
+ Collection<T> = [T]
8
+
9
+ String = .String
10
+ Collection<String>
11
+ F
12
+ }
13
+
14
+ it 'works' do
15
+ expect(schema['Main'].target.name).to eql("Collection<String>")
16
+ end
17
+ end
18
+ end
data/spec/syntax/test_compile.rb CHANGED
@@ -77,6 +77,24 @@ module Finitio
77
77
  end
78
78
 
79
79
  context 'with AD types' do
80
+ let(:source){
81
+ <<-EOF.strip
82
+ Int = .Integer
83
+ Byte = Int(i | i>0)
84
+ Color = .Color <rgb> { r: Byte, g: Byte, b: Byte }
85
+ Colors = [Color]
86
+ EOF
87
+ }
88
+
89
+ it{ should be_a(System) }
90
+
91
+ it 'should work fine' do
92
+ got = subject['Colors'].dress([{ r: 10, g: 15, b: 20 }])
93
+ expect(got.first).to be_a(Color)
94
+ end
95
+ end
96
+
97
+ context 'with AD types that make forward references' do
80
98
  let(:source){
81
99
  <<-EOF.strip
82
100
  Colors = [Color]
@@ -88,7 +106,7 @@ module Finitio
88
106
 
89
107
  it{ should be_a(System) }
90
108
 
91
- it 'should work ine' do
109
+ it 'should work fine' do
92
110
  got = subject['Colors'].dress([{ r: 10, g: 15, b: 20 }])
93
111
  expect(got.first).to be_a(Color)
94
112
  end
data/spec/type_factory/factory/test_sub_type.rb CHANGED
@@ -8,9 +8,9 @@ module Finitio
8
8
 
9
9
  it{ should be_a(SubType) }
10
10
 
11
- it 'should have the BuiltinType(Fixnum) super type' do
11
+ it 'should have the BuiltinType(Integer) super type' do
12
12
  expect(subject.super_type).to be_a(BuiltinType)
13
- expect(subject.super_type.ruby_type).to be(Fixnum)
13
+ expect(subject.super_type.ruby_type).to be(Integer)
14
14
  end
15
15
 
16
16
  it 'should have the correct constraint' do
@@ -22,7 +22,7 @@ module Finitio
22
22
 
23
23
  context 'when use with a ruby class and a block' do
24
24
  subject{
25
- factory.type(Fixnum){|i| i>=0 and i<=10 }
25
+ factory.type(Integer){|i| i>=0 and i<=10 }
26
26
  }
27
27
 
28
28
  it_should_behave_like "The 1..10 type"
metadata CHANGED
@@ -1,14 +1,14 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: finitio
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.11.3
4
+ version: 0.12.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Bernard Lambeau
8
8
  autorequire:
9
9
  bindir: bin
10
10
  cert_chain: []
11
- date: 2023-01-06 00:00:00.000000000 Z
11
+ date: 2023-05-23 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: citrus
@@ -78,7 +78,7 @@ dependencies:
78
78
  requirements:
79
79
  - - ">="
80
80
  - !ruby/object:Gem::Version
81
- version: '2.0'
81
+ version: '2.1'
82
82
  - - "<"
83
83
  - !ruby/object:Gem::Version
84
84
  version: '3.0'
@@ -88,7 +88,7 @@ dependencies:
88
88
  requirements:
89
89
  - - ">="
90
90
  - !ruby/object:Gem::Version
91
- version: '2.0'
91
+ version: '2.1'
92
92
  - - "<"
93
93
  - !ruby/object:Gem::Version
94
94
  version: '3.0'
@@ -163,6 +163,7 @@ files:
163
163
  - lib/finitio/generation/heuristic.rb
164
164
  - lib/finitio/generation/heuristic/constant.rb
165
165
  - lib/finitio/generation/heuristic/random.rb
166
+ - lib/finitio/generation/proxy_type.rb
166
167
  - lib/finitio/generation/rel_based_type.rb
167
168
  - lib/finitio/generation/seq_type.rb
168
169
  - lib/finitio/generation/set_type.rb
@@ -193,6 +194,7 @@ files:
193
194
  - lib/finitio/support/heading.rb
194
195
  - lib/finitio/support/metadata.rb
195
196
  - lib/finitio/support/proc_with_code.rb
197
+ - lib/finitio/support/proxy_resolver.rb
196
198
  - lib/finitio/support/type_factory.rb
197
199
  - lib/finitio/syntax.rb
198
200
  - lib/finitio/syntax/definitions.rb
@@ -317,7 +319,9 @@ files:
317
319
  - spec/json_schema/test_sub_type.rb
318
320
  - spec/json_schema/test_tuple_type.rb
319
321
  - spec/json_schema/test_union_type.rb
322
+ - spec/regression/test_dress_on_recursive_type.rb
320
323
  - spec/regression/test_heading_extra_are_proxy_resolved.rb
324
+ - spec/regression/test_name_of_generic_types.rb
321
325
  - spec/spec_helper.rb
322
326
  - spec/support/test_compare_attrs.rb
323
327
  - spec/support/test_proc_with_code.rb
@@ -482,197 +486,198 @@ required_rubygems_version: !ruby/object:Gem::Requirement
482
486
  - !ruby/object:Gem::Version
483
487
  version: '0'
484
488
  requirements: []
485
- rubyforge_project:
486
- rubygems_version: 2.6.14.4
489
+ rubygems_version: 3.3.26
487
490
  signing_key:
488
491
  specification_version: 4
489
492
  summary: Finitio - in Ruby
490
493
  test_files:
491
- - spec/regression/test_heading_extra_are_proxy_resolved.rb
492
- - spec/test_finitio.rb
493
- - spec/constraint/test_named.rb
494
+ - spec/attribute/test_equality.rb
495
+ - spec/attribute/test_fetch_on.rb
496
+ - spec/attribute/test_initialize.rb
497
+ - spec/attribute/test_optional.rb
498
+ - spec/attribute/test_required.rb
499
+ - spec/attribute/test_to_name.rb
494
500
  - spec/constraint/test_anonymous.rb
495
501
  - spec/constraint/test_equality.rb
496
502
  - spec/constraint/test_name.rb
503
+ - spec/constraint/test_named.rb
497
504
  - spec/constraint/test_triple_equal.rb
505
+ - spec/finitio/system.fio
506
+ - spec/finitio/test_ast.rb
507
+ - spec/finitio/test_parse.rb
508
+ - spec/finitio/test_stdlib_memoization.rb
509
+ - spec/finitio/test_system.rb
510
+ - spec/generation/test_generation.rb
511
+ - spec/heading/test_allow_extra.rb
512
+ - spec/heading/test_each.rb
513
+ - spec/heading/test_equality.rb
514
+ - spec/heading/test_hash.rb
515
+ - spec/heading/test_hash_get.rb
516
+ - spec/heading/test_initialize.rb
517
+ - spec/heading/test_looks_similar.rb
518
+ - spec/heading/test_multi.rb
519
+ - spec/heading/test_size.rb
520
+ - spec/heading/test_suppremum.rb
521
+ - spec/heading/test_to_name.rb
498
522
  - spec/inference/test_inference.rb
499
- - spec/type_factory/factory/test_tuple_type.rb
500
- - spec/type_factory/factory/test_set_type.rb
501
- - spec/type_factory/factory/test_builtin.rb
502
- - spec/type_factory/factory/test_sub_type.rb
503
- - spec/type_factory/factory/test_seq_type.rb
504
- - spec/type_factory/factory/test_struct_type.rb
505
- - spec/type_factory/dsl/test_subtype.rb
506
- - spec/type_factory/dsl/test_any.rb
507
- - spec/type_factory/dsl/test_attributes.rb
508
- - spec/type_factory/dsl/test_tuple.rb
509
- - spec/type_factory/dsl/test_union.rb
510
- - spec/type_factory/dsl/test_builtin.rb
511
- - spec/type_factory/dsl/test_multi_tuple.rb
512
- - spec/type_factory/dsl/test_relation.rb
513
- - spec/type_factory/dsl/test_set.rb
514
- - spec/type_factory/dsl/test_struct.rb
515
- - spec/type_factory/dsl/test_seq.rb
516
- - spec/type_factory/dsl/test_multi_relation.rb
517
- - spec/type_factory/dsl/test_adt.rb
518
- - spec/type_factory/dsl/test_attribute.rb
523
+ - spec/json_schema/test_ad_type.rb
524
+ - spec/json_schema/test_alias_type.rb
525
+ - spec/json_schema/test_any_type.rb
526
+ - spec/json_schema/test_builtin_type.rb
527
+ - spec/json_schema/test_multi_relation_type.rb
528
+ - spec/json_schema/test_multi_tuple_type.rb
529
+ - spec/json_schema/test_recursive_type.rb
530
+ - spec/json_schema/test_relation_type.rb
531
+ - spec/json_schema/test_seq_type.rb
532
+ - spec/json_schema/test_set_type.rb
533
+ - spec/json_schema/test_struct_type.rb
534
+ - spec/json_schema/test_sub_type.rb
535
+ - spec/json_schema/test_tuple_type.rb
536
+ - spec/json_schema/test_union_type.rb
537
+ - spec/regression/test_dress_on_recursive_type.rb
538
+ - spec/regression/test_heading_extra_are_proxy_resolved.rb
539
+ - spec/regression/test_name_of_generic_types.rb
540
+ - spec/spec_helper.rb
541
+ - spec/support/test_compare_attrs.rb
542
+ - spec/support/test_proc_with_code.rb
543
+ - spec/syntax/expr/test_free_variables.rb
544
+ - spec/syntax/expr/test_to_proc_source.rb
545
+ - spec/syntax/nodes/imported.fio
546
+ - spec/syntax/nodes/test_ad_type.rb
547
+ - spec/syntax/nodes/test_any_type.rb
548
+ - spec/syntax/nodes/test_attribute.rb
549
+ - spec/syntax/nodes/test_builtin_type.rb
550
+ - spec/syntax/nodes/test_comment.rb
551
+ - spec/syntax/nodes/test_constraint_def.rb
552
+ - spec/syntax/nodes/test_constraints.rb
553
+ - spec/syntax/nodes/test_contract.rb
554
+ - spec/syntax/nodes/test_expression.rb
555
+ - spec/syntax/nodes/test_heading.rb
556
+ - spec/syntax/nodes/test_import.rb
557
+ - spec/syntax/nodes/test_metadata.rb
558
+ - spec/syntax/nodes/test_named_constraint.rb
559
+ - spec/syntax/nodes/test_relation_type.rb
560
+ - spec/syntax/nodes/test_seq_type.rb
561
+ - spec/syntax/nodes/test_set_type.rb
562
+ - spec/syntax/nodes/test_spacing.rb
563
+ - spec/syntax/nodes/test_struct_type.rb
564
+ - spec/syntax/nodes/test_sub_type.rb
565
+ - spec/syntax/nodes/test_system.rb
566
+ - spec/syntax/nodes/test_tuple_type.rb
567
+ - spec/syntax/nodes/test_type_def.rb
568
+ - spec/syntax/nodes/test_type_ref.rb
569
+ - spec/syntax/nodes/test_union_type.rb
570
+ - spec/syntax/nodes/test_unnamed_constraint.rb
571
+ - spec/syntax/test_compile.rb
572
+ - spec/syntax/test_compile_type.rb
573
+ - spec/system/fixtures/system.fio
574
+ - spec/system/fixtures/with-duplicates.fio
575
+ - spec/system/test_add_type.rb
576
+ - spec/system/test_check_and_warn.rb
577
+ - spec/system/test_dsl.rb
578
+ - spec/system/test_dup.rb
579
+ - spec/system/test_fetch.rb
580
+ - spec/system/test_get_type.rb
581
+ - spec/system/test_initialize.rb
582
+ - spec/test_finitio.rb
583
+ - spec/type/ad_type/test_default_name.rb
584
+ - spec/type/ad_type/test_dress.rb
585
+ - spec/type/ad_type/test_include.rb
586
+ - spec/type/ad_type/test_initialize.rb
587
+ - spec/type/ad_type/test_name.rb
588
+ - spec/type/alias_type/test_default_name.rb
519
589
  - spec/type/alias_type/test_delegation.rb
520
590
  - spec/type/alias_type/test_name.rb
521
- - spec/type/alias_type/test_default_name.rb
522
- - spec/type/struct_type/test_include.rb
523
- - spec/type/struct_type/test_dress.rb
524
- - spec/type/struct_type/test_equality.rb
525
- - spec/type/struct_type/test_name.rb
526
- - spec/type/struct_type/test_default_name.rb
527
- - spec/type/struct_type/test_initialize.rb
528
- - spec/type/relation_type/test_include.rb
591
+ - spec/type/any_type/test_default_name.rb
592
+ - spec/type/any_type/test_dress.rb
593
+ - spec/type/any_type/test_equality.rb
594
+ - spec/type/any_type/test_include.rb
595
+ - spec/type/any_type/test_initialize.rb
596
+ - spec/type/any_type/test_name.rb
597
+ - spec/type/builtin_type/test_default_name.rb
598
+ - spec/type/builtin_type/test_dress.rb
599
+ - spec/type/builtin_type/test_equality.rb
600
+ - spec/type/builtin_type/test_include.rb
601
+ - spec/type/builtin_type/test_initialize.rb
602
+ - spec/type/builtin_type/test_name.rb
603
+ - spec/type/multi_relation_type/test_default_name.rb
604
+ - spec/type/multi_relation_type/test_dress.rb
605
+ - spec/type/multi_relation_type/test_equality.rb
606
+ - spec/type/multi_relation_type/test_include.rb
607
+ - spec/type/multi_relation_type/test_initialize.rb
608
+ - spec/type/multi_relation_type/test_name.rb
609
+ - spec/type/multi_tuple_type/test_default_name.rb
610
+ - spec/type/multi_tuple_type/test_dress.rb
611
+ - spec/type/multi_tuple_type/test_equality.rb
612
+ - spec/type/multi_tuple_type/test_include.rb
613
+ - spec/type/multi_tuple_type/test_initialize.rb
614
+ - spec/type/multi_tuple_type/test_name.rb
615
+ - spec/type/relation_type/test_default_name.rb
529
616
  - spec/type/relation_type/test_dress.rb
530
617
  - spec/type/relation_type/test_equality.rb
618
+ - spec/type/relation_type/test_include.rb
619
+ - spec/type/relation_type/test_initialize.rb
531
620
  - spec/type/relation_type/test_name.rb
532
- - spec/type/relation_type/test_default_name.rb
533
621
  - spec/type/relation_type/test_suppremum.rb
534
- - spec/type/relation_type/test_initialize.rb
535
- - spec/type/seq_type/test_include.rb
622
+ - spec/type/seq_type/test_default_name.rb
536
623
  - spec/type/seq_type/test_dress.rb
537
624
  - spec/type/seq_type/test_equality.rb
625
+ - spec/type/seq_type/test_include.rb
626
+ - spec/type/seq_type/test_initialize.rb
538
627
  - spec/type/seq_type/test_name.rb
539
- - spec/type/seq_type/test_default_name.rb
540
628
  - spec/type/seq_type/test_suppremum.rb
541
- - spec/type/seq_type/test_initialize.rb
542
- - spec/type/builtin_type/test_include.rb
543
- - spec/type/builtin_type/test_dress.rb
544
- - spec/type/builtin_type/test_equality.rb
545
- - spec/type/builtin_type/test_name.rb
546
- - spec/type/builtin_type/test_default_name.rb
547
- - spec/type/builtin_type/test_initialize.rb
548
- - spec/type/multi_tuple_type/test_include.rb
549
- - spec/type/multi_tuple_type/test_dress.rb
550
- - spec/type/multi_tuple_type/test_equality.rb
551
- - spec/type/multi_tuple_type/test_name.rb
552
- - spec/type/multi_tuple_type/test_default_name.rb
553
- - spec/type/multi_tuple_type/test_initialize.rb
554
- - spec/type/ad_type/test_include.rb
555
- - spec/type/ad_type/test_dress.rb
556
- - spec/type/ad_type/test_name.rb
557
- - spec/type/ad_type/test_default_name.rb
558
- - spec/type/ad_type/test_initialize.rb
559
- - spec/type/multi_relation_type/test_include.rb
560
- - spec/type/multi_relation_type/test_dress.rb
561
- - spec/type/multi_relation_type/test_equality.rb
562
- - spec/type/multi_relation_type/test_name.rb
563
- - spec/type/multi_relation_type/test_default_name.rb
564
- - spec/type/multi_relation_type/test_initialize.rb
565
- - spec/type/any_type/test_include.rb
566
- - spec/type/any_type/test_dress.rb
567
- - spec/type/any_type/test_equality.rb
568
- - spec/type/any_type/test_name.rb
569
- - spec/type/any_type/test_default_name.rb
570
- - spec/type/any_type/test_initialize.rb
571
- - spec/type/test_unconstrained.rb
572
- - spec/type/union_type/test_include.rb
573
- - spec/type/union_type/test_dress.rb
574
- - spec/type/union_type/test_equality.rb
575
- - spec/type/union_type/test_name.rb
576
- - spec/type/union_type/test_default_name.rb
577
- - spec/type/union_type/test_suppremum.rb
578
- - spec/type/union_type/test_initialize.rb
579
- - spec/type/sub_type/test_include.rb
580
- - spec/type/sub_type/test_dress.rb
581
- - spec/type/sub_type/test_equality.rb
582
- - spec/type/sub_type/test_name.rb
583
- - spec/type/sub_type/test_default_name.rb
584
- - spec/type/sub_type/test_initialize.rb
585
- - spec/type/set_type/test_include.rb
629
+ - spec/type/set_type/test_default_name.rb
586
630
  - spec/type/set_type/test_dress.rb
587
631
  - spec/type/set_type/test_equality.rb
632
+ - spec/type/set_type/test_include.rb
633
+ - spec/type/set_type/test_initialize.rb
588
634
  - spec/type/set_type/test_name.rb
589
- - spec/type/set_type/test_default_name.rb
590
635
  - spec/type/set_type/test_suppremum.rb
591
- - spec/type/set_type/test_initialize.rb
636
+ - spec/type/struct_type/test_default_name.rb
637
+ - spec/type/struct_type/test_dress.rb
638
+ - spec/type/struct_type/test_equality.rb
639
+ - spec/type/struct_type/test_include.rb
640
+ - spec/type/struct_type/test_initialize.rb
641
+ - spec/type/struct_type/test_name.rb
642
+ - spec/type/sub_type/test_default_name.rb
643
+ - spec/type/sub_type/test_dress.rb
644
+ - spec/type/sub_type/test_equality.rb
645
+ - spec/type/sub_type/test_include.rb
646
+ - spec/type/sub_type/test_initialize.rb
647
+ - spec/type/sub_type/test_name.rb
592
648
  - spec/type/test_suppremum.rb
593
- - spec/type/tuple_type/test_include.rb
649
+ - spec/type/test_unconstrained.rb
650
+ - spec/type/tuple_type/test_default_name.rb
594
651
  - spec/type/tuple_type/test_dress.rb
595
652
  - spec/type/tuple_type/test_equality.rb
653
+ - spec/type/tuple_type/test_include.rb
654
+ - spec/type/tuple_type/test_initialize.rb
596
655
  - spec/type/tuple_type/test_name.rb
597
- - spec/type/tuple_type/test_default_name.rb
598
656
  - spec/type/tuple_type/test_suppremum.rb
599
- - spec/type/tuple_type/test_initialize.rb
600
- - spec/support/test_proc_with_code.rb
601
- - spec/support/test_compare_attrs.rb
602
- - spec/heading/test_size.rb
603
- - spec/heading/test_hash_get.rb
604
- - spec/heading/test_hash.rb
605
- - spec/heading/test_each.rb
606
- - spec/heading/test_equality.rb
607
- - spec/heading/test_multi.rb
608
- - spec/heading/test_looks_similar.rb
609
- - spec/heading/test_allow_extra.rb
610
- - spec/heading/test_suppremum.rb
611
- - spec/heading/test_initialize.rb
612
- - spec/heading/test_to_name.rb
613
- - spec/json_schema/test_tuple_type.rb
614
- - spec/json_schema/test_alias_type.rb
615
- - spec/json_schema/test_set_type.rb
616
- - spec/json_schema/test_relation_type.rb
617
- - spec/json_schema/test_ad_type.rb
618
- - spec/json_schema/test_builtin_type.rb
619
- - spec/json_schema/test_multi_relation_type.rb
620
- - spec/json_schema/test_recursive_type.rb
621
- - spec/json_schema/test_sub_type.rb
622
- - spec/json_schema/test_any_type.rb
623
- - spec/json_schema/test_seq_type.rb
624
- - spec/json_schema/test_union_type.rb
625
- - spec/json_schema/test_multi_tuple_type.rb
626
- - spec/json_schema/test_struct_type.rb
627
- - spec/system/test_dsl.rb
628
- - spec/system/test_get_type.rb
629
- - spec/system/test_add_type.rb
630
- - spec/system/test_dup.rb
631
- - spec/system/fixtures/system.fio
632
- - spec/system/fixtures/with-duplicates.fio
633
- - spec/system/test_check_and_warn.rb
634
- - spec/system/test_fetch.rb
635
- - spec/system/test_initialize.rb
636
- - spec/attribute/test_required.rb
637
- - spec/attribute/test_optional.rb
638
- - spec/attribute/test_equality.rb
639
- - spec/attribute/test_fetch_on.rb
640
- - spec/attribute/test_initialize.rb
641
- - spec/attribute/test_to_name.rb
642
- - spec/syntax/nodes/test_unnamed_constraint.rb
643
- - spec/syntax/nodes/test_constraints.rb
644
- - spec/syntax/nodes/test_tuple_type.rb
645
- - spec/syntax/nodes/test_set_type.rb
646
- - spec/syntax/nodes/test_heading.rb
647
- - spec/syntax/nodes/test_comment.rb
648
- - spec/syntax/nodes/test_spacing.rb
649
- - spec/syntax/nodes/test_metadata.rb
650
- - spec/syntax/nodes/test_type_ref.rb
651
- - spec/syntax/nodes/test_relation_type.rb
652
- - spec/syntax/nodes/test_contract.rb
653
- - spec/syntax/nodes/test_ad_type.rb
654
- - spec/syntax/nodes/test_constraint_def.rb
655
- - spec/syntax/nodes/test_builtin_type.rb
656
- - spec/syntax/nodes/test_system.rb
657
- - spec/syntax/nodes/test_named_constraint.rb
658
- - spec/syntax/nodes/test_type_def.rb
659
- - spec/syntax/nodes/imported.fio
660
- - spec/syntax/nodes/test_sub_type.rb
661
- - spec/syntax/nodes/test_any_type.rb
662
- - spec/syntax/nodes/test_seq_type.rb
663
- - spec/syntax/nodes/test_union_type.rb
664
- - spec/syntax/nodes/test_attribute.rb
665
- - spec/syntax/nodes/test_import.rb
666
- - spec/syntax/nodes/test_struct_type.rb
667
- - spec/syntax/nodes/test_expression.rb
668
- - spec/syntax/expr/test_free_variables.rb
669
- - spec/syntax/expr/test_to_proc_source.rb
670
- - spec/syntax/test_compile_type.rb
671
- - spec/syntax/test_compile.rb
672
- - spec/spec_helper.rb
673
- - spec/finitio/system.fio
674
- - spec/finitio/test_ast.rb
675
- - spec/finitio/test_stdlib_memoization.rb
676
- - spec/finitio/test_parse.rb
677
- - spec/finitio/test_system.rb
678
- - spec/generation/test_generation.rb
657
+ - spec/type/union_type/test_default_name.rb
658
+ - spec/type/union_type/test_dress.rb
659
+ - spec/type/union_type/test_equality.rb
660
+ - spec/type/union_type/test_include.rb
661
+ - spec/type/union_type/test_initialize.rb
662
+ - spec/type/union_type/test_name.rb
663
+ - spec/type/union_type/test_suppremum.rb
664
+ - spec/type_factory/dsl/test_adt.rb
665
+ - spec/type_factory/dsl/test_any.rb
666
+ - spec/type_factory/dsl/test_attribute.rb
667
+ - spec/type_factory/dsl/test_attributes.rb
668
+ - spec/type_factory/dsl/test_builtin.rb
669
+ - spec/type_factory/dsl/test_multi_relation.rb
670
+ - spec/type_factory/dsl/test_multi_tuple.rb
671
+ - spec/type_factory/dsl/test_relation.rb
672
+ - spec/type_factory/dsl/test_seq.rb
673
+ - spec/type_factory/dsl/test_set.rb
674
+ - spec/type_factory/dsl/test_struct.rb
675
+ - spec/type_factory/dsl/test_subtype.rb
676
+ - spec/type_factory/dsl/test_tuple.rb
677
+ - spec/type_factory/dsl/test_union.rb
678
+ - spec/type_factory/factory/test_builtin.rb
679
+ - spec/type_factory/factory/test_seq_type.rb
680
+ - spec/type_factory/factory/test_set_type.rb
681
+ - spec/type_factory/factory/test_struct_type.rb
682
+ - spec/type_factory/factory/test_sub_type.rb
683
+ - spec/type_factory/factory/test_tuple_type.rb