steep 1.2.0 → 1.3.0.pre.1

data/sig/steep/diagnostic/signature.rbs

@@ -1,215 +1,248 @@
 module Steep
   module Diagnostic
     module Signature
+      type location = RBS::Location[untyped, untyped]
+
       class Base
         include Helper
 
-        attr_reader location: untyped
+        attr_reader location: location?
 
-        def initialize: (location: untyped) -> void
+        def initialize: (location: location?) -> void
 
-        def header_line: () -> untyped
+        def header_line: () -> String
 
-        def detail_lines: () -> nil
+        def detail_lines: () -> String?
 
-        def diagnostic_code: () -> ::String
+        def diagnostic_code: () -> String
 
-        def path: () -> untyped
+        def path: () -> Pathname?
       end
 
       class SyntaxError < Base
-        attr_reader exception: untyped
+        attr_reader exception: RBS::ParsingError
 
-        def initialize: (untyped exception, location: untyped) -> void
+        def initialize: (RBS::ParsingError exception, location: location?) -> void
 
-        def self.parser_syntax_error_message: (untyped exception) -> ::String
+        def self.parser_syntax_error_message: (RBS::ParsingError exception) -> String
 
-        def header_line: () -> untyped
+        def header_line: () -> String
       end
 
       class DuplicatedDeclaration < Base
-        attr_reader type_name: untyped
+        attr_reader type_name: RBS::TypeName | Symbol
 
-        def initialize: (type_name: untyped, location: untyped) -> void
+        def initialize: (type_name: RBS::TypeName | Symbol, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class UnknownTypeName < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        def initialize: (name: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class InvalidTypeApplication < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        attr_reader args: untyped
+        attr_reader args: Array[AST::Types::t]
 
-        attr_reader params: untyped
+        attr_reader params: Array[Symbol]
 
-        def initialize: (name: untyped, args: untyped, params: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, args: Array[AST::Types::t], params: Array[Symbol], location: location?) -> void
 
-        def header_line: () -> untyped
+        def header_line: () -> String
       end
 
       class UnsatisfiableTypeApplication < Base
-        attr_reader type_name: untyped
+        attr_reader type_name: RBS::TypeName
 
-        attr_reader type_arg: untyped
+        attr_reader type_arg: AST::Types::t
 
-        attr_reader type_param: untyped
+        attr_reader type_param: Interface::TypeParam
 
-        def initialize: (type_name: untyped, type_arg: untyped, type_param: untyped, location: untyped) -> void
+        def initialize: (type_name: RBS::TypeName, type_arg: AST::Types::t, type_param: Interface::TypeParam, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class InvalidMethodOverload < Base
-        attr_reader class_name: untyped
+        attr_reader class_name: RBS::TypeName
 
-        attr_reader method_name: untyped
+        attr_reader method_name: Symbol
 
-        def initialize: (class_name: untyped, method_name: untyped, location: untyped) -> void
+        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class UnknownMethodAlias < Base
-        attr_reader class_name: untyped
+        attr_reader class_name: RBS::TypeName
 
-        attr_reader method_name: untyped
+        attr_reader method_name: Symbol
 
-        def initialize: (class_name: untyped, method_name: untyped, location: untyped) -> void
+        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class DuplicatedMethodDefinition < Base
-        attr_reader class_name: untyped
+        attr_reader class_name: RBS::TypeName
 
-        attr_reader method_name: untyped
+        attr_reader method_name: Symbol
 
-        def initialize: (class_name: untyped, method_name: untyped, location: untyped) -> void
+        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class RecursiveAlias < Base
-        attr_reader class_name: untyped
-
-        attr_reader names: untyped
+        attr_reader class_name: RBS::TypeName
 
-        attr_reader location: untyped
+        attr_reader names: Array[Symbol]
 
-        def initialize: (class_name: untyped, names: untyped, location: untyped) -> void
+        def initialize: (class_name: RBS::TypeName, names: Array[Symbol], location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class RecursiveAncestor < Base
-        attr_reader ancestors: untyped
+        attr_reader ancestors: Array[RBS::Definition::Ancestor::t]
 
-        def initialize: (ancestors: untyped, location: untyped) -> void
+        def initialize: (ancestors: Array[RBS::Definition::Ancestor::t], location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class SuperclassMismatch < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        def initialize: (name: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class GenericParameterMismatch < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        def initialize: (name: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class InvalidVarianceAnnotation < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        attr_reader param: untyped
+        attr_reader param: RBS::AST::TypeParam
 
-        def initialize: (name: untyped, param: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, param: RBS::AST::TypeParam, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class ModuleSelfTypeError < Base
-        attr_reader name: untyped
+        attr_reader name: RBS::TypeName
 
-        attr_reader ancestor: untyped
+        attr_reader ancestor: RBS::DefinitionBuilder::AncestorBuilder::OneAncestors
 
-        attr_reader relation: untyped
+        attr_reader relation: Subtyping::Relation[AST::Types::t]
 
-        def initialize: (name: untyped, ancestor: untyped, relation: untyped, location: untyped) -> void
+        def initialize: (name: RBS::TypeName, ancestor: RBS::DefinitionBuilder::AncestorBuilder::OneAncestors, relation: Subtyping::Relation[AST::Types::t], location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
-      class InstanceVariableTypeError < Base
-        attr_reader name: untyped
+      class ClassVariableDuplicationError < Base
+        attr_reader class_name: RBS::TypeName
+
+        attr_reader other_class_name: RBS::TypeName
+
+        attr_reader variable_name: Symbol
+
+        def initialize: (class_name: RBS::TypeName, other_class_name: RBS::TypeName, variable_name: Symbol, location: RBS::Location[untyped, untyped]) -> void
+
+        def header_line: () -> String
+      end
+
+      # The error is raised when a class variable is defined in both `class_name` and `other_class_name`
+      #
+      class ClassVariableDuplicationError < Base
+        attr_reader class_name: RBS::TypeName
+        attr_reader other_class_name: RBS::TypeName
+        attr_reader variable_name: Symbol
 
-        attr_reader variable: untyped
+        def initialize: (class_name: RBS::TypeName, other_class_name: RBS::TypeName, variable_name: Symbol, location: RBS::Location[untyped, untyped]) -> void
 
-        attr_reader var_type: untyped
+        def header_line: () -> String
+      end
+
+
+      class InstanceVariableTypeError < Base
+        attr_reader name: Symbol
+
+        attr_reader var_type: AST::Types::t
 
-        attr_reader parent_type: untyped
+        attr_reader parent_type: AST::Types::t
 
-        def initialize: (name: untyped, location: untyped, var_type: untyped, parent_type: untyped) -> void
+        def initialize: (name: Symbol, location: location?, var_type: AST::Types::t, parent_type: AST::Types::t) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class MixinClassError < Base
-        attr_reader member: untyped
+        attr_reader member: RBS::AST::Members::Include | RBS::AST::Members::Extend | RBS::AST::Members::Prepend
 
-        attr_reader type_name: untyped
+        attr_reader type_name: RBS::TypeName
 
-        def initialize: (location: untyped, member: untyped, type_name: untyped) -> void
+        def initialize: (location: location?, member: RBS::AST::Members::Include | RBS::AST::Members::Extend | RBS::AST::Members::Prepend, type_name: RBS::TypeName) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
 
         private
 
-        def mixin_name: () -> untyped
+        def mixin_name: () -> String
+      end
+
+      # A class definition has a module as its super class
+      #
+      class InheritModuleError < Base
+        attr_reader super_class: RBS::AST::Declarations::Class::Super
+
+        def initialize: (RBS::AST::Declarations::Class::Super) -> void
+
+        def header_line: () -> String
       end
 
       class UnexpectedError < Base
-        attr_reader message: untyped
+        attr_reader message: String
 
-        def initialize: (message: untyped, location: untyped) -> void
+        def initialize: (message: String, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class RecursiveTypeAlias < Base
-        attr_reader alias_names: untyped
+        attr_reader alias_names: Array[RBS::TypeName]
 
-        def initialize: (alias_names: untyped, location: untyped) -> void
+        def initialize: (alias_names: Array[RBS::TypeName], location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
       class NonregularTypeAlias < Base
-        attr_reader type_name: untyped
+        attr_reader type_name: RBS::TypeName
 
-        attr_reader nonregular_type: untyped
+        attr_reader nonregular_type: AST::Types::t
 
-        def initialize: (type_name: untyped, nonregular_type: untyped, location: untyped) -> void
+        def initialize: (type_name: RBS::TypeName, nonregular_type: AST::Types::t, location: location?) -> void
 
-        def header_line: () -> ::String
+        def header_line: () -> String
       end
 
-      def self.from_rbs_error: (untyped error, factory: untyped) -> untyped
+      def self.from_rbs_error: (RBS::BaseError error, factory: AST::Types::Factory) -> Base
     end
   end
 end

data/sig/steep/drivers/worker.rbs

@@ -1,31 +1,29 @@
 module Steep
   module Drivers
     class Worker
-      attr_reader stdout: untyped
+      attr_reader stdout: IO
 
-      attr_reader stderr: untyped
+      attr_reader stderr: IO
 
-      attr_reader stdin: untyped
+      attr_reader stdin: IO
 
-      attr_accessor steepfile_path: untyped
+      attr_accessor worker_type: Symbol
 
-      attr_accessor worker_type: untyped
+      attr_accessor worker_name: String
 
-      attr_accessor worker_name: untyped
+      attr_accessor delay_shutdown: bool
 
-      attr_accessor delay_shutdown: untyped
+      attr_accessor max_index: Integer
 
-      attr_accessor max_index: untyped
+      attr_accessor index: Integer
 
-      attr_accessor index: untyped
-
-      attr_accessor commandline_args: untyped
+      attr_accessor commandline_args: Array[String]
 
       include Utils::DriverHelper
 
-      def initialize: (stdout: untyped, stderr: untyped, stdin: untyped) -> void
+      def initialize: (stdout: IO, stderr: IO, stdin: IO) -> void
 
-      def run: () -> 0
+      def run: () -> Integer
     end
   end
 end

data/sig/steep/range_extension.rbs

@@ -0,0 +1,7 @@
+class RBS::Location[in RK, in OK]
+  def as_lsp_range: () -> { start: { line: Integer, character: Integer }, end: { line: Integer, character: Integer } }
+end
+
+class Parser::Source::Range
+  def as_lsp_range: () -> { start: { line: Integer, character: Integer }, end: { line: Integer, character: Integer } }
+end

data/sig/steep/server/lsp_formatter.rbs

@@ -4,26 +4,33 @@ module Steep
       include Services
 
       class CommentBuilder
+        @array: Array[String]
+
         def initialize: () -> void
 
-        def self.build: () { (untyped) -> untyped } -> untyped
+        def self.build: () { (CommentBuilder) -> void } -> String
 
-        def to_s: () -> (untyped | nil)
+        def to_s: () -> String
 
-        def <<: (untyped string) -> (untyped | nil)
+        def <<: (String? string) -> void
 
-        def push: () { (untyped) -> untyped } -> untyped
+        def push: () { (String) -> void } -> void
       end
 
-      def self?.format_hover_content: (untyped content) -> untyped
+      def self?.format_hover_content: (Services::HoverProvider::Ruby::content | Services::HoverProvider::RBS::content) -> untyped
 
-      def self?.to_list: (untyped collection) ?{ () -> untyped } -> untyped
+      def self?.to_list: [A < Object] (Enumerable[A] collection) ?{ (A) -> String } -> String
 
       def self?.name_and_args: (untyped name, untyped args) -> ::String
 
       def self?.name_and_params: (untyped name, untyped params) -> ::String
 
-      def self?.declaration_summary: (untyped decl) -> untyped
+      type summarizable_decl = ::RBS::AST::Declarations::Class
+                             | ::RBS::AST::Declarations::Module
+                             | ::RBS::AST::Declarations::Interface
+                             | ::RBS::AST::Declarations::Alias
+                             
+      def self?.declaration_summary: (summarizable_decl) -> String
     end
   end
 end

data/sig/steep/server/worker_process.rbs

@@ -1,29 +1,91 @@
 module Steep
   module Server
+    # WorkerProcess class represents a worker process
+    #
+    # Available operations are:
+    #
+    # 1. Sending a LSP message to the process
+    # 2. Receiving a LSP message from the process
+    # 3. Killing the process
+    #
+    # The process may be invoked by
+    #
+    # 1. `#fork` if available, or
+    # 2. `#spawn` otherwise
+    #
+    # `#fork` version is faster because it skips loading libraries.
+    #
+    #
     class WorkerProcess
-      attr_reader reader: untyped
+      interface _ProcessWaitThread
+        def pid: () -> Integer
+      end
 
-      attr_reader writer: untyped
+      attr_reader reader: LanguageServer::Protocol::Transport::Io::Reader
 
-      attr_reader stderr: untyped
+      attr_reader writer: LanguageServer::Protocol::Transport::Io::Writer
 
-      attr_reader name: untyped
+      attr_reader stderr: IO?
 
-      attr_reader wait_thread: untyped
+      attr_reader name: String
 
-      attr_reader index: untyped
+      attr_reader wait_thread: Thread & _ProcessWaitThread
 
-      def initialize: (reader: untyped, writer: untyped, stderr: untyped, wait_thread: untyped, name: untyped, ?index: untyped?) -> void
+      attr_reader index: Integer?
 
-      def self.spawn_worker: (untyped `type`, name: untyped, steepfile: untyped, ?steep_command: ::String, ?options: untyped, ?delay_shutdown: bool, ?index: untyped?) -> untyped
+      def initialize: (
+        reader: LanguageServer::Protocol::Transport::Io::Reader,
+        writer: LanguageServer::Protocol::Transport::Io::Writer,
+        stderr: IO?,
+        wait_thread: Thread & _ProcessWaitThread,
+        name: String,
+        ?index: Integer?
+      ) -> void
 
-      def self.spawn_typecheck_workers: (steepfile: untyped, args: untyped, ?steep_command: ::String, ?count: untyped, ?delay_shutdown: bool) -> untyped
+      type worker_type = :interaction | :typecheck
 
-      def <<: (untyped message) -> untyped
+      def self.start_worker: (
+        worker_type `type`,
+        name: String,
+        steepfile: Pathname,
+        ?steep_command: ::String,
+        ?patterns: Array[String],
+        ?delay_shutdown: bool,
+        ?index: [Integer, Integer]?
+      ) -> WorkerProcess
 
-      def read: () ?{ () -> untyped } -> untyped
+      def self.fork_worker: (
+        worker_type `type`,
+        name: String,
+        steepfile: Pathname,
+        patterns: Array[String],
+        delay_shutdown: bool,
+        index: [Integer, Integer]?
+      ) -> WorkerProcess
 
-      def kill: () -> untyped
+      def self.spawn_worker: (
+        worker_type `type`,
+        name: String,
+        steepfile: Pathname,
+        steep_command: ::String,
+        patterns: Array[String],
+        delay_shutdown: bool,
+        index: [Integer, Integer]?
+      ) -> WorkerProcess
+
+      def self.start_typecheck_workers: (
+        steepfile: Pathname,
+        args: Array[String],
+        ?steep_command: ::String,
+        ?count: Integer,
+        ?delay_shutdown: bool
+      ) -> Array[WorkerProcess]
+
+      def <<: (untyped message) -> void
+
+      def read: () { (untyped) -> void } -> void
+
+      def kill: () -> void
     end
   end
 end

data/sig/steep/services/hover_provider/rbs.rbs

@@ -2,19 +2,39 @@ module Steep
   module Services
     module HoverProvider
       class RBS
-        TypeAliasContent: untyped
+        class TypeAliasContent
+          attr_reader location: ::RBS::Location[untyped, untyped]
 
-        ClassContent: untyped
+          attr_reader decl: ::RBS::AST::Declarations::Alias
 
-        InterfaceContent: untyped
+          def initialize: (location: ::RBS::Location[untyped, untyped], decl: ::RBS::AST::Declarations::Alias) -> void
+        end
 
-        attr_reader service: untyped
+        class ClassContent
+          attr_reader location: ::RBS::Location[untyped, untyped]
 
-        def initialize: (service: untyped) -> void
+          attr_reader decl: ::RBS::AST::Declarations::Class | ::RBS::AST::Declarations::Module
 
-        def project: () -> untyped
+          def initialize: (location: ::RBS::Location[untyped, untyped], decl: ::RBS::AST::Declarations::Class | ::RBS::AST::Declarations::Module) -> void
+        end
 
-        def content_for: (target: untyped, path: untyped, line: untyped, column: untyped) -> (nil | untyped)
+        class InterfaceContent
+          attr_reader location: ::RBS::Location[untyped, untyped]
+
+          attr_reader decl: ::RBS::AST::Declarations::Interface
+
+          def initialize: (location: ::RBS::Location[untyped, untyped], decl: ::RBS::AST::Declarations::Interface) -> void
+        end
+
+        type content = TypeAliasContent | ClassContent | InterfaceContent
+
+        attr_reader service: TypeCheckService
+
+        def initialize: (service: TypeCheckService) -> void
+
+        def project: () -> Project
+
+        def content_for: (target: Project::Target, path: Pathname, line: Integer, column: Integer) -> content?
       end
     end
   end

data/sig/steep/services/hover_provider/ruby.rbs

@@ -35,10 +35,24 @@ module Steep
           def initialize: (node: Parser::AST::Node, name: Symbol, type: AST::Types::t, location: Parser::Source::Range) -> void
         end
 
+        class TypeAssertionContent
+          attr_reader node: Parser::AST::Node
+
+          attr_reader original_type: AST::Types::t
+
+          attr_reader asserted_type: AST::Types::t
+
+          attr_reader location: Parser::Source::Range
+
+          def initialize: (node: Parser::AST::Node, original_type: AST::Types::t, asserted_type: AST::Types::t, location: Parser::Source::Range) -> void
+        end
+
         class MethodCallContent
           attr_reader node: Parser::AST::Node
 
-          attr_reader method_call: TypeInference::MethodCall::t
+          type call = TypeInference::MethodCall::Typed | TypeInference::MethodCall::Special | TypeInference::MethodCall::Error
+
+          attr_reader method_call: call
 
           attr_reader location: Parser::Source::Range
 
@@ -81,13 +95,13 @@ module Steep
           def comments: () -> Array[::RBS::AST::Comment]
 
           # Returns true if `decl` is a class/module definition
-          def class_or_module?: () -> bool
+          def class_or_module?: () -> (::RBS::Environment::ClassEntry | ::RBS::Environment::ModuleEntry | nil)
 
           # Returns true if `decl` is a constant definition
-          def constant?: () -> bool
+          def constant?: () -> ::RBS::Environment::SingleEntry[::RBS::TypeName, ::RBS::AST::Declarations::Constant]?
         end
 
-        type content = TypeContent | VariableContent | MethodCallContent | DefinitionContent | ConstantContent
+        type content = TypeContent | VariableContent | MethodCallContent | DefinitionContent | ConstantContent | TypeAssertionContent
 
         attr_reader service: TypeCheckService
 

data/sig/steep/services/hover_provider/singleton_methods.rbs

@@ -2,7 +2,7 @@ module Steep
   module Services
     module HoverProvider
       module SingletonMethods
-        def content_for: (service: TypeCheckService, path: Pathname, line: Integer, column: Integer) -> (Ruby | RBS | nil)
+        def content_for: (service: TypeCheckService, path: Pathname, line: Integer, column: Integer) -> (Ruby::content | RBS::content | nil)
       end
 
       extend SingletonMethods