RubyGems - rigortype - Versions diffs - 0.0.2 → 0.0.4 - Mend

rigortype 0.0.2 → 0.0.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (49) hide show

checksums.yaml +4 -4
data/README.md +24 -7
data/data/builtins/ruby_core/array.yml +1470 -0
data/data/builtins/ruby_core/file.yml +501 -0
data/data/builtins/ruby_core/hash.yml +936 -0
data/data/builtins/ruby_core/io.yml +1594 -0
data/data/builtins/ruby_core/numeric.yml +1809 -0
data/data/builtins/ruby_core/range.yml +389 -0
data/data/builtins/ruby_core/set.yml +594 -0
data/data/builtins/ruby_core/string.yml +1850 -0
data/data/builtins/ruby_core/time.yml +750 -0
data/lib/rigor/analysis/check_rules.rb +97 -4
data/lib/rigor/analysis/runner.rb +4 -0
data/lib/rigor/builtins/imported_refinements.rb +251 -0
data/lib/rigor/configuration.rb +6 -1
data/lib/rigor/inference/acceptance.rb +324 -6
data/lib/rigor/inference/builtins/array_catalog.rb +46 -0
data/lib/rigor/inference/builtins/hash_catalog.rb +40 -0
data/lib/rigor/inference/builtins/method_catalog.rb +90 -0
data/lib/rigor/inference/builtins/numeric_catalog.rb +93 -0
data/lib/rigor/inference/builtins/range_catalog.rb +46 -0
data/lib/rigor/inference/builtins/set_catalog.rb +54 -0
data/lib/rigor/inference/builtins/string_catalog.rb +39 -0
data/lib/rigor/inference/builtins/time_catalog.rb +64 -0
data/lib/rigor/inference/expression_typer.rb +48 -1
data/lib/rigor/inference/method_dispatcher/constant_folding.rb +670 -16
data/lib/rigor/inference/method_dispatcher/file_folding.rb +144 -0
data/lib/rigor/inference/method_dispatcher/iterator_dispatch.rb +215 -0
data/lib/rigor/inference/method_dispatcher/overload_selector.rb +23 -7
data/lib/rigor/inference/method_dispatcher/rbs_dispatch.rb +4 -0
data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +240 -4
data/lib/rigor/inference/method_dispatcher.rb +28 -21
data/lib/rigor/inference/method_parameter_binder.rb +29 -4
data/lib/rigor/inference/narrowing.rb +376 -4
data/lib/rigor/inference/scope_indexer.rb +10 -2
data/lib/rigor/inference/statement_evaluator.rb +213 -2
data/lib/rigor/rbs_extended.rb +230 -15
data/lib/rigor/scope.rb +14 -0
data/lib/rigor/type/combinator.rb +159 -1
data/lib/rigor/type/difference.rb +155 -0
data/lib/rigor/type/integer_range.rb +137 -0
data/lib/rigor/type/intersection.rb +135 -0
data/lib/rigor/type/refined.rb +174 -0
data/lib/rigor/type.rb +4 -0
data/lib/rigor/version.rb +1 -1
data/sig/rigor/rbs_extended.rbs +14 -0
data/sig/rigor/scope.rbs +1 -0
data/sig/rigor/type.rbs +91 -1
metadata +25 -1

data/data/builtins/ruby_core/file.yml ADDED Viewed

@@ -0,0 +1,501 @@
+# DO NOT EDIT — generated by tool/extract_builtin_catalog.rb
+---
+schema_version: 1
+generated_from:
+  ruby_init_c: references/ruby/file.c
+  ruby_prelude:
+  rbs:
+  - references/rbs/core/file.rbs
+  - references/rbs/core/file_test.rbs
+purity_levels:
+  leaf: Prelude :leaf marker (VM-enforced) or C body uses no dispatch/yield/mutation.
+  trivial: Prelude method body is a literal return (self/true/false/nil/Integer).
+  leaf_when_numeric: C body falls through to rb_num_coerce_* only when an operand
+    is non-numeric; safe to fold when every argument is a concrete numeric.
+  inline_block: Prelude method carries :inline_block or :use_block; block-dependent.
+  block_dependent: C body yields or checks rb_block_given_p.
+  mutates_self: C body checks rb_check_frozen — typically a prelude to mutation.
+  dispatch: C body calls user-redefinable methods (rb_funcall*, rb_equal, rb_Float,
+    num_funcall*, etc).
+  unknown: C body not located in indexed C files.
+classes:
+  File:
+    parent: rb_cIO
+    defined_at: references/ruby/file.c:7512
+    includes: []
+    constants:
+      Separator:
+        c_expression: separator
+        defined_at: references/ruby/file.c:7583
+      SEPARATOR:
+        c_expression: separator
+        defined_at: references/ruby/file.c:7585
+      ALT_SEPARATOR:
+        c_expression: Qnil
+        defined_at: references/ruby/file.c:7593
+      PATH_SEPARATOR:
+        c_expression: rb_fstring_cstr(PATH_SEP)
+        defined_at: references/ruby/file.c:7596
+    aliases: {}
+    instance_methods:
+      lstat:
+        source: c
+        cfunc: rb_file_lstat
+        arity: 0
+        defined_at: references/ruby/file.c:7599
+        c_body_at: references/ruby/file.c:1565
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> (File::Stat | nil)"
+        rbs_at: references/rbs/core/file.rbs:1951
+      atime:
+        source: c
+        cfunc: rb_file_atime
+        arity: 0
+        defined_at: references/ruby/file.c:7601
+        c_body_at: references/ruby/file.c:2469
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Time"
+        rbs_at: references/rbs/core/file.rbs:1848
+      mtime:
+        source: c
+        cfunc: rb_file_mtime
+        arity: 0
+        defined_at: references/ruby/file.c:7602
+        c_body_at: references/ruby/file.c:2517
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Time"
+        rbs_at: references/rbs/core/file.rbs:1961
+      ctime:
+        source: c
+        cfunc: rb_file_ctime
+        arity: 0
+        defined_at: references/ruby/file.c:7603
+        c_body_at: references/ruby/file.c:2572
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Time"
+        rbs_at: references/rbs/core/file.rbs:1901
+      birthtime:
+        source: c
+        cfunc: rb_file_birthtime
+        arity: 0
+        defined_at: references/ruby/file.c:7604
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "() -> Time"
+        rbs_at: references/rbs/core/file.rbs:1860
+      size:
+        source: c
+        cfunc: file_size
+        arity: 0
+        defined_at: references/ruby/file.c:7605
+        c_body_at: references/ruby/file.c:2678
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1990
+      chmod:
+        source: c
+        cfunc: rb_file_chmod
+        arity: 1
+        defined_at: references/ruby/file.c:7607
+        c_body_at: references/ruby/file.c:2773
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(int mode) -> (0 | nil)"
+        rbs_at: references/rbs/core/file.rbs:1874
+      chown:
+        source: c
+        cfunc: rb_file_chown
+        arity: 2
+        defined_at: references/ruby/file.c:7608
+        c_body_at: references/ruby/file.c:2952
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(int? owner, int? group) -> (0 | nil)"
+        rbs_at: references/rbs/core/file.rbs:1888
+      truncate:
+        source: c
+        cfunc: rb_file_truncate
+        arity: 1
+        defined_at: references/ruby/file.c:7609
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(int length) -> 0"
+        rbs_at: references/rbs/core/file.rbs:2020
+      flock:
+        source: c
+        cfunc: rb_file_flock
+        arity: 1
+        defined_at: references/ruby/file.c:7611
+        c_body_at: references/ruby/file.c:5524
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(int locking_constant) -> (0 | false)"
+        rbs_at: references/rbs/core/file.rbs:1937
+    singleton_methods:
+      stat:
+        source: c
+        cfunc: rb_file_s_stat
+        arity: 1
+        defined_at: references/ruby/file.c:7545
+        c_body_at: references/ruby/file.c:1460
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name) -> File::Stat"
+        rbs_at: references/rbs/core/file.rbs:1681
+      lstat:
+        source: c
+        cfunc: rb_file_s_lstat
+        arity: 1
+        defined_at: references/ruby/file.c:7546
+        c_body_at: references/ruby/file.c:1534
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name) -> File::Stat"
+        rbs_at: references/rbs/core/file.rbs:1387
+      ftype:
+        source: c
+        cfunc: rb_file_s_ftype
+        arity: 1
+        defined_at: references/ruby/file.c:7547
+        c_body_at: references/ruby/file.c:2419
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name) -> String"
+        rbs_at: references/rbs/core/file.rbs:1300
+      atime:
+        source: c
+        cfunc: rb_file_s_atime
+        arity: 1
+        defined_at: references/ruby/file.c:7549
+        c_body_at: references/ruby/file.c:2445
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path | IO file_name) -> Time"
+        rbs_at: references/rbs/core/file.rbs:910
+      mtime:
+        source: c
+        cfunc: rb_file_s_mtime
+        arity: 1
+        defined_at: references/ruby/file.c:7550
+        c_body_at: references/ruby/file.c:2494
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path | IO file_name) -> Time"
+        rbs_at: references/rbs/core/file.rbs:1420
+      ctime:
+        source: c
+        cfunc: rb_file_s_ctime
+        arity: 1
+        defined_at: references/ruby/file.c:7551
+        c_body_at: references/ruby/file.c:2546
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path | IO file_name) -> Time"
+        rbs_at: references/rbs/core/file.rbs:1004
+      birthtime:
+        source: c
+        cfunc: rb_file_s_birthtime
+        arity: 1
+        defined_at: references/ruby/file.c:7552
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path | IO file_name) -> Time"
+        rbs_at: references/rbs/core/file.rbs:940
+      utime:
+        source: c
+        cfunc: rb_file_s_utime
+        arity: -1
+        defined_at: references/ruby/file.c:7554
+        c_body_at: references/ruby/file.c:3202
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(Time | Numeric atime, Time | Numeric mtime, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1771
+      chmod:
+        source: c
+        cfunc: rb_file_s_chmod
+        arity: -1
+        defined_at: references/ruby/file.c:7555
+        c_body_at: references/ruby/file.c:2726
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(int mode, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:975
+      chown:
+        source: c
+        cfunc: rb_file_s_chown
+        arity: -1
+        defined_at: references/ruby/file.c:7556
+        c_body_at: references/ruby/file.c:2880
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(int? owner, int? group, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:989
+      lchmod:
+        source: c
+        cfunc: rb_file_s_lchmod
+        arity: -1
+        defined_at: references/ruby/file.c:7557
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(int mode, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1351
+      lchown:
+        source: c
+        cfunc: rb_file_s_lchown
+        arity: -1
+        defined_at: references/ruby/file.c:7558
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(int? owner, int? group, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1361
+      lutime:
+        source: c
+        cfunc: rb_file_s_lutime
+        arity: -1
+        defined_at: references/ruby/file.c:7559
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(Time | Numeric atime, Time | Numeric mtime, *path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1398
+      link:
+        source: c
+        cfunc: rb_file_s_link
+        arity: 2
+        defined_at: references/ruby/file.c:7561
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path old_name, path new_name) -> 0"
+        rbs_at: references/rbs/core/file.rbs:1374
+      symlink:
+        source: c
+        cfunc: rb_file_s_symlink
+        arity: 2
+        defined_at: references/ruby/file.c:7562
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path old_name, path new_name) -> 0"
+        rbs_at: references/rbs/core/file.rbs:1703
+      readlink:
+        source: c
+        cfunc: rb_file_s_readlink
+        arity: 1
+        defined_at: references/ruby/file.c:7563
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path link_name) -> String"
+        rbs_at: references/rbs/core/file.rbs:1568
+      unlink:
+        source: c
+        cfunc: rb_file_s_unlink
+        arity: -1
+        defined_at: references/ruby/file.c:7565
+        c_body_at: references/ruby/file.c:3420
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(*path file_name) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1760
+      delete:
+        source: c
+        cfunc: rb_file_s_unlink
+        arity: -1
+        defined_at: references/ruby/file.c:7566
+        c_body_at: references/ruby/file.c:3420
+        c_effects: []
+        purity: leaf
+      rename:
+        source: c
+        cfunc: rb_file_s_rename
+        arity: 2
+        defined_at: references/ruby/file.c:7567
+        c_body_at: references/ruby/file.c:3449
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path old_name, path new_name) -> 0"
+        rbs_at: references/rbs/core/file.rbs:1607
+      umask:
+        source: c
+        cfunc: rb_file_s_umask
+        arity: -1
+        defined_at: references/ruby/file.c:7568
+        c_body_at: references/ruby/file.c:3496
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?int umask) -> Integer"
+        rbs_at: references/rbs/core/file.rbs:1745
+      truncate:
+        source: c
+        cfunc: rb_file_s_truncate
+        arity: 2
+        defined_at: references/ruby/file.c:7569
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path file_name, int length) -> 0"
+        rbs_at: references/rbs/core/file.rbs:1730
+      mkfifo:
+        source: c
+        cfunc: rb_file_s_mkfifo
+        arity: -1
+        defined_at: references/ruby/file.c:7570
+        purity: unknown
+        c_body_at: not_found
+        rbs:
+        - "(path file_name, ?int mode) -> 0"
+        rbs_at: references/rbs/core/file.rbs:1408
+      expand_path:
+        source: c
+        cfunc: s_expand_path
+        arity: -1
+        defined_at: references/ruby/file.c:7571
+        c_body_at: references/ruby/file.c:4382
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name, ?path dir_string) -> String"
+        rbs_at: references/rbs/core/file.rbs:1136
+      absolute_path:
+        source: c
+        cfunc: s_absolute_path
+        arity: -1
+        defined_at: references/ruby/file.c:7572
+        c_body_at: references/ruby/file.c:4415
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name, ?path dir_string) -> String"
+        rbs_at: references/rbs/core/file.rbs:888
+      absolute_path?:
+        source: c
+        cfunc: s_absolute_path_p
+        arity: 1
+        defined_at: references/ruby/file.c:7573
+        c_body_at: references/ruby/file.c:4431
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name) -> bool"
+        rbs_at: references/rbs/core/file.rbs:898
+      realpath:
+        source: c
+        cfunc: rb_file_s_realpath
+        arity: -1
+        defined_at: references/ruby/file.c:7574
+        c_body_at: references/ruby/file.c:4796
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path pathname, ?path dir_string) -> String"
+        rbs_at: references/rbs/core/file.rbs:1596
+      realdirpath:
+        source: c
+        cfunc: rb_file_s_realdirpath
+        arity: -1
+        defined_at: references/ruby/file.c:7575
+        c_body_at: references/ruby/file.c:4817
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path pathname, ?path dir_string) -> String"
+        rbs_at: references/rbs/core/file.rbs:1582
+      basename:
+        source: c
+        cfunc: rb_file_s_basename
+        arity: -1
+        defined_at: references/ruby/file.c:7576
+        c_body_at: references/ruby/file.c:4942
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name, ?string suffix) -> String"
+        rbs_at: references/rbs/core/file.rbs:926
+      dirname:
+        source: c
+        cfunc: rb_file_s_dirname
+        arity: -1
+        defined_at: references/ruby/file.c:7577
+        c_body_at: references/ruby/file.c:5007
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name, ?Integer level) -> String"
+        rbs_at: references/rbs/core/file.rbs:1055
+      extname:
+        source: c
+        cfunc: rb_file_s_extname
+        arity: 1
+        defined_at: references/ruby/file.c:7578
+        c_body_at: references/ruby/file.c:5191
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path path) -> String"
+        rbs_at: references/rbs/core/file.rbs:1162
+      path:
+        source: c
+        cfunc: rb_file_s_path
+        arity: 1
+        defined_at: references/ruby/file.c:7579
+        c_body_at: references/ruby/file.c:5235
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path path) -> String"
+        rbs_at: references/rbs/core/file.rbs:1520
+      split:
+        source: c
+        cfunc: rb_file_s_split
+        arity: 1
+        defined_at: references/ruby/file.c:7586
+        c_body_at: references/ruby/file.c:5252
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(path file_name) -> [ String, String ]"
+        rbs_at: references/rbs/core/file.rbs:1671
+      join:
+        source: c
+        cfunc: rb_file_s_join
+        arity: -2
+        defined_at: references/ruby/file.c:7587
+        c_body_at: references/ruby/file.c:5343
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(*path) -> String"
+        rbs_at: references/rbs/core/file.rbs:1341
+    undefined: []