rigortype 0.0.8 → 0.1.0

data/sig/rigor/scope.rbs

@@ -48,6 +48,7 @@ module Rigor
     def evaluate: (untyped node, ?tracer: Inference::FallbackTracer?) -> [Type::t, Scope]
     def join: (Scope other) -> Scope
     def ==: (untyped other) -> bool
+    alias eql? ==
     def hash: () -> Integer
   end
 end

data/sig/rigor/type.rbs

@@ -244,9 +244,16 @@ module Rigor
       def self?.decimal_int_string: () -> Refined
       def self?.octal_int_string: () -> Refined
       def self?.hex_int_string: () -> Refined
+      def self?.literal_string: () -> Refined
+      def self?.non_lowercase_string: () -> Refined
+      def self?.non_uppercase_string: () -> Refined
+      def self?.non_numeric_string: () -> Refined
+      def self?.literal_string_carrier?: (Type::t refined) -> bool
+      def self?.literal_string_compatible?: (Type::t type) -> bool
       def self?.intersection: (*Type::t members) -> Type::t
       def self?.non_empty_lowercase_string: () -> Type::t
       def self?.non_empty_uppercase_string: () -> Type::t
+      def self?.non_empty_literal_string: () -> Type::t
       def self?.integer_range: ((Integer | Symbol) min, (Integer | Symbol) max) -> IntegerRange
       def self?.positive_int: () -> IntegerRange
       def self?.non_negative_int: () -> IntegerRange

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.8
+  version: 0.1.0
 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
@@ -186,7 +192,14 @@ files:
 - 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_instance_definitions.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
@@ -195,25 +208,38 @@ files:
 - lib/rigor/cli/type_scan_renderer.rb
 - lib/rigor/cli/type_scan_report.rb
 - lib/rigor/configuration.rb
+- lib/rigor/configuration/severity_profile.rb
 - lib/rigor/environment.rb
 - 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/flow_contribution/conflict.rb
+- lib/rigor/flow_contribution/element.rb
+- lib/rigor/flow_contribution/fact.rb
+- lib/rigor/flow_contribution/merge_result.rb
+- lib/rigor/flow_contribution/merger.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
@@ -226,6 +252,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
@@ -235,6 +262,16 @@ files:
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/scope_indexer.rb
 - lib/rigor/inference/statement_evaluator.rb
+- lib/rigor/plugin.rb
+- lib/rigor/plugin/access_denied_error.rb
+- lib/rigor/plugin/base.rb
+- lib/rigor/plugin/io_boundary.rb
+- lib/rigor/plugin/load_error.rb
+- lib/rigor/plugin/loader.rb
+- lib/rigor/plugin/manifest.rb
+- lib/rigor/plugin/registry.rb
+- lib/rigor/plugin/services.rb
+- lib/rigor/plugin/trust_policy.rb
 - lib/rigor/rbs_extended.rb
 - lib/rigor/reflection.rb
 - lib/rigor/scope.rb