ruby-lsp 0.17.7 → 0.17.9

data/lib/ruby_lsp/type_inferrer.rb

@@ -7,12 +7,16 @@ module RubyLsp
   class TypeInferrer
     extend T::Sig
 
-    sig { params(index: RubyIndexer::Index).void }
-    def initialize(index)
+    sig { params(experimental_features: T::Boolean).returns(T::Boolean) }
+    attr_writer :experimental_features
+
+    sig { params(index: RubyIndexer::Index, experimental_features: T::Boolean).void }
+    def initialize(index, experimental_features = true)
       @index = index
+      @experimental_features = experimental_features
     end
 
-    sig { params(node_context: NodeContext).returns(T.nilable(String)) }
+    sig { params(node_context: NodeContext).returns(T.nilable(Type)) }
     def infer_receiver_type(node_context)
       node = node_context.node
 
@@ -28,7 +32,7 @@ module RubyLsp
 
     private
 
-    sig { params(node: Prism::CallNode, node_context: NodeContext).returns(T.nilable(String)) }
+    sig { params(node: Prism::CallNode, node_context: NodeContext).returns(T.nilable(Type)) }
     def infer_receiver_for_call_node(node, node_context)
       receiver = node.receiver
 
@@ -47,23 +51,40 @@ module RubyLsp
         return unless name
 
         *parts, last = name.split("::")
-        return "#{last}::<Class:#{last}>" if parts.empty?
+        return Type.new("#{last}::<Class:#{last}>") if parts.empty?
+
+        Type.new("#{parts.join("::")}::#{last}::<Class:#{last}>")
+      else
+        return unless @experimental_features
+
+        raw_receiver = node.receiver&.slice
 
-        "#{parts.join("::")}::#{last}::<Class:#{last}>"
+        if raw_receiver
+          guessed_name = raw_receiver
+            .delete_prefix("@")
+            .delete_prefix("@@")
+            .split("_")
+            .map(&:capitalize)
+            .join
+
+          entries = @index.resolve(guessed_name, node_context.nesting) || @index.first_unqualified_const(guessed_name)
+          name = entries&.first&.name
+          GuessedType.new(name) if name
+        end
       end
     end
 
-    sig { params(node_context: NodeContext).returns(String) }
+    sig { params(node_context: NodeContext).returns(Type) }
     def self_receiver_handling(node_context)
       nesting = node_context.nesting
       # If we're at the top level, then the invocation is happening on `<main>`, which is a special singleton that
       # inherits from Object
-      return "Object" if nesting.empty?
-      return node_context.fully_qualified_name if node_context.surrounding_method
+      return Type.new("Object") if nesting.empty?
+      return Type.new(node_context.fully_qualified_name) if node_context.surrounding_method
 
       # If we're not inside a method, then we're inside the body of a class or module, which is a singleton
       # context
-      "#{nesting.join("::")}::<Class:#{nesting.last}>"
+      Type.new("#{nesting.join("::")}::<Class:#{nesting.last}>")
     end
 
     sig do
@@ -80,5 +101,22 @@ module RubyLsp
            Prism::ConstantPathNode::MissingNodesInConstantPathError
       nil
     end
+
+    # A known type
+    class Type
+      extend T::Sig
+
+      sig { returns(String) }
+      attr_reader :name
+
+      sig { params(name: String).void }
+      def initialize(name)
+        @name = name
+      end
+    end
+
+    # A type that was guessed based on the receiver raw name
+    class GuessedType < Type
+    end
   end
 end

data/lib/ruby_lsp/utils.rb

@@ -25,6 +25,7 @@ module RubyLsp
     end,
     String,
   )
+  GUESSED_TYPES_URL = "https://github.com/Shopify/ruby-lsp/blob/main/DESIGN_AND_ROADMAP.md#guessed-types"
 
   # A notification to be sent to the client
   class Message

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ruby-lsp
 version: !ruby/object:Gem::Version
-  version: 0.17.7
+  version: 0.17.9
 platform: ruby
 authors:
 - Shopify
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-07-11 00:00:00.000000000 Z
+date: 2024-07-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: language_server-protocol
@@ -84,7 +84,6 @@ email:
 executables:
 - ruby-lsp
 - ruby-lsp-check
-- ruby-lsp-doctor
 extensions: []
 extra_rdoc_files: []
 files:
@@ -93,7 +92,6 @@ files:
 - VERSION
 - exe/ruby-lsp
 - exe/ruby-lsp-check
-- exe/ruby-lsp-doctor
 - lib/core_ext/uri.rb
 - lib/rubocop/cop/ruby_lsp/use_language_server_aliases.rb
 - lib/rubocop/cop/ruby_lsp/use_register_with_handler_method.rb
@@ -206,7 +204,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.14
+rubygems_version: 3.5.16
 signing_key:
 specification_version: 4
 summary: An opinionated language server for Ruby

data/exe/ruby-lsp-doctor

@@ -1,23 +0,0 @@
-#!/usr/bin/env ruby
-# frozen_string_literal: true
-
-$LOAD_PATH.unshift(File.expand_path("../lib", __dir__))
-require "ruby_lsp/internal"
-
-if File.exist?(".index.yml")
-  begin
-    config = YAML.parse_file(".index.yml").to_ruby
-  rescue => e
-    abort("Error parsing config: #{e.message}")
-  end
-  RubyIndexer.configuration.apply_config(config)
-end
-
-index = RubyIndexer::Index.new
-
-puts "Globbing for indexable files"
-
-RubyIndexer.configuration.indexables.each do |indexable|
-  puts "indexing: #{indexable.full_path}"
-  index.index_single(indexable)
-end