finitio 0.7.0 → 0.8.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (70) hide show
  1. checksums.yaml +5 -5
  2. data/CHANGELOG.md +10 -0
  3. data/Gemfile +1 -1
  4. data/Gemfile.lock +40 -41
  5. data/lib/finitio/generation.rb +106 -0
  6. data/lib/finitio/generation/ad_type.rb +10 -0
  7. data/lib/finitio/generation/alias_type.rb +9 -0
  8. data/lib/finitio/generation/any_type.rb +11 -0
  9. data/lib/finitio/generation/builtin_type.rb +9 -0
  10. data/lib/finitio/generation/hash_based_type.rb +15 -0
  11. data/lib/finitio/generation/heuristic.rb +8 -0
  12. data/lib/finitio/generation/heuristic/constant.rb +30 -0
  13. data/lib/finitio/generation/heuristic/random.rb +52 -0
  14. data/lib/finitio/generation/rel_based_type.rb +13 -0
  15. data/lib/finitio/generation/seq_type.rb +13 -0
  16. data/lib/finitio/generation/set_type.rb +13 -0
  17. data/lib/finitio/generation/sub_type.rb +9 -0
  18. data/lib/finitio/generation/union_type.rb +10 -0
  19. data/lib/finitio/inference.rb +51 -0
  20. data/lib/finitio/support.rb +18 -0
  21. data/lib/finitio/support/attribute.rb +8 -0
  22. data/lib/finitio/support/compilation.rb +18 -18
  23. data/lib/finitio/support/contract.rb +8 -0
  24. data/lib/finitio/support/fetch_scope.rb +19 -0
  25. data/lib/finitio/support/heading.rb +36 -1
  26. data/lib/finitio/syntax.rb +1 -1
  27. data/lib/finitio/syntax/lexer.citrus +1 -1
  28. data/lib/finitio/syntax/type.rb +2 -0
  29. data/lib/finitio/syntax/type/high_order_type_instantiation.rb +29 -0
  30. data/lib/finitio/syntax/type/high_order_vars.rb +16 -0
  31. data/lib/finitio/syntax/type/type_def.rb +11 -1
  32. data/lib/finitio/syntax/types.citrus +14 -1
  33. data/lib/finitio/system.rb +11 -1
  34. data/lib/finitio/type.rb +19 -0
  35. data/lib/finitio/type/ad_type.rb +8 -0
  36. data/lib/finitio/type/alias_type.rb +8 -0
  37. data/lib/finitio/type/any_type.rb +12 -0
  38. data/lib/finitio/type/builtin_type.rb +4 -0
  39. data/lib/finitio/type/collection_type.rb +15 -0
  40. data/lib/finitio/type/heading_based_type.rb +17 -0
  41. data/lib/finitio/type/high_order_type.rb +39 -0
  42. data/lib/finitio/type/multi_relation_type.rb +4 -0
  43. data/lib/finitio/type/multi_tuple_type.rb +4 -0
  44. data/lib/finitio/type/proxy_type.rb +10 -20
  45. data/lib/finitio/type/relation_type.rb +4 -0
  46. data/lib/finitio/type/seq_type.rb +1 -1
  47. data/lib/finitio/type/struct_type.rb +8 -0
  48. data/lib/finitio/type/sub_type.rb +8 -0
  49. data/lib/finitio/type/tuple_type.rb +4 -0
  50. data/lib/finitio/type/union_type.rb +19 -0
  51. data/lib/finitio/version.rb +1 -1
  52. data/spec/generation/test_generation.rb +169 -0
  53. data/spec/heading/test_looks_similar.rb +45 -0
  54. data/spec/heading/test_suppremum.rb +56 -0
  55. data/spec/inference/test_inference.rb +42 -0
  56. data/spec/spec_helper.rb +31 -6
  57. data/spec/support/test_compare_attrs.rb +67 -0
  58. data/spec/syntax/test_compile.rb +57 -0
  59. data/spec/type/ad_type/test_initialize.rb +1 -8
  60. data/spec/type/relation_type/test_suppremum.rb +104 -0
  61. data/spec/type/seq_type/test_suppremum.rb +54 -0
  62. data/spec/type/set_type/test_suppremum.rb +54 -0
  63. data/spec/type/test_suppremum.rb +49 -0
  64. data/spec/type/test_unconstrained.rb +150 -0
  65. data/spec/type/tuple_type/test_suppremum.rb +119 -0
  66. data/spec/type/union_type/test_suppremum.rb +51 -0
  67. data/tasks/test.rake +1 -1
  68. metadata +183 -144
  69. data/spec/type/proxy_type/test_delegation.rb +0 -37
  70. data/spec/type/proxy_type/test_resolve.rb +0 -29
data/tasks/test.rake CHANGED
@@ -18,7 +18,7 @@ namespace :test do
18
18
  require 'cucumber/rake/task'
19
19
 
20
20
  Cucumber::Rake::Task.new(:cucumber) do |t|
21
- t.cucumber_opts = "features --format pretty"
21
+ t.cucumber_opts = "features --format progress"
22
22
  end
23
23
  rescue LoadError => ex
24
24
  task :unit do
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.7.0
4
+ version: 0.8.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: 2019-02-28 00:00:00.000000000 Z
11
+ date: 2019-10-21 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: citrus
@@ -50,6 +50,21 @@ files:
50
50
  - finitio.gemspec
51
51
  - lib/finitio.rb
52
52
  - lib/finitio/errors.rb
53
+ - lib/finitio/generation.rb
54
+ - lib/finitio/generation/ad_type.rb
55
+ - lib/finitio/generation/alias_type.rb
56
+ - lib/finitio/generation/any_type.rb
57
+ - lib/finitio/generation/builtin_type.rb
58
+ - lib/finitio/generation/hash_based_type.rb
59
+ - lib/finitio/generation/heuristic.rb
60
+ - lib/finitio/generation/heuristic/constant.rb
61
+ - lib/finitio/generation/heuristic/random.rb
62
+ - lib/finitio/generation/rel_based_type.rb
63
+ - lib/finitio/generation/seq_type.rb
64
+ - lib/finitio/generation/set_type.rb
65
+ - lib/finitio/generation/sub_type.rb
66
+ - lib/finitio/generation/union_type.rb
67
+ - lib/finitio/inference.rb
53
68
  - lib/finitio/stdlib/finitio/data.fio
54
69
  - lib/finitio/support.rb
55
70
  - lib/finitio/support/attribute.rb
@@ -57,6 +72,7 @@ files:
57
72
  - lib/finitio/support/constraint.rb
58
73
  - lib/finitio/support/contract.rb
59
74
  - lib/finitio/support/dress_helper.rb
75
+ - lib/finitio/support/fetch_scope.rb
60
76
  - lib/finitio/support/heading.rb
61
77
  - lib/finitio/support/metadata.rb
62
78
  - lib/finitio/support/proc_with_code.rb
@@ -100,6 +116,8 @@ files:
100
116
  - lib/finitio/syntax/type/external_pair.rb
101
117
  - lib/finitio/syntax/type/heading.rb
102
118
  - lib/finitio/syntax/type/heading_extra.rb
119
+ - lib/finitio/syntax/type/high_order_type_instantiation.rb
120
+ - lib/finitio/syntax/type/high_order_vars.rb
103
121
  - lib/finitio/syntax/type/inline_pair.rb
104
122
  - lib/finitio/syntax/type/lambda_expr.rb
105
123
  - lib/finitio/syntax/type/main_type.rb
@@ -126,6 +144,7 @@ files:
126
144
  - lib/finitio/type/collection_type.rb
127
145
  - lib/finitio/type/hash_based_type.rb
128
146
  - lib/finitio/type/heading_based_type.rb
147
+ - lib/finitio/type/high_order_type.rb
129
148
  - lib/finitio/type/multi_relation_type.rb
130
149
  - lib/finitio/type/multi_tuple_type.rb
131
150
  - lib/finitio/type/proxy_type.rb
@@ -154,16 +173,21 @@ files:
154
173
  - spec/finitio/test_parse.rb
155
174
  - spec/finitio/test_stdlib_memoization.rb
156
175
  - spec/finitio/test_system.rb
176
+ - spec/generation/test_generation.rb
157
177
  - spec/heading/test_allow_extra.rb
158
178
  - spec/heading/test_each.rb
159
179
  - spec/heading/test_equality.rb
160
180
  - spec/heading/test_hash.rb
161
181
  - spec/heading/test_hash_get.rb
162
182
  - spec/heading/test_initialize.rb
183
+ - spec/heading/test_looks_similar.rb
163
184
  - spec/heading/test_multi.rb
164
185
  - spec/heading/test_size.rb
186
+ - spec/heading/test_suppremum.rb
165
187
  - spec/heading/test_to_name.rb
188
+ - spec/inference/test_inference.rb
166
189
  - spec/spec_helper.rb
190
+ - spec/support/test_compare_attrs.rb
167
191
  - spec/support/test_proc_with_code.rb
168
192
  - spec/syntax/expr/test_free_variables.rb
169
193
  - spec/syntax/expr/test_to_proc_source.rb
@@ -237,26 +261,27 @@ files:
237
261
  - spec/type/multi_tuple_type/test_include.rb
238
262
  - spec/type/multi_tuple_type/test_initialize.rb
239
263
  - spec/type/multi_tuple_type/test_name.rb
240
- - spec/type/proxy_type/test_delegation.rb
241
- - spec/type/proxy_type/test_resolve.rb
242
264
  - spec/type/relation_type/test_default_name.rb
243
265
  - spec/type/relation_type/test_dress.rb
244
266
  - spec/type/relation_type/test_equality.rb
245
267
  - spec/type/relation_type/test_include.rb
246
268
  - spec/type/relation_type/test_initialize.rb
247
269
  - spec/type/relation_type/test_name.rb
270
+ - spec/type/relation_type/test_suppremum.rb
248
271
  - spec/type/seq_type/test_default_name.rb
249
272
  - spec/type/seq_type/test_dress.rb
250
273
  - spec/type/seq_type/test_equality.rb
251
274
  - spec/type/seq_type/test_include.rb
252
275
  - spec/type/seq_type/test_initialize.rb
253
276
  - spec/type/seq_type/test_name.rb
277
+ - spec/type/seq_type/test_suppremum.rb
254
278
  - spec/type/set_type/test_default_name.rb
255
279
  - spec/type/set_type/test_dress.rb
256
280
  - spec/type/set_type/test_equality.rb
257
281
  - spec/type/set_type/test_include.rb
258
282
  - spec/type/set_type/test_initialize.rb
259
283
  - spec/type/set_type/test_name.rb
284
+ - spec/type/set_type/test_suppremum.rb
260
285
  - spec/type/struct_type/test_default_name.rb
261
286
  - spec/type/struct_type/test_dress.rb
262
287
  - spec/type/struct_type/test_equality.rb
@@ -269,18 +294,22 @@ files:
269
294
  - spec/type/sub_type/test_include.rb
270
295
  - spec/type/sub_type/test_initialize.rb
271
296
  - spec/type/sub_type/test_name.rb
297
+ - spec/type/test_suppremum.rb
298
+ - spec/type/test_unconstrained.rb
272
299
  - spec/type/tuple_type/test_default_name.rb
273
300
  - spec/type/tuple_type/test_dress.rb
274
301
  - spec/type/tuple_type/test_equality.rb
275
302
  - spec/type/tuple_type/test_include.rb
276
303
  - spec/type/tuple_type/test_initialize.rb
277
304
  - spec/type/tuple_type/test_name.rb
305
+ - spec/type/tuple_type/test_suppremum.rb
278
306
  - spec/type/union_type/test_default_name.rb
279
307
  - spec/type/union_type/test_dress.rb
280
308
  - spec/type/union_type/test_equality.rb
281
309
  - spec/type/union_type/test_include.rb
282
310
  - spec/type/union_type/test_initialize.rb
283
311
  - spec/type/union_type/test_name.rb
312
+ - spec/type/union_type/test_suppremum.rb
284
313
  - spec/type_factory/dsl/test_adt.rb
285
314
  - spec/type_factory/dsl/test_any.rb
286
315
  - spec/type_factory/dsl/test_attribute.rb
@@ -322,171 +351,181 @@ required_rubygems_version: !ruby/object:Gem::Requirement
322
351
  version: '0'
323
352
  requirements: []
324
353
  rubyforge_project:
325
- rubygems_version: 2.5.2
354
+ rubygems_version: 2.7.6
326
355
  signing_key:
327
356
  specification_version: 4
328
357
  summary: Finitio - in Ruby
329
358
  test_files:
330
- - spec/spec_helper.rb
331
- - spec/type_factory/factory/test_tuple_type.rb
332
- - spec/type_factory/factory/test_builtin.rb
333
- - spec/type_factory/factory/test_set_type.rb
334
- - spec/type_factory/factory/test_struct_type.rb
335
- - spec/type_factory/factory/test_sub_type.rb
336
- - spec/type_factory/factory/test_seq_type.rb
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
337
394
  - spec/type_factory/dsl/test_attributes.rb
395
+ - spec/type_factory/dsl/test_seq.rb
338
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
339
399
  - spec/type_factory/dsl/test_adt.rb
400
+ - spec/type_factory/dsl/test_attribute.rb
401
+ - spec/type_factory/dsl/test_subtype.rb
340
402
  - spec/type_factory/dsl/test_multi_tuple.rb
341
- - spec/type_factory/dsl/test_seq.rb
342
- - spec/type_factory/dsl/test_multi_relation.rb
403
+ - spec/type_factory/dsl/test_relation.rb
343
404
  - spec/type_factory/dsl/test_tuple.rb
344
- - spec/type_factory/dsl/test_set.rb
345
- - spec/type_factory/dsl/test_attribute.rb
346
405
  - spec/type_factory/dsl/test_any.rb
347
- - spec/type_factory/dsl/test_union.rb
348
- - spec/type_factory/dsl/test_struct.rb
349
- - spec/type_factory/dsl/test_relation.rb
350
- - spec/type_factory/dsl/test_subtype.rb
351
- - spec/attribute/test_initialize.rb
352
- - spec/attribute/test_equality.rb
353
- - spec/attribute/test_to_name.rb
354
- - spec/attribute/test_fetch_on.rb
355
- - spec/attribute/test_optional.rb
356
- - spec/attribute/test_required.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
357
412
  - spec/heading/test_hash_get.rb
413
+ - 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
358
417
  - spec/heading/test_initialize.rb
418
+ - spec/heading/test_size.rb
419
+ - spec/heading/test_suppremum.rb
359
420
  - spec/heading/test_equality.rb
360
- - spec/heading/test_to_name.rb
361
- - spec/heading/test_multi.rb
362
421
  - spec/heading/test_hash.rb
363
422
  - spec/heading/test_allow_extra.rb
364
- - spec/heading/test_size.rb
365
- - spec/heading/test_each.rb
366
- - spec/test_finitio.rb
367
- - spec/finitio/test_ast.rb
368
- - spec/finitio/system.fio
369
- - spec/finitio/test_system.rb
370
- - spec/finitio/test_parse.rb
371
- - spec/finitio/test_stdlib_memoization.rb
372
- - spec/system/test_initialize.rb
373
- - spec/system/test_get_type.rb
374
- - spec/system/test_fetch.rb
423
+ - spec/generation/test_generation.rb
375
424
  - spec/system/test_dup.rb
376
- - spec/system/test_add_type.rb
377
- - spec/system/test_dsl.rb
378
- - spec/system/fixtures/with-duplicates.fio
379
425
  - spec/system/fixtures/system.fio
426
+ - spec/system/fixtures/with-duplicates.fio
427
+ - spec/system/test_dsl.rb
428
+ - spec/system/test_initialize.rb
429
+ - spec/system/test_add_type.rb
380
430
  - spec/system/test_check_and_warn.rb
381
- - spec/type/multi_relation_type/test_name.rb
382
- - spec/type/multi_relation_type/test_initialize.rb
383
- - spec/type/multi_relation_type/test_equality.rb
384
- - spec/type/multi_relation_type/test_include.rb
385
- - spec/type/multi_relation_type/test_default_name.rb
386
- - spec/type/multi_relation_type/test_dress.rb
387
- - spec/type/sub_type/test_name.rb
388
- - spec/type/sub_type/test_initialize.rb
389
- - spec/type/sub_type/test_equality.rb
390
- - spec/type/sub_type/test_include.rb
391
- - spec/type/sub_type/test_default_name.rb
392
- - spec/type/sub_type/test_dress.rb
393
- - spec/type/proxy_type/test_resolve.rb
394
- - spec/type/proxy_type/test_delegation.rb
395
- - spec/type/ad_type/test_name.rb
396
- - spec/type/ad_type/test_initialize.rb
397
- - spec/type/ad_type/test_include.rb
398
- - spec/type/ad_type/test_default_name.rb
399
- - spec/type/ad_type/test_dress.rb
400
- - spec/type/struct_type/test_name.rb
401
- - spec/type/struct_type/test_initialize.rb
402
- - spec/type/struct_type/test_equality.rb
403
- - spec/type/struct_type/test_include.rb
404
- - spec/type/struct_type/test_default_name.rb
405
- - spec/type/struct_type/test_dress.rb
406
- - spec/type/set_type/test_name.rb
431
+ - 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
407
444
  - spec/type/set_type/test_initialize.rb
408
- - spec/type/set_type/test_equality.rb
445
+ - spec/type/set_type/test_suppremum.rb
409
446
  - spec/type/set_type/test_include.rb
410
- - spec/type/set_type/test_default_name.rb
411
- - spec/type/set_type/test_dress.rb
412
- - spec/type/relation_type/test_name.rb
413
- - spec/type/relation_type/test_initialize.rb
414
- - spec/type/relation_type/test_equality.rb
415
- - spec/type/relation_type/test_include.rb
416
- - spec/type/relation_type/test_default_name.rb
417
- - spec/type/relation_type/test_dress.rb
418
- - spec/type/any_type/test_name.rb
419
- - spec/type/any_type/test_initialize.rb
420
- - spec/type/any_type/test_equality.rb
421
- - spec/type/any_type/test_include.rb
422
- - spec/type/any_type/test_default_name.rb
423
- - spec/type/any_type/test_dress.rb
424
- - spec/type/builtin_type/test_name.rb
447
+ - spec/type/set_type/test_equality.rb
448
+ - spec/type/set_type/test_name.rb
449
+ - spec/type/alias_type/test_default_name.rb
450
+ - spec/type/alias_type/test_delegation.rb
451
+ - spec/type/alias_type/test_name.rb
452
+ - spec/type/multi_tuple_type/test_dress.rb
453
+ - spec/type/multi_tuple_type/test_default_name.rb
454
+ - 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
464
+ - spec/type/builtin_type/test_dress.rb
465
+ - spec/type/builtin_type/test_default_name.rb
425
466
  - spec/type/builtin_type/test_initialize.rb
426
- - spec/type/builtin_type/test_equality.rb
427
467
  - spec/type/builtin_type/test_include.rb
428
- - spec/type/builtin_type/test_default_name.rb
429
- - spec/type/builtin_type/test_dress.rb
430
- - spec/type/union_type/test_name.rb
431
- - spec/type/union_type/test_initialize.rb
432
- - spec/type/union_type/test_equality.rb
433
- - spec/type/union_type/test_include.rb
434
- - spec/type/union_type/test_default_name.rb
435
- - spec/type/union_type/test_dress.rb
436
- - spec/type/tuple_type/test_name.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
482
+ - spec/type/relation_type/test_dress.rb
483
+ - spec/type/relation_type/test_default_name.rb
484
+ - 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
489
+ - spec/type/test_unconstrained.rb
490
+ - spec/type/tuple_type/test_dress.rb
491
+ - spec/type/tuple_type/test_default_name.rb
437
492
  - spec/type/tuple_type/test_initialize.rb
438
- - spec/type/tuple_type/test_equality.rb
493
+ - spec/type/tuple_type/test_suppremum.rb
439
494
  - spec/type/tuple_type/test_include.rb
440
- - spec/type/tuple_type/test_default_name.rb
441
- - spec/type/tuple_type/test_dress.rb
442
- - spec/type/alias_type/test_name.rb
443
- - spec/type/alias_type/test_default_name.rb
444
- - spec/type/alias_type/test_delegation.rb
445
- - spec/type/seq_type/test_name.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
446
505
  - spec/type/seq_type/test_initialize.rb
447
- - spec/type/seq_type/test_equality.rb
506
+ - spec/type/seq_type/test_suppremum.rb
448
507
  - spec/type/seq_type/test_include.rb
449
- - spec/type/seq_type/test_default_name.rb
450
- - spec/type/seq_type/test_dress.rb
451
- - spec/type/multi_tuple_type/test_name.rb
452
- - spec/type/multi_tuple_type/test_initialize.rb
453
- - spec/type/multi_tuple_type/test_equality.rb
454
- - spec/type/multi_tuple_type/test_include.rb
455
- - spec/type/multi_tuple_type/test_default_name.rb
456
- - spec/type/multi_tuple_type/test_dress.rb
457
- - spec/support/test_proc_with_code.rb
458
- - spec/syntax/nodes/test_tuple_type.rb
459
- - spec/syntax/nodes/test_set_type.rb
460
- - spec/syntax/nodes/test_union_type.rb
461
- - spec/syntax/nodes/test_heading.rb
462
- - spec/syntax/nodes/test_builtin_type.rb
463
- - spec/syntax/nodes/imported.fio
464
- - spec/syntax/nodes/test_import.rb
465
- - spec/syntax/nodes/test_constraints.rb
466
- - spec/syntax/nodes/test_type_ref.rb
467
- - spec/syntax/nodes/test_system.rb
468
- - spec/syntax/nodes/test_attribute.rb
469
- - spec/syntax/nodes/test_contract.rb
470
- - spec/syntax/nodes/test_named_constraint.rb
471
- - spec/syntax/nodes/test_metadata.rb
472
- - spec/syntax/nodes/test_type_def.rb
473
- - spec/syntax/nodes/test_struct_type.rb
474
- - spec/syntax/nodes/test_sub_type.rb
475
- - spec/syntax/nodes/test_any_type.rb
476
- - spec/syntax/nodes/test_constraint_def.rb
477
- - spec/syntax/nodes/test_ad_type.rb
478
- - spec/syntax/nodes/test_expression.rb
479
- - spec/syntax/nodes/test_relation_type.rb
480
- - spec/syntax/nodes/test_spacing.rb
481
- - spec/syntax/nodes/test_comment.rb
482
- - spec/syntax/nodes/test_seq_type.rb
483
- - spec/syntax/nodes/test_unnamed_constraint.rb
484
- - spec/syntax/expr/test_to_proc_source.rb
485
- - spec/syntax/expr/test_free_variables.rb
486
- - spec/syntax/test_compile.rb
487
- - spec/syntax/test_compile_type.rb
488
- - spec/constraint/test_name.rb
489
- - spec/constraint/test_equality.rb
490
- - spec/constraint/test_anonymous.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
525
+ - spec/attribute/test_optional.rb
526
+ - spec/attribute/test_equality.rb
491
527
  - spec/constraint/test_named.rb
528
+ - spec/constraint/test_anonymous.rb
529
+ - spec/constraint/test_equality.rb
492
530
  - spec/constraint/test_triple_equal.rb
531
+ - spec/constraint/test_name.rb