steep 1.6.0 → 1.7.1

data/sig/steep/services/signature_service.rbs

@@ -1,156 +0,0 @@
-module Steep
-  module Services
-    # SignatureService takes care of two sets of RBS files.
-    #
-    # 1. RBS files loaded from `EnvironmentLoader` -- usually type signatures of libraries
-    # 2. RBS files managed in editors -- usually type signatures of the development target (app or gem)
-    #
-    # The files in #2 are managed throuth `#status` and the changes are tracked.
-    #
-    class SignatureService
-      type status = SyntaxErrorStatus | AncestorErrorStatus | LoadedStatus
-
-      attr_reader status: status
-
-      class SyntaxErrorStatus
-        attr_reader files: Hash[Pathname, FileStatus]
-
-        attr_reader changed_paths: Set[Pathname]
-
-        attr_reader diagnostics: Array[Diagnostic::Signature::Base]
-
-        attr_reader last_builder: RBS::DefinitionBuilder
-
-        @rbs_index: Index::RBSIndex?
-
-        @constant_resolver: RBS::Resolver::ConstantResolver?
-
-        def initialize: (files: Hash[Pathname, FileStatus], changed_paths: Set[Pathname], diagnostics: Array[Diagnostic::Signature::Base], last_builder: RBS::DefinitionBuilder) -> void
-
-        def rbs_index: () -> Index::RBSIndex
-
-        def constant_resolver: () -> RBS::Resolver::ConstantResolver
-      end
-
-      class AncestorErrorStatus
-        attr_reader files: Hash[Pathname, FileStatus]
-
-        attr_reader changed_paths: Set[Pathname]
-
-        attr_reader diagnostics: Array[Diagnostic::Signature::Base]
-
-        attr_reader last_builder: RBS::DefinitionBuilder
-
-        @rbs_index: Index::RBSIndex?
-
-        @constant_resolver: RBS::Resolver::ConstantResolver?
-
-        def initialize: (files: Hash[Pathname, FileStatus], changed_paths: Set[Pathname], diagnostics: Array[Diagnostic::Signature::Base], last_builder: RBS::DefinitionBuilder) -> void
-
-        def rbs_index: () -> Index::RBSIndex
-
-        def constant_resolver: () -> RBS::Resolver::ConstantResolver
-      end
-
-      class LoadedStatus
-        attr_reader files: Hash[Pathname, FileStatus]
-
-        attr_reader builder: RBS::DefinitionBuilder
-
-        @rbs_index: Index::RBSIndex?
-
-        @subtyping: Subtyping::Check?
-
-        @constant_resolver: RBS::Resolver::ConstantResolver?
-
-        def initialize: (files: Hash[Pathname, FileStatus], builder: RBS::DefinitionBuilder) -> void
-
-        def subtyping: () -> Subtyping::Check
-
-        def rbs_index: () -> Index::RBSIndex
-
-        def constant_resolver: () -> RBS::Resolver::ConstantResolver
-      end
-
-      # A file has one of the three states:
-      #
-      # 1. The parsing succeeded and loaded a list of declarations
-      # 2. The content has a syntax error and parsing failed
-      # 3. Other unexpected error
-      #
-      class FileStatus
-        attr_reader path: Pathname
-
-        attr_reader content: String
-
-        type signature = [RBS::Buffer, Array[RBS::AST::Directives::t], Array[RBS::AST::Declarations::t]]
-
-        attr_reader signature: signature | Diagnostic::Signature::UnexpectedError | RBS::ParsingError
-
-        def initialize: (
-          path: Pathname,
-          content: String,
-          signature: signature | Diagnostic::Signature::UnexpectedError | RBS::ParsingError
-        ) -> void
-      end
-
-      def initialize: (env: RBS::Environment) -> void
-
-      def self.load_from: (RBS::EnvironmentLoader loader) -> SignatureService
-
-      @env_rbs_paths: Set[Pathname]?
-
-      # All RBS paths in environment, both dependency RBS and target RBS
-      #
-      def env_rbs_paths: () -> Set[Pathname]
-
-      # Yield all RBS paths in the environment, both dependency RBS and target RBS
-      #
-      def each_rbs_path: () { (Pathname) -> void } -> void
-                       | () -> Enumerator[Pathname, void]
-
-      # The Target files
-      #
-      def files: () -> Hash[Pathname, FileStatus]
-
-      def pending_changed_paths: () -> Set[Pathname]
-
-      def latest_env: () -> RBS::Environment
-
-      def latest_builder: () -> RBS::DefinitionBuilder
-
-      def latest_rbs_index: () -> Index::RBSIndex
-
-      def latest_constant_resolver: () -> RBS::Resolver::ConstantResolver
-
-      def current_subtyping: () -> Subtyping::Check?
-
-      def apply_changes: (Hash[Pathname, FileStatus] files, Server::ChangeBuffer::changes changes) -> Hash[Pathname, FileStatus]
-
-      # The entry point to apply the edit to the signatures
-      #
-      def update: (Server::ChangeBuffer::changes changes) -> void
-
-      def update_env: (
-        Hash[Pathname, FileStatus] updated_files,
-        paths: Set[Pathname]
-      ) -> (RBS::DefinitionBuilder::AncestorBuilder | Array[Diagnostic::Signature::Base])
-
-      def rescue_rbs_error: (Array[RBS::BaseError] errors) { () -> void } -> void
-
-      def update_builder: (ancestor_builder: RBS::DefinitionBuilder::AncestorBuilder, paths: Set[Pathname]) -> RBS::DefinitionBuilder
-
-      def type_names: (paths: Set[Pathname], env: RBS::Environment) -> Set[RBS::TypeName]
-
-      def const_decls: (paths: Set[Pathname], env: RBS::Environment) -> Hash[RBS::TypeName, RBS::Environment::SingleEntry[RBS::TypeName, RBS::AST::Declarations::Constant]]
-
-      def global_decls: (paths: Set[Pathname], ?env: RBS::Environment) -> Hash[Symbol, RBS::Environment::SingleEntry[Symbol, RBS::AST::Declarations::Global]]
-
-      def type_name_from_decl: (RBS::AST::Declarations::t decl, set: Set[RBS::TypeName]) -> void
-
-      def add_descendants: (graph: RBS::AncestorGraph, names: Set[RBS::TypeName], set: Set[RBS::TypeName]) -> void
-
-      def add_nested_decls: (env: RBS::Environment, names: Set[RBS::TypeName], set: Set[RBS::TypeName]) -> void
-    end
-  end
-end

data/sig/steep/services/stats_calculator.rbs

@@ -1,41 +0,0 @@
-module Steep
-  module Services
-    class StatsCalculator
-      class SuccessStats
-        attr_reader target: Project::Target
-
-        attr_reader path: Pathname
-
-        attr_reader typed_calls_count: Integer
-
-        attr_reader untyped_calls_count: Integer
-
-        attr_reader error_calls_count: Integer
-
-        def initialize: (target: Project::Target, path: Pathname, typed_calls_count: Integer, untyped_calls_count: Integer, error_calls_count: Integer) -> void
-
-        def as_json: () -> Hash[Symbol, untyped]
-      end
-
-      class ErrorStats
-        attr_reader target: Project::Target
-
-        attr_reader path: Pathname
-
-        def initialize: (target: Project::Target, path: Pathname) -> void
-
-        def as_json: () -> Hash[Symbol, untyped]
-      end
-
-      type stats = SuccessStats | ErrorStats
-
-      attr_reader service: TypeCheckService
-
-      def initialize: (service: TypeCheckService) -> void
-
-      def project: () -> Project
-
-      def calc_stats: (Project::Target target, file: TypeCheckService::SourceFile) -> stats
-    end
-  end
-end

data/sig/steep/services/type_check_service.rbs

@@ -1,107 +0,0 @@
-module Steep
-  module Services
-    class TypeCheckService
-      attr_reader project: Project
-
-      attr_reader signature_validation_diagnostics: Hash[Symbol, Hash[Pathname, Array[Diagnostic::Signature::Base]]]
-
-      attr_reader source_files: Hash[Pathname, SourceFile]
-
-      attr_reader signature_services: Hash[Symbol, SignatureService]
-
-      class SourceFile
-        attr_reader path: Pathname
-
-        attr_reader target: Project::Target
-
-        attr_reader content: String
-
-        attr_reader node: Parser::AST::Node | nil | false
-
-        attr_reader typing: Typing?
-
-        attr_reader errors: Array[Diagnostic::Ruby::Base]?
-
-        def initialize: (
-          path: Pathname,
-          node: Parser::AST::Node | nil | false,
-          content: String,
-          typing: Typing?,
-          errors: Array[Diagnostic::Ruby::Base]?
-        ) -> void
-
-        def self.with_syntax_error: (path: Pathname, content: String, error: Diagnostic::Ruby::SyntaxError) -> SourceFile
-
-        def self.with_typing: (path: Pathname, content: String, typing: Typing, node: Parser::AST::Node?) -> SourceFile
-
-        def self.no_data: (path: Pathname, content: String) -> SourceFile
-
-        def update_content: (String content) -> SourceFile
-
-        def diagnostics: () -> Array[Diagnostic::Ruby::Base]
-      end
-
-      class TargetRequest
-        attr_reader target: Project::Target
-
-        attr_reader source_paths: Set[Pathname]
-
-        @signature_updated: bool
-
-        def initialize: (target: Project::Target) -> void
-
-        def signature_updated!: (?bool value) -> self
-
-        def signature_updated?: () -> bool
-
-        def empty?: () -> bool
-
-        def ==: (untyped other) -> bool
-
-        alias eql? ==
-
-        def hash: () -> Integer
-      end
-
-      def initialize: (project: Project) -> void
-
-      def signature_diagnostics: () -> Hash[Pathname, Array[Diagnostic::Signature::Base]]
-
-      def has_diagnostics?: () -> bool
-
-      def diagnostics: () -> Hash[Pathname, Array[Diagnostic::Ruby::Base | Diagnostic::Signature::Base]]
-
-      def each_diagnostics: () { ([Pathname, Array[Diagnostic::Ruby::Base] | Array[Diagnostic::Signature::Base]]) -> void } -> void
-                          | () -> Enumerator[[Pathname, Array[Diagnostic::Ruby::Base] | Array[Diagnostic::Signature::Base]], void]
-
-      def update: (changes: Server::ChangeBuffer::changes) -> Hash[Project::Target, TargetRequest]
-
-      def update_and_check: (
-        changes: Server::ChangeBuffer::changes,
-        assignment: PathAssignment
-      ) {
-        ([Pathname, Array[Diagnostic::Signature::Base] | Array[Diagnostic::Ruby::Base]]) -> void
-      } -> void
-
-      def validate_signature: (path: Pathname) { ([Pathname, Array[Diagnostic::Signature::Base]]) -> void } -> void
-
-      def typecheck_source: (path: Pathname, ?target: Project::Target?) { ([Pathname, Array[Diagnostic::Ruby::Base]]) -> void } -> void
-
-      def update_signature: (changes: Server::ChangeBuffer::changes, requests: Hash[Project::Target, TargetRequest]) -> void
-
-      def update_sources: (changes: Server::ChangeBuffer::changes, requests: Hash[Project::Target, TargetRequest]) -> void
-
-      def type_check_file: (target: Project::Target, subtyping: Subtyping::Check, path: Pathname, text: String) { () -> RBS::Resolver::ConstantResolver } -> SourceFile
-
-      def self.type_check: (source: Source, subtyping: Subtyping::Check, constant_resolver: RBS::Resolver::ConstantResolver) -> Typing
-
-      def source_file?: (Pathname path) -> Project::Target?
-
-      def signature_file?: (Pathname path) -> Array[Symbol]?
-
-      def app_signature_file?: (Pathname path) -> Array[Symbol]?
-
-      def lib_signature_file?: (Pathname path) -> bool
-    end
-  end
-end

data/sig/steep/services/type_name_completion.rbs

@@ -1,135 +0,0 @@
-use RBS::TypeName, RBS::Namespace, RBS::Environment, RBS::Resolver, RBS::AST::Directives
-
-module Steep
-  module Services
-    class TypeNameCompletion
-      module Prefix
-        type t = nil # no prefix
-               | RawIdentPrefix
-               | NamespacedIdentPrefix
-               | NamespacePrefix
-
-        # Uident or Lident is given, but no `::` (==namespace)
-        #
-        # ```
-        # Str←     Uident
-        # c←       Lident
-        # ```
-        #
-        class RawIdentPrefix
-          attr_reader ident: String
-
-          # Returns true if the `ident` is a Ruby class name
-          #
-          def const_name?: () -> bool
-
-          def initialize: (String ident) -> void
-
-          def size: () -> Integer
-        end
-
-        # Uident or Lident following a namespace
-        #
-        # ```
-        # ::L←         Uident
-        # RBS::Enviro← Uident
-        # ```
-        #
-        class NamespacedIdentPrefix
-          attr_reader namespace: Namespace
-
-          attr_reader ident: String
-
-          def const_name?: () -> bool
-
-          def initialize: (Namespace, String ident, Integer size) -> void
-
-          def size: () -> Integer
-        end
-
-        # Namespace is given
-        #
-        # ```
-        # RBS::←
-        # ::←
-        # ```
-        class NamespacePrefix
-          attr_reader namespace: Namespace
-
-          def initialize: (Namespace, Integer size) -> void
-
-          def size: () -> Integer
-        end
-
-        # line number is 1 origin (Rubyish)
-        #
-        def self.parse: (RBS::Buffer input, line: Integer, column: Integer) -> t
-      end
-
-      class Item
-        # The text to be completed
-        #
-        attr_reader complete_text: String
-
-        # The prefix
-        attr_reader prefix: Prefix::t?
-
-        # Name of the type or constant
-        #
-        attr_reader full_name: TypeName
-
-        # The text to be inserted after the prefix
-        #
-        def insert_text: () -> String
-
-        def initialize: (prefix: Prefix::t?, full_name: TypeName, complete_text: String) -> void
-      end
-
-      attr_reader env: Environment
-
-      attr_reader context: Resolver::context
-
-      attr_reader type_name_resolver: Resolver::TypeNameResolver
-
-      attr_reader map: Environment::UseMap
-
-      def initialize: (env: Environment, context: Resolver::context, dirs: Array[Directives::t]) -> void
-
-      def complete_class_name: (RBS::Buffer input, line: Integer, column: Integer) -> Array[Item]
-
-      # Find type names from the context for RBS
-      #
-      # Doesn't take account of ancestors of the context.
-      #
-      def find_type_names: (Prefix::t) -> Array[TypeName]
-
-      # Returns a pair of
-      #
-      # * Absolute type name
-      # * Relative type name in given context if possible (or absolute name)
-      #
-      def resolve_name_in_context: (TypeName) -> [TypeName, TypeName]
-
-      def format_constant_name: (TypeName) -> String
-
-      def resolve_used_name: (TypeName) -> TypeName?
-
-      private
-
-      # Yield type names defined in the environment
-      #
-      # * Yields an absolute type name if it is defined in the environment
-      # * Yields an relative type name if it is imported with `use` declerative
-      #
-      # Alias classes/modules and types under them are yielded.
-      #
-      def each_type_name: () { (TypeName) -> void } -> void
-                        | () -> Enumerator[TypeName, void]
-
-      def each_type_name_under: (TypeName module_name, TypeName normalized_name, table: Hash[Namespace, Array[TypeName]]) { (TypeName) -> void } -> void
-
-      def each_outer_module: (?Resolver::context) { (Namespace) -> void } -> Namespace
-                           | () -> Enumerator[Namespace, void]
-    end
-  end
-end

data/sig/steep/signature/validator.rbs

@@ -1,85 +0,0 @@
-module Steep
-  module Signature
-    class Validator
-      Location: singleton(RBS::Location)
-
-      Declarations: singleton(RBS::AST::Declarations)
-
-      attr_reader checker: Subtyping::Check
-
-      @errors: Array[Diagnostic::Signature::Base]
-
-      @type_name_resolver: RBS::Resolver::TypeNameResolver?
-
-      @validator: RBS::Validator?
-
-      def initialize: (checker: Subtyping::Check) -> void
-
-      def has_error?: () -> bool
-
-      def no_error?: () -> bool
-
-      def each_error: () { (Diagnostic::Signature::Base) -> void } -> void
-                    | () -> Enumerator[Diagnostic::Signature::Base, void]
-
-      def env: () -> RBS::Environment
-
-      def builder: () -> RBS::DefinitionBuilder
-
-      def type_name_resolver: () -> RBS::Resolver::TypeNameResolver
-
-      def validator: () -> RBS::Validator
-
-      def factory: () -> AST::Types::Factory
-
-      def validate: () -> void
-
-      def validate_type_application_constraints: (RBS::TypeName type_name, Array[RBS::AST::TypeParam] type_params, Array[RBS::Types::t] type_args, location: RBS::Location[untyped, untyped]?) -> void
-
-      def validate_type_application: (RBS::Types::t) -> void
-
-      def validate_type: (RBS::Types::t `type`) -> void
-
-      def ancestor_to_type: (RBS::Definition::Ancestor::t ancestor) -> (AST::Types::Name::Interface | AST::Types::Name::Instance)
-
-      def mixin_constraints: (RBS::Definition definition, Array[RBS::Definition::Ancestor::Instance] mixin_ancestors, immediate_self_types: Array[RBS::Definition::Ancestor::t]?) -> Array[[Subtyping::Relation[AST::Types::t], RBS::Definition::Ancestor::Instance]]
-
-      def each_method_type: (RBS::Definition) { (RBS::MethodType) -> void } -> void
-
-      def each_variable_type: (RBS::Definition) { (RBS::Types::t) -> void } -> void
-
-      def validate_definition_type: (RBS::Definition) -> void
-
-      def validate_one_class: (RBS::TypeName) -> void
-
-      def validate_ancestor_application: (RBS::TypeName, RBS::Definition::Ancestor::Instance ancestor) -> void
-
-      def validate_one_interface: (RBS::TypeName) -> void
-
-      def validate_decl: () -> void
-
-      def validate_const: () -> void
-
-      def validate_one_constant: (RBS::TypeName name, RBS::Environment::ConstantEntry entry) -> void
-
-      def validate_global: () -> void
-
-      def validate_one_global: (Symbol name, RBS::Environment::GlobalEntry) -> void
-
-      # Validate type alias
-      #
-      # 1. Make sure the outer namespace of given `name` exists
-      # 2. Make sure the type alias is valid with respect to `RBS::Validator`
-      # 
-      def validate_one_alias: (RBS::TypeName name, ?RBS::Environment::TypeAliasEntry entry) -> void
-
-      def validate_one_class_decl: (RBS::TypeName) -> void
-
-      def validate_one_class_alias: (RBS::TypeName, RBS::Environment::ClassAliasEntry | RBS::Environment::ModuleAliasEntry) -> void
-
-      def validate_alias: () -> void
-
-      def rescue_validation_errors: (?RBS::TypeName? type_name) { () -> void } -> void
-    end
-  end
-end

data/sig/steep/source.rbs

@@ -1,102 +0,0 @@
-module Steep
-  class Source
-    extend NodeHelper
-
-    attr_reader buffer: RBS::Buffer
-
-    attr_reader path: Pathname
-
-    attr_reader node: Parser::AST::Node?
-
-    attr_reader mapping: Hash[Parser::AST::Node, Array[AST::Annotation::t]]
-
-    attr_reader comments: Array[Parser::Source::Comment]
-
-    def initialize: (
-      buffer: RBS::Buffer,
-      path: Pathname,
-      node: Parser::AST::Node?,
-      mapping: Hash[Parser::AST::Node, Array[AST::Annotation::t]],
-      comments: Array[Parser::Source::Comment]
-    ) -> void
-
-    class Builder < ::Parser::Builders::Default
-      def string_value: (untyped token) -> untyped
-    end
-
-    def self.new_parser: () -> Parser::Ruby32
-
-    def self.parse: (String source_code, path: Pathname, factory: AST::Types::Factory) -> Source
-
-    def self.construct_mapping: (
-      node: Parser::AST::Node,
-      annotations: Array[AST::Annotation::t],
-      mapping: Hash[Parser::AST::Node, Array[AST::Annotation::t]],
-      ?line_range: Range[Integer]?
-    ) -> void
-
-    def self.map_child_node: (Parser::AST::Node node, ?Symbol? type, ?skip: Set[Parser::AST::Node]?) { (Parser::AST::Node) -> Parser::AST::Node } -> Parser::AST::Node
-
-    def annotations: (block: Parser::AST::Node, factory: AST::Types::Factory, context: RBS::Resolver::context) -> AST::Annotation::Collection
-
-    def each_annotation: () { ([Parser::AST::Node, Array[AST::Annotation::t]]) -> void } -> void
-                       | () -> Enumerator[[Parser::AST::Node, Array[AST::Annotation::t]], void]
-
-    # Yields all heredoc node and its parents under `node` (or `self.node`)
-    #
-    # Yields arrays, inner node first, outer node last -- `[heredoc_node, *outer_node, node]`.
-    #
-    def each_heredoc_node: (?Parser::AST::Node? node, ?Array[Parser::AST::Node] parents) { ([Array[Parser::AST::Node], Parser::Source::Map & Parser::AST::_Heredoc]) -> void } -> void
-                         | (?Parser::AST::Node? node, ?Array[Parser::AST::Node] parents) -> Enumerator[[Array[Parser::AST::Node], Parser::Source::Map & Parser::AST::_Heredoc], void]
-
-    # Returns array of nodes that is located inside heredoc
-    #
-    # ```ruby
-    # content = <<TEXT
-    # #{this or this}
-    # TEXT
-    # ```
-    #
-    # Returns arrays, inner node first, outer node last -- `[*nodes, heredoc_node]`.
-    #
-    def find_heredoc_nodes: (Integer line, Integer column, Integer position) -> Array[Parser::AST::Node]?
-
-    # Returns a node and it's outer nodes
-    #
-    def find_nodes_loc: (Parser::AST::Node node, Integer position, Array[Parser::AST::Node] parents) -> Array[Parser::AST::Node]?
-
-    # Returns a node and it's outer nodes
-    def find_nodes: (line: Integer, column: Integer) -> ::Array[Parser::AST::Node]?
-
-    # Returns comment at the given position
-    #
-    # Note that a cursor position that is at the beginning of a comment returns `nil`.
-    #
-    # ```ruby
-    # .#. .H.e.l.l.o.
-    # ^                   => Returns nil
-    #   ^                 => Returns the comment
-    #               ^     => Returns the comment
-    # ```
-    #
-    def find_comment: (line: Integer, column: Integer) -> Parser::Source::Comment?
-
-    def self.delete_defs: (Parser::AST::Node node, Set[Parser::AST::Node] allow_list) -> Parser::AST::Node
-
-    def without_unrelated_defs: (line: Integer, column: Integer) -> Source
-
-    type type_comment = AST::Node::TypeAssertion | AST::Node::TypeApplication
-
-    def self.insert_type_node: (Parser::AST::Node node, Hash[Integer, type_comment]) -> Parser::AST::Node
-
-    def self.adjust_location: (Parser::AST::Node) -> Parser::AST::Node
-
-    def self.assertion_node: (Parser::AST::Node, AST::Node::TypeAssertion) -> Parser::AST::Node
-
-    def self.type_application_node: (Parser::AST::Node, AST::Node::TypeApplication) -> Parser::AST::Node
-
-    # Returns a line of `selector` of `send` node, that can be used to look up a TypeApplication comment
-    #
-    def self.sendish_node?: (Parser::AST::Node) -> Integer?
-  end
-end

data/sig/steep/subtyping/cache.rbs

@@ -1,17 +0,0 @@
-module Steep
-  module Subtyping
-    class Cache
-      attr_reader subtypes: untyped
-
-      def initialize: () -> void
-
-      def subtype: (untyped relation, untyped self_type, untyped instance_type, untyped class_type, untyped bounds) -> untyped
-
-      def []: (untyped relation, untyped self_type, untyped instance_type, untyped class_type, untyped bounds) -> untyped
-
-      def []=: (untyped relation, untyped self_type, untyped instance_type, untyped class_type, untyped bounds, untyped value) -> untyped
-
-      def no_subtype_cache?: () -> untyped
-    end
-  end
-end