finitio 0.11.1 → 0.11.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (9) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +11 -0
  3. data/Gemfile.lock +22 -22
  4. data/lib/finitio/json_schema/builtin_type.rb +1 -1
  5. data/lib/finitio/json_schema/proxy_type.rb +5 -1
  6. data/lib/finitio/version.rb +1 -1
  7. data/spec/json_schema/test_builtin_type.rb +1 -1
  8. data/spec/json_schema/test_recursive_type.rb +48 -0
  9. metadata +155 -153
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA1:
3
- metadata.gz: 67c8e3434a57c9b94e5175d34f6a20078c3ea3cd
4
- data.tar.gz: 18e6c0cfc68d0ce75ec91c9e000a1a80db551a2f
3
+ metadata.gz: acf74d5293b979c7c03d55dc9cbea273b9f85d6c
4
+ data.tar.gz: 14e18b10f4668fc996354ec2ceb6627eb56dffbc
5
5
  SHA512:
6
- metadata.gz: baa24a0c65ebe967e44dd30b6b0e381a7e9abcb2f43b3a27d1b3f573aa4f14aa718295f2efdd36846edcd87ca0920bf0f065add879d6058723ff13f93cad8ac6
7
- data.tar.gz: dcb03256d1892b6c6f42321d53b7fedbf7a43219228c235f91643ab94fe22aee5d6d728c5e159817f3105dfa3aed2c20338ae6f6ba8c8a73ab186397b4674da4
6
+ metadata.gz: ba3a092904c8ac102361ef17b2fc0f49d8f6ed209d2a3ffe0ec852f3c3b52772716762bf65d3604831a631f2ecc8782cdaa120b7768608849ec72bdbc164f8d2
7
+ data.tar.gz: a33d566ed9e25caed8b90d7228583056152ee1fb0c50533fad4008ab72d318fd3d51430f1f50146f42c77104f6fad40c86591200e168cce14de05d46995e228d
data/CHANGELOG.md CHANGED
@@ -1,3 +1,14 @@
1
+ # 0.11.3 - 2023/01/06
2
+
3
+ * Fix json_schema generation on unresolved ProxyTypes. We use
4
+ "object" by default, waiting for a better support for recursive
5
+ types.
6
+
7
+ # 0.11.2 - 2023/01/06
8
+
9
+ * Fix json_schema generation on builtin_type NilClass. "null"
10
+ is not a valid value, we now use "string" instead.
11
+
1
12
  # 0.11.1 - 2021/12/09
2
13
 
3
14
  * Fix github actions and extend test grid.
data/Gemfile.lock CHANGED
@@ -1,13 +1,13 @@
1
1
  PATH
2
2
  remote: .
3
3
  specs:
4
- finitio (0.11.1)
4
+ finitio (0.11.3)
5
5
  citrus (>= 3.0, < 4.0)
6
6
 
7
7
  GEM
8
8
  remote: https://rubygems.org/
9
9
  specs:
10
- activesupport (5.2.6)
10
+ activesupport (5.2.8.1)
11
11
  concurrent-ruby (~> 1.0, >= 1.0.2)
12
12
  i18n (>= 0.7, < 2)
13
13
  minitest (~> 5.1)
@@ -15,7 +15,7 @@ GEM
15
15
  awesome_print (1.9.2)
16
16
  builder (3.2.4)
17
17
  citrus (3.0.2)
18
- concurrent-ruby (1.1.9)
18
+ concurrent-ruby (1.1.10)
19
19
  coveralls (0.8.23)
20
20
  json (>= 1.8, < 3)
21
21
  simplecov (~> 0.16.1)
@@ -55,12 +55,12 @@ GEM
55
55
  cucumber-messages (~> 12.2, >= 12.2.0)
56
56
  diff-lcs (1.3)
57
57
  docile (1.3.5)
58
- ffi (1.15.4)
59
- i18n (1.8.11)
58
+ ffi (1.15.5)
59
+ i18n (1.12.0)
60
60
  concurrent-ruby (~> 1.0)
61
- json (2.6.1)
61
+ json (2.6.3)
62
62
  middleware (0.1.0)
63
- minitest (5.14.4)
63
+ minitest (5.15.0)
64
64
  multi_json (1.15.0)
65
65
  multi_test (0.1.2)
66
66
  path (2.0.1)
@@ -70,19 +70,19 @@ GEM
70
70
  thor
71
71
  thread_safe
72
72
  rake (13.0.6)
73
- rspec (3.10.0)
74
- rspec-core (~> 3.10.0)
75
- rspec-expectations (~> 3.10.0)
76
- rspec-mocks (~> 3.10.0)
77
- rspec-core (3.10.1)
78
- rspec-support (~> 3.10.0)
79
- rspec-expectations (3.10.1)
73
+ rspec (3.12.0)
74
+ rspec-core (~> 3.12.0)
75
+ rspec-expectations (~> 3.12.0)
76
+ rspec-mocks (~> 3.12.0)
77
+ rspec-core (3.12.0)
78
+ rspec-support (~> 3.12.0)
79
+ rspec-expectations (3.12.1)
80
80
  diff-lcs (>= 1.2.0, < 2.0)
81
- rspec-support (~> 3.10.0)
82
- rspec-mocks (3.10.2)
81
+ rspec-support (~> 3.12.0)
82
+ rspec-mocks (3.12.1)
83
83
  diff-lcs (>= 1.2.0, < 2.0)
84
- rspec-support (~> 3.10.0)
85
- rspec-support (3.10.3)
84
+ rspec-support (~> 3.12.0)
85
+ rspec-support (3.12.0)
86
86
  simplecov (0.16.1)
87
87
  docile (~> 1.1)
88
88
  json (>= 1.8, < 3)
@@ -93,11 +93,11 @@ GEM
93
93
  ffi (~> 1.1)
94
94
  term-ansicolor (1.7.1)
95
95
  tins (~> 1.0)
96
- thor (1.1.0)
96
+ thor (1.2.1)
97
97
  thread_safe (0.3.6)
98
- tins (1.29.1)
98
+ tins (1.32.1)
99
99
  sync
100
- tzinfo (1.2.9)
100
+ tzinfo (1.2.10)
101
101
  thread_safe (~> 0.1)
102
102
 
103
103
  PLATFORMS
@@ -114,4 +114,4 @@ DEPENDENCIES
114
114
  rspec (~> 3.0)
115
115
 
116
116
  BUNDLED WITH
117
- 2.2.33
117
+ 2.3.26
data/lib/finitio/json_schema/builtin_type.rb CHANGED
@@ -2,7 +2,7 @@ module Finitio
2
2
  module JsonSchema
3
3
 
4
4
  BUILTIN_MAPPING = {
5
- NilClass => "null",
5
+ NilClass => "string", # jsonapi does not support null
6
6
  String => "string",
7
7
  Integer => "integer",
8
8
  Fixnum => "integer",
data/lib/finitio/json_schema/proxy_type.rb CHANGED
@@ -2,7 +2,11 @@ module Finitio
2
2
  class ProxyType
3
3
 
4
4
  def to_json_schema(*args, &bl)
5
- @target.to_json_schema(*args, &bl) if @target
5
+ if @target
6
+ @target.to_json_schema(*args, &bl)
7
+ else
8
+ "object"
9
+ end
6
10
  end
7
11
 
8
12
  end # module ProxyType
data/lib/finitio/version.rb CHANGED
@@ -3,7 +3,7 @@ module Finitio
3
3
 
4
4
  MAJOR = 0
5
5
  MINOR = 11
6
- TINY = 1
6
+ TINY = 3
7
7
 
8
8
  def self.to_s
9
9
  [ MAJOR, MINOR, TINY ].join('.')
data/spec/json_schema/test_builtin_type.rb CHANGED
@@ -14,7 +14,7 @@ module Finitio
14
14
  let(:ruby_type){ NilClass }
15
15
 
16
16
  it 'works' do
17
- expect(subject).to eql({ type: "null" })
17
+ expect(subject).to eql({ type: "string" })
18
18
  end
19
19
  end
20
20
 
data/spec/json_schema/test_recursive_type.rb ADDED
@@ -0,0 +1,48 @@
1
+ require 'spec_helper'
2
+ module Finitio
3
+ module JsonSchema
4
+ describe "A recursive type" do
5
+
6
+ let(:system){
7
+ ::Finitio.system <<-FIO
8
+ Tree = {
9
+ children : [Tree]
10
+ }
11
+ FIO
12
+ }
13
+
14
+ let(:type) {
15
+ system['Tree']
16
+ }
17
+
18
+ xit 'works as expected' do
19
+ expect(type.to_json_schema).to eql({
20
+ type: "object",
21
+ properties: {
22
+ children: {
23
+ type: "array",
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
36
+ }
37
+ }
38
+ },
39
+ required: [
40
+ :children
41
+ ],
42
+ additionalProperties: false
43
+ })
44
+ end
45
+
46
+ end
47
+ end
48
+ end
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.1
4
+ version: 0.11.3
5
5
  platform: ruby
6
6
  authors:
7
7
  - Bernard Lambeau
8
8
  autorequire:
9
9
  bindir: bin
10
10
  cert_chain: []
11
- date: 2021-12-09 00:00:00.000000000 Z
11
+ date: 2023-01-06 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: citrus
@@ -309,6 +309,7 @@ files:
309
309
  - spec/json_schema/test_builtin_type.rb
310
310
  - spec/json_schema/test_multi_relation_type.rb
311
311
  - spec/json_schema/test_multi_tuple_type.rb
312
+ - spec/json_schema/test_recursive_type.rb
312
313
  - spec/json_schema/test_relation_type.rb
313
314
  - spec/json_schema/test_seq_type.rb
314
315
  - spec/json_schema/test_set_type.rb
@@ -487,190 +488,191 @@ signing_key:
487
488
  specification_version: 4
488
489
  summary: Finitio - in Ruby
489
490
  test_files:
490
- - spec/heading/test_multi.rb
491
- - spec/heading/test_suppremum.rb
492
- - spec/heading/test_each.rb
493
- - spec/heading/test_allow_extra.rb
494
- - spec/heading/test_equality.rb
495
- - spec/heading/test_size.rb
496
- - spec/heading/test_hash_get.rb
497
- - spec/heading/test_initialize.rb
498
- - spec/heading/test_to_name.rb
499
- - spec/heading/test_hash.rb
500
- - spec/heading/test_looks_similar.rb
501
- - spec/system/test_get_type.rb
502
- - spec/system/test_add_type.rb
503
- - spec/system/test_dup.rb
504
- - spec/system/test_dsl.rb
505
- - spec/system/test_check_and_warn.rb
506
- - spec/system/fixtures/with-duplicates.fio
507
- - spec/system/fixtures/system.fio
508
- - spec/system/test_fetch.rb
509
- - spec/system/test_initialize.rb
510
- - spec/support/test_compare_attrs.rb
511
- - spec/support/test_proc_with_code.rb
512
- - spec/constraint/test_name.rb
513
- - spec/constraint/test_equality.rb
514
- - spec/constraint/test_triple_equal.rb
491
+ - spec/regression/test_heading_extra_are_proxy_resolved.rb
492
+ - spec/test_finitio.rb
515
493
  - spec/constraint/test_named.rb
516
494
  - spec/constraint/test_anonymous.rb
517
- - spec/finitio/system.fio
518
- - spec/finitio/test_ast.rb
519
- - spec/finitio/test_system.rb
520
- - spec/finitio/test_parse.rb
521
- - spec/finitio/test_stdlib_memoization.rb
495
+ - spec/constraint/test_equality.rb
496
+ - spec/constraint/test_name.rb
497
+ - spec/constraint/test_triple_equal.rb
498
+ - 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
519
+ - spec/type/alias_type/test_delegation.rb
522
520
  - spec/type/alias_type/test_name.rb
523
521
  - spec/type/alias_type/test_default_name.rb
524
- - spec/type/alias_type/test_delegation.rb
525
- - spec/type/sub_type/test_dress.rb
526
- - spec/type/sub_type/test_name.rb
527
- - spec/type/sub_type/test_equality.rb
528
- - spec/type/sub_type/test_include.rb
529
- - spec/type/sub_type/test_default_name.rb
530
- - spec/type/sub_type/test_initialize.rb
531
- - spec/type/test_suppremum.rb
532
- - spec/type/any_type/test_dress.rb
533
- - spec/type/any_type/test_name.rb
534
- - spec/type/any_type/test_equality.rb
535
- - spec/type/any_type/test_include.rb
536
- - spec/type/any_type/test_default_name.rb
537
- - spec/type/any_type/test_initialize.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
529
+ - spec/type/relation_type/test_dress.rb
530
+ - spec/type/relation_type/test_equality.rb
531
+ - spec/type/relation_type/test_name.rb
532
+ - spec/type/relation_type/test_default_name.rb
533
+ - spec/type/relation_type/test_suppremum.rb
534
+ - spec/type/relation_type/test_initialize.rb
535
+ - spec/type/seq_type/test_include.rb
536
+ - spec/type/seq_type/test_dress.rb
537
+ - spec/type/seq_type/test_equality.rb
538
+ - spec/type/seq_type/test_name.rb
539
+ - spec/type/seq_type/test_default_name.rb
540
+ - 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
538
549
  - spec/type/multi_tuple_type/test_dress.rb
539
- - spec/type/multi_tuple_type/test_name.rb
540
550
  - spec/type/multi_tuple_type/test_equality.rb
541
- - spec/type/multi_tuple_type/test_include.rb
551
+ - spec/type/multi_tuple_type/test_name.rb
542
552
  - spec/type/multi_tuple_type/test_default_name.rb
543
553
  - spec/type/multi_tuple_type/test_initialize.rb
554
+ - spec/type/ad_type/test_include.rb
544
555
  - spec/type/ad_type/test_dress.rb
545
556
  - spec/type/ad_type/test_name.rb
546
- - spec/type/ad_type/test_include.rb
547
557
  - spec/type/ad_type/test_default_name.rb
548
558
  - spec/type/ad_type/test_initialize.rb
549
- - spec/type/tuple_type/test_suppremum.rb
550
- - spec/type/tuple_type/test_dress.rb
551
- - spec/type/tuple_type/test_name.rb
552
- - spec/type/tuple_type/test_equality.rb
553
- - spec/type/tuple_type/test_include.rb
554
- - spec/type/tuple_type/test_default_name.rb
555
- - spec/type/tuple_type/test_initialize.rb
556
- - spec/type/union_type/test_suppremum.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
557
573
  - spec/type/union_type/test_dress.rb
558
- - spec/type/union_type/test_name.rb
559
574
  - spec/type/union_type/test_equality.rb
560
- - spec/type/union_type/test_include.rb
575
+ - spec/type/union_type/test_name.rb
561
576
  - spec/type/union_type/test_default_name.rb
577
+ - spec/type/union_type/test_suppremum.rb
562
578
  - spec/type/union_type/test_initialize.rb
563
- - spec/type/seq_type/test_suppremum.rb
564
- - spec/type/seq_type/test_dress.rb
565
- - spec/type/seq_type/test_name.rb
566
- - spec/type/seq_type/test_equality.rb
567
- - spec/type/seq_type/test_include.rb
568
- - spec/type/seq_type/test_default_name.rb
569
- - spec/type/seq_type/test_initialize.rb
570
- - spec/type/builtin_type/test_dress.rb
571
- - spec/type/builtin_type/test_name.rb
572
- - spec/type/builtin_type/test_equality.rb
573
- - spec/type/builtin_type/test_include.rb
574
- - spec/type/builtin_type/test_default_name.rb
575
- - spec/type/builtin_type/test_initialize.rb
576
- - spec/type/set_type/test_suppremum.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
577
586
  - spec/type/set_type/test_dress.rb
578
- - spec/type/set_type/test_name.rb
579
587
  - spec/type/set_type/test_equality.rb
580
- - spec/type/set_type/test_include.rb
588
+ - spec/type/set_type/test_name.rb
581
589
  - spec/type/set_type/test_default_name.rb
590
+ - spec/type/set_type/test_suppremum.rb
582
591
  - spec/type/set_type/test_initialize.rb
583
- - spec/type/relation_type/test_suppremum.rb
584
- - spec/type/relation_type/test_dress.rb
585
- - spec/type/relation_type/test_name.rb
586
- - spec/type/relation_type/test_equality.rb
587
- - spec/type/relation_type/test_include.rb
588
- - spec/type/relation_type/test_default_name.rb
589
- - spec/type/relation_type/test_initialize.rb
590
- - spec/type/multi_relation_type/test_dress.rb
591
- - spec/type/multi_relation_type/test_name.rb
592
- - spec/type/multi_relation_type/test_equality.rb
593
- - spec/type/multi_relation_type/test_include.rb
594
- - spec/type/multi_relation_type/test_default_name.rb
595
- - spec/type/multi_relation_type/test_initialize.rb
596
- - spec/type/test_unconstrained.rb
597
- - spec/type/struct_type/test_dress.rb
598
- - spec/type/struct_type/test_name.rb
599
- - spec/type/struct_type/test_equality.rb
600
- - spec/type/struct_type/test_include.rb
601
- - spec/type/struct_type/test_default_name.rb
602
- - spec/type/struct_type/test_initialize.rb
592
+ - spec/type/test_suppremum.rb
593
+ - spec/type/tuple_type/test_include.rb
594
+ - spec/type/tuple_type/test_dress.rb
595
+ - spec/type/tuple_type/test_equality.rb
596
+ - spec/type/tuple_type/test_name.rb
597
+ - spec/type/tuple_type/test_default_name.rb
598
+ - 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
603
637
  - spec/attribute/test_optional.rb
604
638
  - spec/attribute/test_equality.rb
605
- - spec/attribute/test_required.rb
606
639
  - spec/attribute/test_fetch_on.rb
607
640
  - spec/attribute/test_initialize.rb
608
641
  - spec/attribute/test_to_name.rb
609
- - spec/inference/test_inference.rb
610
- - spec/regression/test_heading_extra_are_proxy_resolved.rb
611
- - spec/spec_helper.rb
612
- - spec/type_factory/factory/test_sub_type.rb
613
- - spec/type_factory/factory/test_builtin.rb
614
- - spec/type_factory/factory/test_struct_type.rb
615
- - spec/type_factory/factory/test_tuple_type.rb
616
- - spec/type_factory/factory/test_seq_type.rb
617
- - spec/type_factory/factory/test_set_type.rb
618
- - spec/type_factory/dsl/test_builtin.rb
619
- - spec/type_factory/dsl/test_subtype.rb
620
- - spec/type_factory/dsl/test_multi_relation.rb
621
- - spec/type_factory/dsl/test_adt.rb
622
- - spec/type_factory/dsl/test_union.rb
623
- - spec/type_factory/dsl/test_attributes.rb
624
- - spec/type_factory/dsl/test_attribute.rb
625
- - spec/type_factory/dsl/test_relation.rb
626
- - spec/type_factory/dsl/test_set.rb
627
- - spec/type_factory/dsl/test_seq.rb
628
- - spec/type_factory/dsl/test_struct.rb
629
- - spec/type_factory/dsl/test_any.rb
630
- - spec/type_factory/dsl/test_multi_tuple.rb
631
- - spec/type_factory/dsl/test_tuple.rb
632
- - spec/generation/test_generation.rb
633
- - spec/json_schema/test_sub_type.rb
634
- - spec/json_schema/test_alias_type.rb
635
- - spec/json_schema/test_union_type.rb
636
- - spec/json_schema/test_multi_tuple_type.rb
637
- - spec/json_schema/test_multi_relation_type.rb
638
- - spec/json_schema/test_builtin_type.rb
639
- - spec/json_schema/test_struct_type.rb
640
- - spec/json_schema/test_ad_type.rb
641
- - spec/json_schema/test_tuple_type.rb
642
- - spec/json_schema/test_any_type.rb
643
- - spec/json_schema/test_relation_type.rb
644
- - spec/json_schema/test_seq_type.rb
645
- - spec/json_schema/test_set_type.rb
646
- - spec/test_finitio.rb
647
- - spec/syntax/nodes/test_sub_type.rb
648
- - spec/syntax/nodes/test_type_def.rb
649
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
650
648
  - spec/syntax/nodes/test_spacing.rb
649
+ - spec/syntax/nodes/test_metadata.rb
651
650
  - spec/syntax/nodes/test_type_ref.rb
652
- - spec/syntax/nodes/test_union_type.rb
653
- - spec/syntax/nodes/test_comment.rb
654
- - spec/syntax/nodes/test_import.rb
655
- - spec/syntax/nodes/test_heading.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
656
655
  - spec/syntax/nodes/test_builtin_type.rb
656
+ - spec/syntax/nodes/test_system.rb
657
657
  - spec/syntax/nodes/test_named_constraint.rb
658
- - spec/syntax/nodes/test_metadata.rb
659
- - spec/syntax/nodes/test_struct_type.rb
660
- - spec/syntax/nodes/test_attribute.rb
661
- - spec/syntax/nodes/test_ad_type.rb
662
- - spec/syntax/nodes/test_tuple_type.rb
658
+ - spec/syntax/nodes/test_type_def.rb
659
+ - spec/syntax/nodes/imported.fio
660
+ - spec/syntax/nodes/test_sub_type.rb
663
661
  - spec/syntax/nodes/test_any_type.rb
664
- - spec/syntax/nodes/test_relation_type.rb
665
662
  - spec/syntax/nodes/test_seq_type.rb
666
- - spec/syntax/nodes/test_system.rb
667
- - spec/syntax/nodes/test_contract.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
668
667
  - spec/syntax/nodes/test_expression.rb
669
- - spec/syntax/nodes/test_set_type.rb
670
- - spec/syntax/nodes/test_constraint_def.rb
671
- - spec/syntax/nodes/imported.fio
672
- - spec/syntax/nodes/test_constraints.rb
673
668
  - spec/syntax/expr/test_free_variables.rb
674
669
  - spec/syntax/expr/test_to_proc_source.rb
675
- - spec/syntax/test_compile.rb
676
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