steep 1.7.0.dev.4 → 1.7.0

data/sig/steep/services/completion_provider.rbs

@@ -1,264 +0,0 @@
-use RBS::Environment, RBS::TypeName
-use Steep::TypeInference::MethodCall
-
-module Steep
-  module Services
-    class CompletionProvider
-      include NodeHelper
-
-      # Cursor position
-      class Position
-        attr_reader line: Integer
-
-        attr_reader column: Integer
-
-        def initialize: (line: Integer, column: Integer) -> void
-
-        def -: (Integer) -> Position
-      end
-
-      class Range
-        attr_reader start: Position
-
-        attr_reader end: Position
-
-        def initialize: (start: Position, end: Position) -> void
-      end
-
-      class InstanceVariableItem
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader type: AST::Types::t
-
-        def initialize: (identifier: Symbol, range: Range, type: AST::Types::t) -> void
-      end
-
-      class KeywordArgumentItem
-        attr_reader identifier: String
-
-        attr_reader range: Range
-
-        def initialize: (identifier: String, range: Range) -> void
-      end
-
-      class LocalVariableItem
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader type: AST::Types::t
-
-        def initialize: (identifier: Symbol, range: Range, type: AST::Types::t) -> void
-      end
-
-      class ConstantItem
-        attr_reader env: Environment
-
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader type: AST::Types::t
-
-        attr_reader full_name: TypeName
-
-        def initialize: (env: Environment, identifier: Symbol, range: Range, type: AST::Types::t, full_name: TypeName) -> void
-
-        def class?: () -> bool
-
-        def module?: () -> bool
-
-        def comments: () -> Array[RBS::AST::Comment?]
-
-        type const_decl = RBS::AST::Declarations::Constant
-                        | RBS::AST::Declarations::Class
-                        | RBS::AST::Declarations::Module
-                        | RBS::AST::Declarations::ClassAlias
-                        | RBS::AST::Declarations::ModuleAlias
-
-        def decl: () -> const_decl
-      end
-
-      # Method name completion item with *simple* receiver type
-      #
-      # Instance type, Singleton type, Interface type is simple.
-      # The item may have multiple overloads, but must have single method definition source.
-      #
-      class SimpleMethodNameItem
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader receiver_type: AST::Types::Name::Instance | AST::Types::Name::Interface | AST::Types::Name::Singleton
-
-        attr_reader method_types: Array[RBS::MethodType]
-
-        attr_reader method_name: method_name
-
-        attr_reader method_member: RBS::Definition::Method::method_member
-
-        def initialize: (
-          identifier: Symbol,
-          range: Range,
-          receiver_type: AST::Types::Name::Instance | AST::Types::Name::Interface | AST::Types::Name::Singleton,
-          method_name: method_name,
-          method_types: Array[RBS::MethodType],
-          method_member: RBS::Definition::Method::method_member
-        ) -> void
-
-        %a{pure} def comment: () -> RBS::AST::Comment?
-      end
-
-      # Method name completion item with *complex* receiver type
-      #
-      # The item may have multiple overloads and multiple method declarations.
-      #
-      class ComplexMethodNameItem
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader reeiver_type: AST::Types::t
-
-        attr_reader method_types: Array[RBS::MethodType]
-
-        attr_reader method_decls: Array[MethodCall::MethodDecl]
-
-        def initialize: (
-          identifier: Symbol,
-          range: Range,
-          method_types: Array[RBS::MethodType],
-          method_decls: Array[MethodCall::MethodDecl],
-          receiver_type: AST::Types::t
-        ) -> void
-
-        def method_names: () -> Array[method_name]
-
-        def method_definitions: () -> Hash[method_name, RBS::Definition::Method::method_member]
-
-        def defining_method_name: (TypeName, Symbol name, RBS::Definition::Method::method_member) -> method_name
-      end
-
-      # Method name completion item for generated methods, like `#first` in tuple types
-      #
-      # The generated methods doesn't have associated `MethodDecl`.
-      #
-      class GeneratedMethodNameItem
-        attr_reader identifier: Symbol
-
-        attr_reader range: Range
-
-        attr_reader reeiver_type: AST::Types::t
-
-        attr_reader method_types: Array[RBS::MethodType]
-
-        def initialize: (
-          identifier: Symbol,
-          range: Range,
-          receiver_type: AST::Types::t,
-          method_types: Array[RBS::MethodType]
-        ) -> void
-      end
-
-      class TypeNameItem
-        attr_reader env: Environment
-
-        attr_reader absolute_type_name: TypeName
-
-        attr_reader relative_type_name: TypeName
-
-        attr_reader range: Range
-
-        def initialize: (absolute_type_name: TypeName, relative_type_name: TypeName, env: Environment, range: Range) -> void
-
-        def decl: () -> Server::LSPFormatter::summarizable_decl
-
-        def comments: () -> Array[RBS::AST::Comment]
-      end
-
-      class TextItem
-        attr_reader label: String
-
-        attr_reader text: String
-
-        attr_reader help_text: String?
-
-        attr_reader range: Range
-
-        def initialize: (text: String, help_text: String?, range: Range, label: String) -> void
-      end
-
-      type item = InstanceVariableItem
-                | KeywordArgumentItem
-                | LocalVariableItem
-                | ConstantItem
-                | SimpleMethodNameItem
-                | ComplexMethodNameItem
-                | GeneratedMethodNameItem
-                | TypeNameItem
-                | TextItem
-
-      attr_reader source_text: String
-
-      attr_reader path: Pathname
-
-      attr_reader subtyping: Subtyping::Check
-
-      attr_reader modified_text: String
-
-      attr_reader source: Source
-
-      attr_reader typing: Typing
-
-      def initialize: (source_text: String, path: Pathname, subtyping: Subtyping::Check) -> void
-
-      def type_check!: (String text, line: Integer, column: Integer) -> void
-
-      def env: () -> Environment
-
-      def run: (line: Integer, column: Integer) -> Array[item]
-
-      def range_from_loc: (Parser::Source::Range loc) -> Range
-
-      def at_comment?: (Position pos) -> Parser::Source::Comment?
-
-      def at_end?: (Position pos, of: Parser::Source::Map | Parser::Source::Range | nil) -> boolish
-
-      def range_for: (Position position, ?prefix: ::String) -> Range
-
-      def items_for_trigger: (position: Position) -> Array[item]
-
-      def items_for_dot: (position: Position) -> Array[item]
-
-      def items_for_qcall: (position: Position) -> Array[item]
-
-      def items_for_colon2: (position: Position) -> Array[item]
-
-      def items_for_atmark: (position: Position) -> Array[item]
-
-      def items_for_rbs: (position: Position, buffer: RBS::Buffer) -> Array[item]
-
-      def items_for_following_keyword_arguments: (String text, index: Integer, line: Integer, column: Integer, items: Array[item]) -> void
-
-      def method_items_for_receiver_type: (AST::Types::t, include_private: bool, prefix: String, position: Position, items: Array[item]) -> void
-
-      def word_name?: (String name) -> bool
-
-      def local_variable_items_for_context: (TypeInference::Context context, position: Position, prefix: String, items: Array[item]) -> void
-
-      def constant_items_for_context: (TypeInference::Context context, position: Position, prefix: String, items: Array[item], ?parent: Parser::AST::Node?) -> void
-
-      def instance_variable_items_for_context: (TypeInference::Context context, position: Position, prefix: String, items: Array[item]) -> void
-
-      def keyword_argument_items_for_method: (call_node: Parser::AST::Node, send_node: Parser::AST::Node, position: Position, prefix: String, items: Array[item]) -> void
-
-      def index_for: (String, line: Integer, column: Integer) -> Integer
-
-      def disallowed_method?: (Symbol name) -> bool
-
-      def unwrap_optional: (AST::Types::t) -> AST::Types::t
-    end
-  end
-end

data/sig/steep/services/content_change.rbs

@@ -1,37 +0,0 @@
-module Steep
-  module Services
-    class ContentChange
-      class Position
-        attr_reader line: Integer
-
-        attr_reader column: Integer
-
-        def initialize: (line: Integer, column: Integer) -> void
-
-        def ==: (untyped other) -> bool
-
-        alias eql? ==
-
-        def hash: () -> Integer
-      end
-
-      type range = [Position, Position]
-
-      attr_reader range: range?
-
-      attr_reader text: String
-
-      def initialize: (text: String, ?range: range?) -> void
-
-      def ==: (untyped other) -> bool
-
-      alias eql? ==
-
-      def hash: () -> Integer
-
-      def self.string: (String) -> ContentChange
-
-      def apply_to: (String text) -> String
-    end
-  end
-end

data/sig/steep/services/file_loader.rbs

@@ -1,21 +0,0 @@
-module Steep
-  module Services
-    class FileLoader
-      attr_reader base_dir: Pathname
-
-      def initialize: (base_dir: Pathname) -> void
-
-      # Yields relative paths included in `pattern` from `base_dir`
-      #
-      def each_path_in_patterns: (Project::Pattern pattern, ?Array[String] commandline_patterns) { (Pathname) -> void } -> void
-                               | (Project::Pattern pattern, ?Array[String] commandline_patterns) -> Enumerator[Pathname, void]
-
-      # Returns changes that represents loading files from file system merged with ones given as `changes:`
-      #
-      # ```
-      # changes = loader.load_changes(target.pattern, command_line_patterns, changes: changes_from_editor)
-      # ```
-      def load_changes: (Project::Pattern pattern, ?Array[String] command_line_patterns, changes: Hash[Pathname, Array[ContentChange]]) -> Hash[Pathname, Array[ContentChange]]
-    end
-  end
-end

data/sig/steep/services/goto_service.rbs

@@ -1,106 +0,0 @@
-use RBS::TypeName, RBS::Location
-
-module Steep
-  module Services
-    class GotoService
-      include ModuleHelper
-
-      # Where the query is issued from
-      #
-      # * `:ruby` if the query is issued from a Ruby code
-      # * `:rbs` if the query is issued from a RBS file
-      #
-      type from = :ruby | :rbs
-
-      module SourceHelper : _From
-        interface _From
-          def from: () -> from
-        end
-
-        def from_ruby?: () -> bool
-
-        def from_rbs?: () -> bool
-      end
-
-      # Query a constant
-      #
-      class ConstantQuery
-        include SourceHelper
-
-        attr_reader name: TypeName
-
-        # Where the query is issued from
-        attr_reader from: from
-
-        def initialize: (name: TypeName, from: from) -> void
-      end
-
-      # Query a method
-      #
-      class MethodQuery
-        include SourceHelper
-
-        attr_reader name: method_name
-
-        # Where the query is issued from
-        attr_reader from: from
-
-        def initialize: (name: method_name, from: from) -> void
-      end
-
-      # Query a type name
-      #
-      #
-      #
-      class TypeNameQuery
-        attr_reader name: TypeName
-
-        def initialize: (name: TypeName) -> void
-      end
-
-      type query = ConstantQuery | MethodQuery | TypeNameQuery
-
-      type loc = Location[bot, bot] | Parser::Source::Range
-
-      attr_reader type_check: TypeCheckService
-
-      attr_reader assignment: PathAssignment
-
-      def initialize: (type_check: TypeCheckService, assignment: PathAssignment) -> void
-
-      def project: () -> Project
-
-      # Returns array of locations that is a response to a *Go to implementation* request
-      #
-      def implementation: (path: Pathname, line: Integer, column: Integer) -> Array[loc]
-
-      # Returns array of locations that is a response to a *Go to definition* request
-      #
-      def definition: (path: Pathname, line: Integer, column: Integer) -> Array[loc]
-
-      # Returns array of locations that is a response to a *Go to type-definition* request
-      #
-      def type_definition: (path: Pathname, line: Integer, column: Integer) -> Array[loc]
-
-      private
-
-      # Returns a set of queries
-      def query_at: (path: Pathname, line: Integer, column: Integer) -> Array[query]
-
-      def each_type_name: (AST::Types::t) { (TypeName) -> void } -> void
-                        | (AST::Types::t) -> Enumerator[TypeName, void]
-
-      def test_ast_location: (Parser::Source::Range loc, line: Integer, column: Integer) -> bool
-
-      def type_check_path: (target: Project::Target, path: Pathname, content: String, line: Integer, column: Integer) -> [Typing, SignatureService]?
-
-      def constant_definition_in_rbs: (TypeName name, locations: Array[loc]) -> Array[loc]
-
-      def constant_definition_in_ruby: (TypeName name, locations: Array[loc]) -> Array[loc]
-
-      def method_locations: (method_name, in_ruby: bool, in_rbs: bool, locations: Array[loc]) -> Array[loc]
-
-      def type_name_locations: (TypeName name, ?locations: Array[loc]) -> Array[loc]
-    end
-  end
-end

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

@@ -1,47 +0,0 @@
-use RBS::Location, RBS::AST::Declarations, RBS::AST::Directives, RBS::TypeName, RBS::Environment
-
-module Steep
-  module Services
-    module HoverProvider
-      class RBS
-        class TypeAliasContent
-          attr_reader location: Location[untyped, untyped]
-
-          attr_reader decl: Declarations::TypeAlias
-
-          def initialize: (location: Location[untyped, untyped], decl: Declarations::TypeAlias) -> void
-        end
-
-        class ClassContent
-          attr_reader location: Location[untyped, untyped]
-
-          type decl = Declarations::Class | Declarations::Module | Declarations::ClassAlias | Declarations::ModuleAlias
-
-          attr_reader decl: decl
-
-          def initialize: (location: Location[untyped, untyped], decl: decl) -> void
-        end
-
-        class InterfaceContent
-          attr_reader location: Location[untyped, untyped]
-
-          attr_reader decl: Declarations::Interface
-
-          def initialize: (location: Location[untyped, untyped], decl: 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?
-
-        def content_for_type_name: (TypeName, env: Environment, location: Location[untyped, untyped]) -> content?
-      end
-    end
-  end
-end

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

@@ -1,127 +0,0 @@
-module Steep
-  module Services
-    module HoverProvider
-      class Ruby
-        class TypeContent
-          attr_reader node: Parser::AST::Node
-
-          attr_reader type: AST::Types::t
-
-          attr_reader location: Parser::Source::Range
-
-          def initialize: (node: Parser::AST::Node, type: AST::Types::t, location: Parser::Source::Range) -> void
-        end
-
-        # Hover content for a local variable, references or assignments
-        #
-        # ```ruby
-        #   a = 123
-        # # ^^^^        Hover popups
-        # # ^           Location covers
-        #
-        #   a + 1
-        # # ^           Hover popups
-        # # ^           Location covers
-        # ```
-        class VariableContent
-          attr_reader node: Parser::AST::Node
-
-          attr_reader name: Symbol
-
-          attr_reader type: AST::Types::t
-
-          attr_reader location: Parser::Source::Range
-
-          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
-
-          type call = TypeInference::MethodCall::Typed | TypeInference::MethodCall::Special | TypeInference::MethodCall::Error
-
-          attr_reader method_call: call
-
-          attr_reader location: Parser::Source::Range
-
-          def initialize: (node: Parser::AST::Node, method_call: TypeInference::MethodCall::t, location: Parser::Source::Range) -> void
-        end
-
-        class DefinitionContent
-          attr_reader node: Parser::AST::Node
-
-          attr_reader method_name: method_name
-
-          attr_reader method_type: Interface::MethodType
-
-          attr_reader definition: ::RBS::Definition::Method
-
-          attr_reader location: Parser::Source::Range
-
-          def initialize: (node: Parser::AST::Node, method_name: method_name, method_type: Interface::MethodType, definition: ::RBS::Definition::Method, location: Parser::Source::Range) -> void
-        end
-
-        class ConstantContent
-          attr_reader location: Parser::Source::Range
-
-          attr_reader full_name: ::RBS::TypeName
-
-          attr_reader type: AST::Types::t
-
-          type decl = ::RBS::Environment::ClassEntry
-                    | ::RBS::Environment::ModuleEntry
-                    | ::RBS::Environment::ClassAliasEntry
-                    | ::RBS::Environment::ModuleAliasEntry
-                    | ::RBS::Environment::ConstantEntry
-
-          attr_reader decl: decl
-
-          attr_reader class_decl(): ::RBS::Environment::ClassEntry | ::RBS::Environment::ModuleEntry | nil
-
-          attr_reader class_alias(): ::RBS::Environment::ClassAliasEntry | ::RBS::Environment::ModuleAliasEntry | nil
-
-          attr_reader constant_decl(): ::RBS::Environment::ConstantEntry?
-
-          def initialize: (location: Parser::Source::Range, full_name: ::RBS::TypeName, type: AST::Types::t, decl: decl) -> void
-
-          def comments: () -> Array[::RBS::AST::Comment]
-
-          # Returns true if `decl` is a class/module definition
-          def class_or_module?: () -> bool
-
-          # Returns true if `decl` is a constant definition
-          def constant?: () -> bool
-        end
-
-        type content = TypeContent | VariableContent | MethodCallContent | DefinitionContent | ConstantContent | TypeAssertionContent
-
-        attr_reader service: TypeCheckService
-
-        def initialize: (service: TypeCheckService) -> void
-
-        def project: () -> Project
-
-        def method_definition_for: (AST::Types::Factory factory, ::RBS::TypeName type_name, singleton_method: Symbol) -> ::RBS::Definition::Method
-                                 | (AST::Types::Factory factory, ::RBS::TypeName type_name, instance_method: Symbol) -> ::RBS::Definition::Method
-
-        def typecheck: (Project::Target target, path: Pathname, content: String, line: Integer, column: Integer) -> Typing?
-
-        def method_name_from_method: (TypeInference::Context::MethodContext context, builder: ::RBS::DefinitionBuilder) -> method_name
-
-        def content_for: (target: Project::Target, path: Pathname, line: Integer, column: Integer) -> content?
-      end
-    end
-  end
-end

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

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

data/sig/steep/services/path_assignment.rbs

@@ -1,21 +0,0 @@
-module Steep
-  module Services
-    class PathAssignment
-      attr_reader index: Integer
-
-      attr_reader max_index: Integer
-
-      attr_reader cache: Hash[Pathname, Integer]
-
-      def initialize: (index: Integer, max_index: Integer) -> void
-
-      def self.all: () -> PathAssignment
-
-      def =~: (Pathname path) -> bool
-
-      alias === =~
-
-      def self.index_for: (path: String, max_index: Integer) -> Integer
-    end
-  end
-end

data/sig/steep/services/signature_help_provider.rbs

@@ -1,51 +0,0 @@
-use RBS::Environment
-
-module Steep
-  module Services
-    class SignatureHelpProvider
-      module MethodCall = TypeInference::MethodCall
-
-      class Item
-        attr_reader method_type: RBS::MethodType
-
-        attr_reader comment: RBS::AST::Comment?
-
-        attr_reader active_parameter: Integer?
-
-        def initialize: (RBS::MethodType, RBS::AST::Comment?, Integer?) -> void
-
-        def parameters: () -> Array[String]?
-      end
-
-      include Steep::NodeHelper
-
-      attr_reader source: Source
-
-      attr_reader path: Pathname
-
-      attr_reader subtyping: Subtyping::Check
-
-      attr_reader buffer: RBS::Buffer
-
-      def env: () -> Environment
-
-      def initialize: (source: Source, subtyping: Subtyping::Check) -> void
-
-      # 1-origin line, 0-origin column
-      #
-      def run: (line: Integer, column: Integer) -> [Array[Item], Integer?]?
-
-      private
-
-      def active_parameter_for: (RBS::MethodType?, Array[Parser::AST::Node], Array[Parser::AST::Node]?, Parser::AST::Node) -> Integer?
-
-      def arguments_for: (RBS::MethodType) -> Array[String]
-
-      def last_argument_nodes_for: (argument_nodes: Array[Parser::AST::Node], line: Integer, column: Integer) -> Array[Parser::AST::Node]?
-
-      def signature_help_for: (Parser::AST::Node, Array[Parser::AST::Node], Array[Parser::AST::Node]?, Typing) -> [Array[Item], Integer?]?
-
-      def type_check!: (line: Integer, column: Integer) -> Typing
-    end
-  end
-end