steep 1.6.0 → 1.7.1

data/sig/steep/expectations.rbs

@@ -1,72 +0,0 @@
-module Steep
-  class Expectations
-    type status = :expected | :missing | :unexpected
-
-    class Diagnostic
-      module DiagnosticSeverity = LanguageServer::Protocol::Constant::DiagnosticSeverity
-
-      type position = { line: Integer, character: Integer }
-
-      attr_reader start_position: position
-
-      attr_reader end_position: position
-
-      attr_reader severity: Steep::Diagnostic::LSPFormatter::severity
-
-      attr_reader message: String
-
-      attr_reader code: String
-
-      def initialize: (start_position: position, end_position: position, severity: Steep::Diagnostic::LSPFormatter::severity, message: String, code: String) -> void
-
-      def self.from_hash: (untyped) -> instance
-
-      def self.from_lsp: (untyped) -> Diagnostic
-
-      def to_hash: () -> Hash[String, untyped]
-
-      def to_lsp: () -> Hash[Symbol, untyped]
-
-      def lsp_severity: () -> Integer
-
-      def sort_key: () -> Array[untyped]
-    end
-
-    class TestResult
-      attr_reader path: Pathname
-
-      attr_reader expectation: Array[Diagnostic]
-
-      attr_reader actual: Array[Diagnostic]
-
-      def initialize: (path: Pathname, expectation: Array[Diagnostic], actual: Array[Diagnostic]) -> void
-
-      def empty?: () -> bool
-
-      def satisfied?: () -> bool
-
-      def each_diagnostics: () { ([status, Diagnostic]) -> void } -> void
-                          | () -> Enumerator[[status, Diagnostic], void]
-
-      def expected_diagnostics: () -> Array[Diagnostic]
-
-      def unexpected_diagnostics: () -> Array[Diagnostic]
-
-      def missing_diagnostics: () -> Array[Diagnostic]
-    end
-
-    module LSP = LanguageServer::Protocol
-
-    attr_reader diagnostics: Hash[Pathname, Array[Diagnostic]]
-
-    def initialize: () -> void
-
-    def test: (path: Pathname, diagnostics: Array[Diagnostic]) -> TestResult
-
-    def self.empty: () -> instance
-
-    def to_yaml: () -> String
-
-    def self.load: (path: Pathname, content: String) -> instance
-  end
-end

data/sig/steep/index/rbs_index.rbs

@@ -1,141 +0,0 @@
-module Steep
-  module Index
-    class RBSIndex
-      class TypeEntry
-        attr_reader type_name: RBS::TypeName
-
-        type decl = RBS::AST::Declarations::Class
-                  | RBS::AST::Declarations::Module
-                  | RBS::AST::Declarations::Interface
-                  | RBS::AST::Declarations::TypeAlias
-                  | RBS::AST::Declarations::ClassAlias
-                  | RBS::AST::Declarations::ModuleAlias
-
-        type ref = RBS::AST::Members::MethodDefinition
-                 | RBS::AST::Members::AttrWriter
-                 | RBS::AST::Members::AttrReader
-                 | RBS::AST::Members::AttrAccessor
-                 | RBS::AST::Members::Include
-                 | RBS::AST::Members::Extend
-                 | RBS::AST::Members::InstanceVariable
-                 | RBS::AST::Members::ClassVariable
-                 | RBS::AST::Members::ClassInstanceVariable
-                 | RBS::AST::Declarations::Module
-                 | RBS::AST::Declarations::Class
-                 | RBS::AST::Declarations::Constant
-                 | RBS::AST::Declarations::Global
-                 | RBS::AST::Declarations::TypeAlias
-                 | RBS::AST::Declarations::ClassAlias
-                 | RBS::AST::Declarations::ModuleAlias
-
-        attr_reader declarations: Set[decl]
-
-        attr_reader references: Set[ref]
-
-        def initialize: (type_name: RBS::TypeName) -> void
-
-        def add_declaration: (decl decl) -> self
-
-        def add_reference: (ref) -> self
-      end
-
-      class MethodEntry
-        attr_reader method_name: method_name
-
-        type decl = RBS::AST::Members::MethodDefinition
-                  | RBS::AST::Members::Alias
-                  | RBS::AST::Members::AttrWriter
-                  | RBS::AST::Members::AttrReader
-                  | RBS::AST::Members::AttrAccessor
-
-        type ref = RBS::AST::Members::Alias
-
-        attr_reader declarations: Set[decl]
-
-        attr_reader references: Set[ref]
-
-        def initialize: (method_name: method_name) -> void
-
-        def add_declaration: (decl) -> self
-      end
-
-      class ConstantEntry
-        attr_reader const_name: RBS::TypeName
-
-        type decl = RBS::AST::Declarations::Constant
-
-        attr_reader declarations: Set[decl]
-
-        def initialize: (const_name: RBS::TypeName) -> void
-
-        def add_declaration: (decl) -> self
-      end
-
-      class GlobalEntry
-        attr_reader global_name: Symbol
-
-        type decl = RBS::AST::Declarations::Global
-
-        attr_reader declarations: Set[decl]
-
-        def initialize: (global_name: Symbol) -> void
-
-        def add_declaration: (decl) -> self
-      end
-
-      attr_reader type_index: Hash[RBS::TypeName, TypeEntry]
-
-      attr_reader method_index: Hash[method_name, MethodEntry]
-
-      attr_reader const_index: Hash[RBS::TypeName, ConstantEntry]
-
-      attr_reader global_index: Hash[Symbol, GlobalEntry]
-
-      def initialize: () -> void
-
-      def entry: (type_name: RBS::TypeName) -> TypeEntry
-               | (method_name: method_name) -> MethodEntry
-               | (const_name: RBS::TypeName) -> ConstantEntry
-               | (global_name: Symbol) -> GlobalEntry
-
-      def each_entry: () { (TypeEntry | MethodEntry | ConstantEntry | GlobalEntry) -> void } -> void
-                    | () -> Enumerator[TypeEntry | MethodEntry | ConstantEntry | GlobalEntry, void]
-
-      def add_type_declaration: (RBS::TypeName type_name, TypeEntry::decl declaration) -> TypeEntry
-
-      def add_method_declaration: (method_name, MethodEntry::decl member) -> MethodEntry
-
-      def add_constant_declaration: (RBS::TypeName const_name, ConstantEntry::decl decl) -> ConstantEntry
-
-      def add_global_declaration: (Symbol global_name, GlobalEntry::decl decl) -> GlobalEntry
-
-      def each_declaration: (type_name: RBS::TypeName) { (TypeEntry) -> void } -> void
-                          | (type_name: RBS::TypeName) -> Enumerator[TypeEntry, void]
-                          | (method_name: method_name) { (MethodEntry) -> void } -> void
-                          | (method_name: method_name) -> Enumerator[MethodEntry, void]
-                          | (const_name: RBS::TypeName) { (ConstantEntry) -> void } -> void
-                          | (const_name: RBS::TypeName) -> Enumerator[ConstantEntry, void]
-                          | (global_name: Symbol) { (GlobalEntry) -> void } -> void
-                          | (global_name: Symbol) -> Enumerator[GlobalEntry, void]
-
-      # `type_name` is referred from `ref`
-      #
-      def add_type_reference: (RBS::TypeName type_name, TypeEntry::ref ref) -> TypeEntry
-
-      def each_reference: (type_name: RBS::TypeName) { (TypeEntry::ref) -> void } -> void
-                        | (type_name: RBS::TypeName) -> Enumerator[TypeEntry::ref, void]
-
-      class Builder
-        attr_reader index: RBSIndex
-
-        def initialize: (index: RBSIndex) -> void
-
-        def member: (RBS::TypeName type_name, RBS::AST::Members::t | RBS::AST::Declarations::t member) -> void
-
-        def type_reference: (RBS::Types::t, from: TypeEntry::ref) -> void
-
-        def env: (RBS::Environment env) -> void
-      end
-    end
-  end
-end

data/sig/steep/index/signature_symbol_provider.rbs

@@ -1,41 +0,0 @@
-use LanguageServer::Protocol::Constant::SymbolKind
-
-module Steep
-  module Index
-    class SignatureSymbolProvider
-      module LSP = LanguageServer::Protocol
-
-      class SymbolInformation
-        attr_reader name: String
-
-        attr_reader location: RBS::Location[untyped, untyped]
-
-        attr_reader container_name: String?
-
-        attr_reader kind: SymbolKind::t
-
-        def initialize: (name: String, location: RBS::Location[untyped, untyped], container_name: String?, kind: SymbolKind::t) -> void
-      end
-
-      attr_reader project: Project
-
-      attr_reader indexes: Array[RBSIndex]
-
-      attr_reader assignment: Services::PathAssignment
-
-      def initialize: (project: Project, assignment: Services::PathAssignment) -> void
-
-      def self.test_type_name: (String query, RBS::TypeName type_name) -> bool
-
-      alias self.test_const_name self.test_type_name
-
-      def self.test_global_name: (String query, Symbol global_name) -> bool
-
-      def self.test_method_name: (String query, method_name) -> bool
-
-      def assigned?: (Pathname) -> bool
-
-      def query_symbol: (String query) -> Array[SymbolInformation]
-    end
-  end
-end

data/sig/steep/index/source_index.rbs

@@ -1,63 +0,0 @@
-module Steep
-  module Index
-    class SourceIndex
-      class ConstantEntry
-        attr_reader name: untyped
-
-        attr_reader definitions: untyped
-
-        attr_reader references: untyped
-
-        def initialize: (name: untyped) -> void
-
-        def add_definition: (untyped node) -> untyped
-
-        def add_reference: (untyped node) -> untyped
-
-        def merge!: (untyped other) -> untyped
-      end
-
-      class MethodEntry
-        attr_reader name: untyped
-
-        attr_reader definitions: untyped
-
-        attr_reader references: untyped
-
-        def initialize: (name: untyped) -> void
-
-        def add_definition: (untyped node) -> untyped
-
-        def add_reference: (untyped node) -> untyped
-
-        def merge!: (untyped other) -> untyped
-      end
-
-      attr_reader source: untyped
-
-      attr_reader constant_index: untyped
-
-      attr_reader method_index: untyped
-
-      attr_reader parent: untyped
-
-      attr_reader count: untyped
-
-      attr_reader parent_count: untyped
-
-      def initialize: (source: untyped, ?parent: untyped?) -> void
-
-      def new_child: () -> untyped
-
-      def merge!: (untyped child) -> untyped
-
-      def add_definition: (definition: untyped, ?constant: untyped?, ?method: untyped?) -> untyped
-
-      def add_reference: (ref: untyped, ?constant: untyped?, ?method: untyped?) -> untyped
-
-      def entry: (?constant: untyped?, ?method: untyped?) -> untyped
-
-      def reference: (?constant_node: untyped?) -> untyped
-    end
-  end
-end

data/sig/steep/interface/block.rbs

@@ -1,41 +0,0 @@
-module Steep
-  module Interface
-    class Block
-      attr_reader type: Function
-
-      attr_reader self_type: AST::Types::t?
-
-      attr_reader optional: bool
-
-      def initialize: (type: Function, self_type: AST::Types::t?, optional: bool) -> void
-
-      def optional?: () -> bool
-
-      def required?: () -> bool
-
-      def to_optional: () -> Block
-
-      def ==: (untyped other) -> bool
-
-      alias eql? ==
-
-      def hash: () -> Integer
-
-      def closed?: () -> bool
-
-      def subst: (Substitution s) -> Block
-
-      @fvs: Set[Symbol]
-
-      def free_variables: () -> Set[Symbol]
-
-      def to_s: () -> ::String
-
-      def map_type: () { (AST::Types::t) -> AST::Types::t } -> Block
-
-      def +: (Block other) -> Block
-
-      def to_proc_type: () -> AST::Types::t
-    end
-  end
-end

data/sig/steep/interface/builder.rbs

@@ -1,166 +0,0 @@
-use RBS::TypeName
-
-module Steep
-  module Interface
-    class Builder
-      class Config
-        # Type of `self` type included immediately in the type expression
-        #
-        attr_reader self_type: AST::Types::t
-
-        # Type of `class` type included immediately in the type expression
-        #
-        attr_reader class_type: AST::Types::t | nil
-
-        # Type of `instance` type included immediately in the type expression
-        #
-        attr_reader instance_type: AST::Types::t | nil
-
-        # Resolves `self` types included in shape members
-        #
-        # * `false` only when the type expression is `self`
-        #
-        attr_reader resolve_self: bool
-
-        # Resolves `class` types included in shape members
-        #
-        # * `false` only when the type expression is `class`
-        #
-        attr_reader resolve_class: bool
-
-        # Resolves `instance` types included in shape members
-        #
-        # * `false` only when the type expression is `instance`
-        #
-        attr_reader resolve_instance: bool
-
-        attr_reader variable_bounds: Hash[Symbol, AST::Types::t?]
-
-        def initialize: (
-          self_type: AST::Types::t,
-          class_type: AST::Types::t | nil,
-          instance_type: AST::Types::t | nil,
-          ?resolve_self: bool,
-          ?resolve_class: bool,
-          ?resolve_instance: bool,
-          variable_bounds: Hash[Symbol, AST::Types::t?]
-        ) -> void
-
-        def update: (
-          ?self_type: AST::Types::t,
-          ?class_type: AST::Types::t | nil,
-          ?instance_type: AST::Types::t | nil,
-          ?resolve_self: bool,
-          ?resolve_class: bool,
-          ?resolve_instance: bool,
-          ?variable_bounds: Hash[Symbol, AST::Types::t?]
-        ) -> self
-
-        @no_resolve: self?
-        def no_resolve: () -> self
-
-        def resolve?: () -> bool
-
-        def ==: (untyped) -> bool
-
-        alias eql? ==
-
-        def hash: () -> Integer
-
-        @subst: Substitution
-
-        # Substitution for immediate type expressions
-        def subst: () -> Substitution
-
-        # Returns `self_type`, or `nil` when it is `Types::Self`
-        #
-        def self_type?: () -> AST::Types::t?
-
-        # Returns `class_type`, or `nil` when it is `Types::Class`
-        #
-        def class_type?: () -> AST::Types::t?
-
-        # Returns `instanc_type`, or `nil` when it is `Types::Instance`
-        #
-        def instance_type?: () -> AST::Types::t?
-      end
-
-      attr_reader factory: AST::Types::Factory
-
-      type cache_key = [
-        AST::Types::t,                 # type
-        bool,                          # public_only
-        AST::Types::t | nil,           # self_type
-        AST::Types::t | nil,           # class_type
-        AST::Types::t | nil,           # instance_type
-        bool, bool, bool,              # resolve_self, resolve_class, resolve_instance
-        Hash[Symbol, AST::Types::t?]?  # variable_bounds
-      ]
-      attr_reader cache: Hash[cache_key, Shape?]
-
-      # No type application (if generic), no self-instance-module resolution
-      attr_reader raw_instance_object_shape_cache: Hash[[TypeName, bool], Shape]
-
-      attr_reader raw_singleton_object_shape_cache: Hash[[TypeName, bool], Shape]
-
-      attr_reader raw_interface_object_shape_cache: Hash[[TypeName, bool], Shape]
-
-      def initialize: (AST::Types::Factory) -> void
-
-      # Calculates the shape of given class, based on `public_only` and Config
-      #
-      # Returns `nil` if a type that cannot calculate Shape is given.
-      #
-      # * `public_only`: If false, returns a shape with private methods.
-      #
-      def shape: (AST::Types::t, public_only: bool, config: Config) -> Shape?
-
-      private
-
-      @subtyping: Subtyping::Check?
-
-      def subtyping: () -> Subtyping::Check
-
-      # Fetch and update cache
-      #
-      # Cache if given type is cacheable:
-      #
-      # * `self`, `instance`, `class` is not cacheable
-      # * Type variables are not cacheable
-      #
-      def fetch_cache: (AST::Types::t, bool public_only, Config) { () -> Shape? } -> Shape?
-
-      def include_self?: (AST::Types::t) -> bool
-
-      def definition_builder: () -> RBS::DefinitionBuilder
-
-      def object_shape: (
-        AST::Types::Name::Instance | AST::Types::Name::Singleton | AST::Types::Name::Interface,
-        bool public_only,
-        boolish keep_self,
-        boolish keep_instance,
-        boolish keep_singleton
-      ) -> Shape
-
-      def raw_object_shape: (
-        AST::Types::Name::Instance | AST::Types::Name::Singleton | AST::Types::Name::Interface,
-        bool public_only,
-        Substitution subst
-      ) -> Shape
-
-      def union_shape: (AST::Types::t, Array[Shape], bool public_only) -> Shape
-
-      def intersection_shape: (AST::Types::t, Array[Shape], bool public_only) -> Shape
-
-      def tuple_shape: (AST::Types::Tuple, bool public_only, Config) -> Shape
-
-      def record_shape: (AST::Types::Record, bool public_only, Config) -> Shape?
-
-      def proc_shape: (AST::Types::Proc, bool public_only, Config) -> Shape?
-
-      def replace_primitive_method: (method_name, RBS::Definition::Method::TypeDef, MethodType) -> MethodType
-
-      def method_name_for: (RBS::Definition::Method::TypeDef, Symbol name) -> method_name
-    end
-  end
-end