finitio 0.8.0 → 0.11.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (40) hide show
  1. checksums.yaml +5 -5
  2. data/CHANGELOG.md +28 -0
  3. data/Gemfile +0 -10
  4. data/Gemfile.lock +84 -37
  5. data/README.md +1 -2
  6. data/finitio.gemspec +9 -157
  7. data/lib/finitio/json_schema/ad_type.rb +11 -0
  8. data/lib/finitio/json_schema/alias_type.rb +9 -0
  9. data/lib/finitio/json_schema/any_type.rb +9 -0
  10. data/lib/finitio/json_schema/builtin_type.rb +30 -0
  11. data/lib/finitio/json_schema/hash_based_type.rb +25 -0
  12. data/lib/finitio/json_schema/proxy_type.rb +9 -0
  13. data/lib/finitio/json_schema/rel_based_type.rb +13 -0
  14. data/lib/finitio/json_schema/seq_type.rb +12 -0
  15. data/lib/finitio/json_schema/set_type.rb +13 -0
  16. data/lib/finitio/json_schema/struct_type.rb +12 -0
  17. data/lib/finitio/json_schema/sub_type.rb +10 -0
  18. data/lib/finitio/json_schema/union_type.rb +23 -0
  19. data/lib/finitio/json_schema.rb +17 -0
  20. data/lib/finitio/support/heading.rb +8 -2
  21. data/lib/finitio/syntax/lexer.citrus +1 -1
  22. data/lib/finitio/version.rb +2 -2
  23. data/spec/inference/test_inference.rb +8 -8
  24. data/spec/json_schema/test_ad_type.rb +20 -0
  25. data/spec/json_schema/test_alias_type.rb +15 -0
  26. data/spec/json_schema/test_any_type.rb +11 -0
  27. data/spec/json_schema/test_builtin_type.rb +51 -0
  28. data/spec/json_schema/test_multi_relation_type.rb +58 -0
  29. data/spec/json_schema/test_multi_tuple_type.rb +50 -0
  30. data/spec/json_schema/test_relation_type.rb +30 -0
  31. data/spec/json_schema/test_seq_type.rb +18 -0
  32. data/spec/json_schema/test_set_type.rb +19 -0
  33. data/spec/json_schema/test_struct_type.rb +18 -0
  34. data/spec/json_schema/test_sub_type.rb +17 -0
  35. data/spec/json_schema/test_tuple_type.rb +26 -0
  36. data/spec/json_schema/test_union_type.rb +75 -0
  37. data/spec/regression/test_heading_extra_are_proxy_resolved.rb +41 -0
  38. data/spec/spec_helper.rb +2 -1
  39. data/spec/syntax/nodes/test_attribute.rb +13 -1
  40. metadata +301 -156
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.8.0
4
+ version: 0.11.1
5
5
  platform: ruby
6
6
  authors:
7
7
  - Bernard Lambeau
8
8
  autorequire:
9
9
  bindir: bin
10
10
  cert_chain: []
11
- date: 2019-10-21 00:00:00.000000000 Z
11
+ date: 2021-12-09 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: citrus
@@ -16,7 +16,7 @@ dependencies:
16
16
  requirements:
17
17
  - - ">="
18
18
  - !ruby/object:Gem::Version
19
- version: '2.4'
19
+ version: '3.0'
20
20
  - - "<"
21
21
  - !ruby/object:Gem::Version
22
22
  version: '4.0'
@@ -26,10 +26,114 @@ dependencies:
26
26
  requirements:
27
27
  - - ">="
28
28
  - !ruby/object:Gem::Version
29
- version: '2.4'
29
+ version: '3.0'
30
30
  - - "<"
31
31
  - !ruby/object:Gem::Version
32
32
  version: '4.0'
33
+ - !ruby/object:Gem::Dependency
34
+ name: rake
35
+ requirement: !ruby/object:Gem::Requirement
36
+ requirements:
37
+ - - "~>"
38
+ - !ruby/object:Gem::Version
39
+ version: '13.0'
40
+ type: :development
41
+ prerelease: false
42
+ version_requirements: !ruby/object:Gem::Requirement
43
+ requirements:
44
+ - - "~>"
45
+ - !ruby/object:Gem::Version
46
+ version: '13.0'
47
+ - !ruby/object:Gem::Dependency
48
+ name: rspec
49
+ requirement: !ruby/object:Gem::Requirement
50
+ requirements:
51
+ - - "~>"
52
+ - !ruby/object:Gem::Version
53
+ version: '3.0'
54
+ type: :development
55
+ prerelease: false
56
+ version_requirements: !ruby/object:Gem::Requirement
57
+ requirements:
58
+ - - "~>"
59
+ - !ruby/object:Gem::Version
60
+ version: '3.0'
61
+ - !ruby/object:Gem::Dependency
62
+ name: cucumber
63
+ requirement: !ruby/object:Gem::Requirement
64
+ requirements:
65
+ - - "~>"
66
+ - !ruby/object:Gem::Version
67
+ version: '4.1'
68
+ type: :development
69
+ prerelease: false
70
+ version_requirements: !ruby/object:Gem::Requirement
71
+ requirements:
72
+ - - "~>"
73
+ - !ruby/object:Gem::Version
74
+ version: '4.1'
75
+ - !ruby/object:Gem::Dependency
76
+ name: path
77
+ requirement: !ruby/object:Gem::Requirement
78
+ requirements:
79
+ - - ">="
80
+ - !ruby/object:Gem::Version
81
+ version: '2.0'
82
+ - - "<"
83
+ - !ruby/object:Gem::Version
84
+ version: '3.0'
85
+ type: :development
86
+ prerelease: false
87
+ version_requirements: !ruby/object:Gem::Requirement
88
+ requirements:
89
+ - - ">="
90
+ - !ruby/object:Gem::Version
91
+ version: '2.0'
92
+ - - "<"
93
+ - !ruby/object:Gem::Version
94
+ version: '3.0'
95
+ - !ruby/object:Gem::Dependency
96
+ name: awesome_print
97
+ requirement: !ruby/object:Gem::Requirement
98
+ requirements:
99
+ - - "~>"
100
+ - !ruby/object:Gem::Version
101
+ version: '1.8'
102
+ type: :development
103
+ prerelease: false
104
+ version_requirements: !ruby/object:Gem::Requirement
105
+ requirements:
106
+ - - "~>"
107
+ - !ruby/object:Gem::Version
108
+ version: '1.8'
109
+ - !ruby/object:Gem::Dependency
110
+ name: coveralls
111
+ requirement: !ruby/object:Gem::Requirement
112
+ requirements:
113
+ - - "~>"
114
+ - !ruby/object:Gem::Version
115
+ version: '0.8'
116
+ type: :development
117
+ prerelease: false
118
+ version_requirements: !ruby/object:Gem::Requirement
119
+ requirements:
120
+ - - "~>"
121
+ - !ruby/object:Gem::Version
122
+ version: '0.8'
123
+ - !ruby/object:Gem::Dependency
124
+ name: multi_json
125
+ requirement: !ruby/object:Gem::Requirement
126
+ requirements:
127
+ - - "~>"
128
+ - !ruby/object:Gem::Version
129
+ version: '1.15'
130
+ type: :development
131
+ prerelease: false
132
+ version_requirements: !ruby/object:Gem::Requirement
133
+ requirements:
134
+ - - "~>"
135
+ - !ruby/object:Gem::Version
136
+ version: '1.15'
33
137
  description: Implements the Finitio information language in Ruby.
34
138
  email:
35
139
  - blambeau@gmail.com
@@ -65,6 +169,19 @@ files:
65
169
  - lib/finitio/generation/sub_type.rb
66
170
  - lib/finitio/generation/union_type.rb
67
171
  - lib/finitio/inference.rb
172
+ - lib/finitio/json_schema.rb
173
+ - lib/finitio/json_schema/ad_type.rb
174
+ - lib/finitio/json_schema/alias_type.rb
175
+ - lib/finitio/json_schema/any_type.rb
176
+ - lib/finitio/json_schema/builtin_type.rb
177
+ - lib/finitio/json_schema/hash_based_type.rb
178
+ - lib/finitio/json_schema/proxy_type.rb
179
+ - lib/finitio/json_schema/rel_based_type.rb
180
+ - lib/finitio/json_schema/seq_type.rb
181
+ - lib/finitio/json_schema/set_type.rb
182
+ - lib/finitio/json_schema/struct_type.rb
183
+ - lib/finitio/json_schema/sub_type.rb
184
+ - lib/finitio/json_schema/union_type.rb
68
185
  - lib/finitio/stdlib/finitio/data.fio
69
186
  - lib/finitio/support.rb
70
187
  - lib/finitio/support/attribute.rb
@@ -186,6 +303,20 @@ files:
186
303
  - spec/heading/test_suppremum.rb
187
304
  - spec/heading/test_to_name.rb
188
305
  - spec/inference/test_inference.rb
306
+ - spec/json_schema/test_ad_type.rb
307
+ - spec/json_schema/test_alias_type.rb
308
+ - spec/json_schema/test_any_type.rb
309
+ - spec/json_schema/test_builtin_type.rb
310
+ - spec/json_schema/test_multi_relation_type.rb
311
+ - spec/json_schema/test_multi_tuple_type.rb
312
+ - spec/json_schema/test_relation_type.rb
313
+ - spec/json_schema/test_seq_type.rb
314
+ - spec/json_schema/test_set_type.rb
315
+ - spec/json_schema/test_struct_type.rb
316
+ - spec/json_schema/test_sub_type.rb
317
+ - spec/json_schema/test_tuple_type.rb
318
+ - spec/json_schema/test_union_type.rb
319
+ - spec/regression/test_heading_extra_are_proxy_resolved.rb
189
320
  - spec/spec_helper.rb
190
321
  - spec/support/test_compare_attrs.rb
191
322
  - spec/support/test_proc_with_code.rb
@@ -351,181 +482,195 @@ required_rubygems_version: !ruby/object:Gem::Requirement
351
482
  version: '0'
352
483
  requirements: []
353
484
  rubyforge_project:
354
- rubygems_version: 2.7.6
485
+ rubygems_version: 2.6.14.4
355
486
  signing_key:
356
487
  specification_version: 4
357
488
  summary: Finitio - in Ruby
358
489
  test_files:
359
- - spec/inference/test_inference.rb
360
- - spec/syntax/nodes/test_system.rb
361
- - spec/syntax/nodes/test_union_type.rb
362
- - spec/syntax/nodes/test_constraints.rb
363
- - spec/syntax/nodes/test_builtin_type.rb
364
- - spec/syntax/nodes/test_set_type.rb
365
- - spec/syntax/nodes/test_unnamed_constraint.rb
366
- - spec/syntax/nodes/test_type_ref.rb
367
- - spec/syntax/nodes/test_constraint_def.rb
368
- - spec/syntax/nodes/imported.fio
369
- - spec/syntax/nodes/test_sub_type.rb
370
- - spec/syntax/nodes/test_contract.rb
371
- - spec/syntax/nodes/test_relation_type.rb
372
- - spec/syntax/nodes/test_attribute.rb
373
- - spec/syntax/nodes/test_any_type.rb
374
- - spec/syntax/nodes/test_spacing.rb
375
- - spec/syntax/nodes/test_import.rb
376
- - spec/syntax/nodes/test_metadata.rb
377
- - spec/syntax/nodes/test_ad_type.rb
378
- - spec/syntax/nodes/test_named_constraint.rb
379
- - spec/syntax/nodes/test_expression.rb
380
- - spec/syntax/nodes/test_seq_type.rb
381
- - spec/syntax/nodes/test_tuple_type.rb
382
- - spec/syntax/nodes/test_comment.rb
383
- - spec/syntax/nodes/test_type_def.rb
384
- - spec/syntax/nodes/test_struct_type.rb
385
- - spec/syntax/nodes/test_heading.rb
386
- - spec/syntax/test_compile.rb
387
- - spec/syntax/expr/test_free_variables.rb
388
- - spec/syntax/expr/test_to_proc_source.rb
389
- - spec/syntax/test_compile_type.rb
390
- - spec/support/test_proc_with_code.rb
391
- - spec/support/test_compare_attrs.rb
392
- - spec/type_factory/dsl/test_struct.rb
393
- - spec/type_factory/dsl/test_set.rb
394
- - spec/type_factory/dsl/test_attributes.rb
395
- - spec/type_factory/dsl/test_seq.rb
396
- - spec/type_factory/dsl/test_builtin.rb
397
- - spec/type_factory/dsl/test_multi_relation.rb
398
- - spec/type_factory/dsl/test_union.rb
399
- - spec/type_factory/dsl/test_adt.rb
400
- - spec/type_factory/dsl/test_attribute.rb
401
- - spec/type_factory/dsl/test_subtype.rb
402
- - spec/type_factory/dsl/test_multi_tuple.rb
403
- - spec/type_factory/dsl/test_relation.rb
404
- - spec/type_factory/dsl/test_tuple.rb
405
- - spec/type_factory/dsl/test_any.rb
406
- - spec/type_factory/factory/test_set_type.rb
407
- - spec/type_factory/factory/test_sub_type.rb
408
- - spec/type_factory/factory/test_builtin.rb
409
- - spec/type_factory/factory/test_seq_type.rb
410
- - spec/type_factory/factory/test_tuple_type.rb
411
- - spec/type_factory/factory/test_struct_type.rb
412
- - spec/heading/test_hash_get.rb
413
490
  - spec/heading/test_multi.rb
414
- - spec/heading/test_to_name.rb
415
- - spec/heading/test_looks_similar.rb
416
- - spec/heading/test_each.rb
417
- - spec/heading/test_initialize.rb
418
- - spec/heading/test_size.rb
419
491
  - spec/heading/test_suppremum.rb
492
+ - spec/heading/test_each.rb
493
+ - spec/heading/test_allow_extra.rb
420
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
421
499
  - spec/heading/test_hash.rb
422
- - spec/heading/test_allow_extra.rb
423
- - spec/generation/test_generation.rb
500
+ - spec/heading/test_looks_similar.rb
501
+ - spec/system/test_get_type.rb
502
+ - spec/system/test_add_type.rb
424
503
  - spec/system/test_dup.rb
425
- - spec/system/fixtures/system.fio
426
- - spec/system/fixtures/with-duplicates.fio
427
504
  - spec/system/test_dsl.rb
428
- - spec/system/test_initialize.rb
429
- - spec/system/test_add_type.rb
430
505
  - spec/system/test_check_and_warn.rb
506
+ - spec/system/fixtures/with-duplicates.fio
507
+ - spec/system/fixtures/system.fio
431
508
  - spec/system/test_fetch.rb
432
- - spec/system/test_get_type.rb
433
- - spec/test_finitio.rb
434
- - spec/spec_helper.rb
435
- - spec/type/union_type/test_dress.rb
436
- - spec/type/union_type/test_default_name.rb
437
- - spec/type/union_type/test_initialize.rb
438
- - spec/type/union_type/test_suppremum.rb
439
- - spec/type/union_type/test_include.rb
440
- - spec/type/union_type/test_equality.rb
441
- - spec/type/union_type/test_name.rb
442
- - spec/type/set_type/test_dress.rb
443
- - spec/type/set_type/test_default_name.rb
444
- - spec/type/set_type/test_initialize.rb
445
- - spec/type/set_type/test_suppremum.rb
446
- - spec/type/set_type/test_include.rb
447
- - spec/type/set_type/test_equality.rb
448
- - spec/type/set_type/test_name.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
515
+ - spec/constraint/test_named.rb
516
+ - 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
522
+ - spec/type/alias_type/test_name.rb
449
523
  - spec/type/alias_type/test_default_name.rb
450
524
  - spec/type/alias_type/test_delegation.rb
451
- - spec/type/alias_type/test_name.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
452
538
  - spec/type/multi_tuple_type/test_dress.rb
539
+ - spec/type/multi_tuple_type/test_name.rb
540
+ - spec/type/multi_tuple_type/test_equality.rb
541
+ - spec/type/multi_tuple_type/test_include.rb
453
542
  - spec/type/multi_tuple_type/test_default_name.rb
454
543
  - spec/type/multi_tuple_type/test_initialize.rb
455
- - spec/type/multi_tuple_type/test_include.rb
456
- - spec/type/multi_tuple_type/test_equality.rb
457
- - spec/type/multi_tuple_type/test_name.rb
458
- - spec/type/struct_type/test_dress.rb
459
- - spec/type/struct_type/test_default_name.rb
460
- - spec/type/struct_type/test_initialize.rb
461
- - spec/type/struct_type/test_include.rb
462
- - spec/type/struct_type/test_equality.rb
463
- - spec/type/struct_type/test_name.rb
544
+ - spec/type/ad_type/test_dress.rb
545
+ - spec/type/ad_type/test_name.rb
546
+ - spec/type/ad_type/test_include.rb
547
+ - spec/type/ad_type/test_default_name.rb
548
+ - 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
557
+ - spec/type/union_type/test_dress.rb
558
+ - spec/type/union_type/test_name.rb
559
+ - spec/type/union_type/test_equality.rb
560
+ - spec/type/union_type/test_include.rb
561
+ - spec/type/union_type/test_default_name.rb
562
+ - 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
464
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
465
574
  - spec/type/builtin_type/test_default_name.rb
466
575
  - spec/type/builtin_type/test_initialize.rb
467
- - spec/type/builtin_type/test_include.rb
468
- - spec/type/builtin_type/test_equality.rb
469
- - spec/type/builtin_type/test_name.rb
470
- - spec/type/multi_relation_type/test_dress.rb
471
- - spec/type/multi_relation_type/test_default_name.rb
472
- - spec/type/multi_relation_type/test_initialize.rb
473
- - spec/type/multi_relation_type/test_include.rb
474
- - spec/type/multi_relation_type/test_equality.rb
475
- - spec/type/multi_relation_type/test_name.rb
476
- - spec/type/any_type/test_dress.rb
477
- - spec/type/any_type/test_default_name.rb
478
- - spec/type/any_type/test_initialize.rb
479
- - spec/type/any_type/test_include.rb
480
- - spec/type/any_type/test_equality.rb
481
- - spec/type/any_type/test_name.rb
576
+ - spec/type/set_type/test_suppremum.rb
577
+ - spec/type/set_type/test_dress.rb
578
+ - spec/type/set_type/test_name.rb
579
+ - spec/type/set_type/test_equality.rb
580
+ - spec/type/set_type/test_include.rb
581
+ - spec/type/set_type/test_default_name.rb
582
+ - spec/type/set_type/test_initialize.rb
583
+ - spec/type/relation_type/test_suppremum.rb
482
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
483
588
  - spec/type/relation_type/test_default_name.rb
484
589
  - spec/type/relation_type/test_initialize.rb
485
- - spec/type/relation_type/test_suppremum.rb
486
- - spec/type/relation_type/test_include.rb
487
- - spec/type/relation_type/test_equality.rb
488
- - spec/type/relation_type/test_name.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
489
596
  - spec/type/test_unconstrained.rb
490
- - spec/type/tuple_type/test_dress.rb
491
- - spec/type/tuple_type/test_default_name.rb
492
- - spec/type/tuple_type/test_initialize.rb
493
- - spec/type/tuple_type/test_suppremum.rb
494
- - spec/type/tuple_type/test_include.rb
495
- - spec/type/tuple_type/test_equality.rb
496
- - spec/type/tuple_type/test_name.rb
497
- - spec/type/sub_type/test_dress.rb
498
- - spec/type/sub_type/test_default_name.rb
499
- - spec/type/sub_type/test_initialize.rb
500
- - spec/type/sub_type/test_include.rb
501
- - spec/type/sub_type/test_equality.rb
502
- - spec/type/sub_type/test_name.rb
503
- - spec/type/seq_type/test_dress.rb
504
- - spec/type/seq_type/test_default_name.rb
505
- - spec/type/seq_type/test_initialize.rb
506
- - spec/type/seq_type/test_suppremum.rb
507
- - spec/type/seq_type/test_include.rb
508
- - spec/type/seq_type/test_equality.rb
509
- - spec/type/seq_type/test_name.rb
510
- - spec/type/test_suppremum.rb
511
- - spec/type/ad_type/test_dress.rb
512
- - spec/type/ad_type/test_default_name.rb
513
- - spec/type/ad_type/test_initialize.rb
514
- - spec/type/ad_type/test_include.rb
515
- - spec/type/ad_type/test_name.rb
516
- - spec/finitio/test_system.rb
517
- - spec/finitio/test_stdlib_memoization.rb
518
- - spec/finitio/system.fio
519
- - spec/finitio/test_parse.rb
520
- - spec/finitio/test_ast.rb
521
- - spec/attribute/test_to_name.rb
522
- - spec/attribute/test_required.rb
523
- - spec/attribute/test_initialize.rb
524
- - spec/attribute/test_fetch_on.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
525
603
  - spec/attribute/test_optional.rb
526
604
  - spec/attribute/test_equality.rb
527
- - spec/constraint/test_named.rb
528
- - spec/constraint/test_anonymous.rb
529
- - spec/constraint/test_equality.rb
530
- - spec/constraint/test_triple_equal.rb
531
- - spec/constraint/test_name.rb
605
+ - spec/attribute/test_required.rb
606
+ - spec/attribute/test_fetch_on.rb
607
+ - spec/attribute/test_initialize.rb
608
+ - 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
+ - spec/syntax/nodes/test_unnamed_constraint.rb
650
+ - spec/syntax/nodes/test_spacing.rb
651
+ - 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
656
+ - spec/syntax/nodes/test_builtin_type.rb
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
663
+ - spec/syntax/nodes/test_any_type.rb
664
+ - spec/syntax/nodes/test_relation_type.rb
665
+ - spec/syntax/nodes/test_seq_type.rb
666
+ - spec/syntax/nodes/test_system.rb
667
+ - spec/syntax/nodes/test_contract.rb
668
+ - 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
+ - spec/syntax/expr/test_free_variables.rb
674
+ - spec/syntax/expr/test_to_proc_source.rb
675
+ - spec/syntax/test_compile.rb
676
+ - spec/syntax/test_compile_type.rb