rigortype 0.0.7 → 0.0.9

data/lib/rigor.rb

@@ -19,6 +19,15 @@ require_relative "rigor/inference/closure_escape_analyzer"
 require_relative "rigor/inference/statement_evaluator"
 require_relative "rigor/scope"
 require_relative "rigor/reflection"
+require_relative "rigor/cache/descriptor"
+require_relative "rigor/cache/store"
+require_relative "rigor/cache/rbs_descriptor"
+require_relative "rigor/cache/rbs_constant_table"
+require_relative "rigor/cache/rbs_known_class_names"
+require_relative "rigor/cache/rbs_class_ancestor_table"
+require_relative "rigor/cache/rbs_class_type_param_names"
+require_relative "rigor/cache/rbs_environment"
+require_relative "rigor/flow_contribution"
 require_relative "rigor/source"
 require_relative "rigor/inference/scope_indexer"
 require_relative "rigor/inference/coverage_scanner"

data/sig/rigor.rbs

@@ -63,7 +63,9 @@ module Rigor
 
     class Runner
       RUBY_GLOB: String
-      def initialize: (configuration: Configuration) -> void
+      DEFAULT_CACHE_ROOT: String
+      attr_reader cache_store: Rigor::Cache::Store?
+      def initialize: (configuration: Configuration, ?explain: bool, ?cache_store: Rigor::Cache::Store?) -> void
       def run: (?Array[String] paths) -> Result
     end
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.0.7
+  version: 0.0.9
 platform: ruby
 authors:
 - Rigor contributors
@@ -164,16 +164,22 @@ files:
 - data/builtins/ruby_core/comparable.yml
 - data/builtins/ruby_core/complex.yml
 - data/builtins/ruby_core/date.yml
+- data/builtins/ruby_core/encoding.yml
 - data/builtins/ruby_core/enumerable.yml
+- data/builtins/ruby_core/exception.yml
 - data/builtins/ruby_core/file.yml
 - data/builtins/ruby_core/hash.yml
 - data/builtins/ruby_core/io.yml
 - data/builtins/ruby_core/numeric.yml
 - data/builtins/ruby_core/pathname.yml
+- data/builtins/ruby_core/proc.yml
+- data/builtins/ruby_core/random.yml
 - data/builtins/ruby_core/range.yml
 - data/builtins/ruby_core/rational.yml
+- data/builtins/ruby_core/re.yml
 - data/builtins/ruby_core/set.yml
 - data/builtins/ruby_core/string.yml
+- data/builtins/ruby_core/struct.yml
 - data/builtins/ruby_core/time.yml
 - exe/rigor
 - lib/rigor.rb
@@ -185,6 +191,15 @@ files:
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
 - lib/rigor/builtins/imported_refinements.rb
+- lib/rigor/cache/descriptor.rb
+- lib/rigor/cache/rbs_class_ancestor_table.rb
+- lib/rigor/cache/rbs_class_type_param_names.rb
+- lib/rigor/cache/rbs_constant_table.rb
+- lib/rigor/cache/rbs_descriptor.rb
+- lib/rigor/cache/rbs_environment.rb
+- lib/rigor/cache/rbs_environment_marshal_patch.rb
+- lib/rigor/cache/rbs_known_class_names.rb
+- lib/rigor/cache/store.rb
 - lib/rigor/cli.rb
 - lib/rigor/cli/type_of_command.rb
 - lib/rigor/cli/type_of_renderer.rb
@@ -196,21 +211,28 @@ files:
 - lib/rigor/environment/class_registry.rb
 - lib/rigor/environment/rbs_hierarchy.rb
 - lib/rigor/environment/rbs_loader.rb
+- lib/rigor/flow_contribution.rb
 - lib/rigor/inference/acceptance.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/builtins/array_catalog.rb
 - lib/rigor/inference/builtins/comparable_catalog.rb
 - lib/rigor/inference/builtins/complex_catalog.rb
 - lib/rigor/inference/builtins/date_catalog.rb
+- lib/rigor/inference/builtins/encoding_catalog.rb
 - lib/rigor/inference/builtins/enumerable_catalog.rb
+- lib/rigor/inference/builtins/exception_catalog.rb
 - lib/rigor/inference/builtins/hash_catalog.rb
 - lib/rigor/inference/builtins/method_catalog.rb
 - lib/rigor/inference/builtins/numeric_catalog.rb
 - lib/rigor/inference/builtins/pathname_catalog.rb
+- lib/rigor/inference/builtins/proc_catalog.rb
+- lib/rigor/inference/builtins/random_catalog.rb
 - lib/rigor/inference/builtins/range_catalog.rb
 - lib/rigor/inference/builtins/rational_catalog.rb
+- lib/rigor/inference/builtins/re_catalog.rb
 - lib/rigor/inference/builtins/set_catalog.rb
 - lib/rigor/inference/builtins/string_catalog.rb
+- lib/rigor/inference/builtins/struct_catalog.rb
 - lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/coverage_scanner.rb
@@ -223,6 +245,7 @@ files:
 - lib/rigor/inference/method_dispatcher/file_folding.rb
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
+- lib/rigor/inference/method_dispatcher/literal_string_folding.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb