steep 1.6.0 → 1.7.1

data/sig/steep/diagnostic/signature.rbs

@@ -1,252 +0,0 @@
-module Steep
-  module Diagnostic
-    module Signature
-      type location = RBS::Location[untyped, untyped]
-
-      class Base
-        include Helper
-
-        attr_reader location: location?
-
-        def initialize: (location: location?) -> void
-
-        def header_line: () -> String
-
-        def detail_lines: () -> String?
-
-        def diagnostic_code: () -> String
-
-        def path: () -> Pathname?
-      end
-
-      class SyntaxError < Base
-        attr_reader exception: RBS::ParsingError
-
-        def initialize: (RBS::ParsingError exception, location: location?) -> void
-
-        def self.parser_syntax_error_message: (RBS::ParsingError exception) -> String
-
-        def header_line: () -> String
-      end
-
-      class DuplicatedDeclaration < Base
-        attr_reader type_name: RBS::TypeName | Symbol
-
-        def initialize: (type_name: RBS::TypeName | Symbol, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class UnknownTypeName < Base
-        attr_reader name: RBS::TypeName
-
-        def initialize: (name: RBS::TypeName, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class InvalidTypeApplication < Base
-        attr_reader name: RBS::TypeName
-
-        attr_reader args: Array[AST::Types::t]
-
-        attr_reader params: Array[Symbol]
-
-        def initialize: (name: RBS::TypeName, args: Array[AST::Types::t], params: Array[Symbol], location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class UnsatisfiableTypeApplication < Base
-        attr_reader type_name: RBS::TypeName
-
-        attr_reader type_arg: AST::Types::t
-
-        attr_reader type_param: Interface::TypeParam
-
-        def initialize: (type_name: RBS::TypeName, type_arg: AST::Types::t, type_param: Interface::TypeParam, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class InvalidMethodOverload < Base
-        attr_reader class_name: RBS::TypeName
-
-        attr_reader method_name: Symbol
-
-        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class UnknownMethodAlias < Base
-        attr_reader class_name: RBS::TypeName
-
-        attr_reader method_name: Symbol
-
-        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class DuplicatedMethodDefinition < Base
-        attr_reader class_name: RBS::TypeName
-
-        attr_reader method_name: Symbol
-
-        def initialize: (class_name: RBS::TypeName, method_name: Symbol, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class RecursiveAlias < Base
-        attr_reader class_name: RBS::TypeName
-
-        attr_reader names: Array[Symbol]
-
-        def initialize: (class_name: RBS::TypeName, names: Array[Symbol], location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class RecursiveAncestor < Base
-        attr_reader ancestors: Array[RBS::Definition::Ancestor::t]
-
-        def initialize: (ancestors: Array[RBS::Definition::Ancestor::t], location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class SuperclassMismatch < Base
-        attr_reader name: RBS::TypeName
-
-        def initialize: (name: RBS::TypeName, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class GenericParameterMismatch < Base
-        attr_reader name: RBS::TypeName
-
-        def initialize: (name: RBS::TypeName, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class InvalidVarianceAnnotation < Base
-        attr_reader name: RBS::TypeName
-
-        attr_reader param: RBS::AST::TypeParam
-
-        def initialize: (name: RBS::TypeName, param: RBS::AST::TypeParam, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class ModuleSelfTypeError < Base
-        attr_reader name: RBS::TypeName
-
-        attr_reader ancestor: RBS::Definition::Ancestor::Instance
-
-        attr_reader relation: Subtyping::Relation[AST::Types::t]
-
-        def initialize: (name: RBS::TypeName, ancestor: RBS::Definition::Ancestor::Instance, relation: Subtyping::Relation[AST::Types::t], location: location?) -> 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
-
-        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
-
-
-      class InstanceVariableTypeError < Base
-        attr_reader name: Symbol
-
-        attr_reader var_type: AST::Types::t
-
-        attr_reader parent_type: AST::Types::t
-
-        def initialize: (name: Symbol, location: location?, var_type: AST::Types::t, parent_type: AST::Types::t) -> void
-
-        def header_line: () -> String
-      end
-
-      class MixinClassError < Base
-        attr_reader member: RBS::AST::Members::Include | RBS::AST::Members::Extend | RBS::AST::Members::Prepend
-
-        attr_reader type_name: RBS::TypeName
-
-        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
-
-        private
-
-        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: String
-
-        def initialize: (message: String, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class RecursiveTypeAlias < Base
-        attr_reader alias_names: Array[RBS::TypeName]
-
-        def initialize: (alias_names: Array[RBS::TypeName], location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class NonregularTypeAlias < Base
-        attr_reader type_name: RBS::TypeName
-
-        attr_reader nonregular_type: AST::Types::t
-
-        def initialize: (type_name: RBS::TypeName, nonregular_type: AST::Types::t, location: location?) -> void
-
-        def header_line: () -> String
-      end
-
-      class InconsistentClassModuleAliasError < Base
-        attr_reader decl: RBS::AST::Declarations::ModuleAlias | RBS::AST::Declarations::ClassAlias
-
-        def initialize: (decl: RBS::AST::Declarations::ModuleAlias | RBS::AST::Declarations::ClassAlias) -> void
-
-        def header_line: () -> String
-      end
-
-      class CyclicClassAliasDefinitionError < Base
-        attr_reader decl: RBS::AST::Declarations::ModuleAlias | RBS::AST::Declarations::ClassAlias
-
-        def initialize: (decl: RBS::AST::Declarations::ModuleAlias | RBS::AST::Declarations::ClassAlias) -> void
-
-        def header_line: () -> String
-      end
-
-      def self.from_rbs_error: (RBS::BaseError error, factory: AST::Types::Factory) -> Base
-    end
-  end
-end

data/sig/steep/drivers/annotations.rbs

@@ -1,17 +0,0 @@
-module Steep
-  module Drivers
-    class Annotations
-      attr_reader command_line_patterns: Array[String]
-
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/check.rbs

@@ -1,33 +0,0 @@
-module Steep
-  module Drivers
-    class Check
-      module LSP = LanguageServer::Protocol
-
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_reader command_line_patterns: Array[String]
-
-      attr_accessor with_expectations_path: Pathname?
-
-      attr_accessor save_expectations_path: Pathname?
-
-      attr_accessor severity_level: Diagnostic::LSPFormatter::severity
-
-      attr_reader jobs_option: Utils::JobsOption
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-
-      def print_expectations: (project: Project, all_files: Array[Pathname], expectations_path: Pathname, notifications: Array[untyped]) -> Integer
-
-      def save_expectations: (project: Project, all_files: Array[Pathname], expectations_path: Pathname, notifications: Array[untyped]) -> Integer
-
-      def print_result: (project: Project, notifications: Array[untyped]) -> Integer
-    end
-  end
-end

data/sig/steep/drivers/checkfile.rbs

@@ -1,27 +0,0 @@
-module Steep
-  module Drivers
-    class Checkfile
-      module LSP = LanguageServer::Protocol
-
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_reader command_line_args: Array[String]
-
-      include Utils::DriverHelper
-
-      attr_accessor all_rbs: bool
-
-      attr_accessor all_ruby: bool
-
-      attr_reader stdin_input: Hash[Pathname, String]
-
-      attr_reader jobs_option: Utils::JobsOption
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/diagnostic_printer.rbs

@@ -1,25 +0,0 @@
-module Steep
-  module Drivers
-    class DiagnosticPrinter
-      module LSP = LanguageServer::Protocol
-
-      attr_reader stdout: IO
-
-      attr_reader buffer: RBS::Buffer
-
-      def initialize: (stdout: IO, buffer: RBS::Buffer) -> void
-
-      def path: () -> Pathname
-
-      def color_severity: (String string, severity: String) -> String
-
-      def severity_message: (String) -> String
-
-      def location: (untyped diagnostic) -> String
-
-      def print: (Hash[Symbol, untyped] diagnostic, ?prefix: ::String, ?source: bool) -> void
-
-      def print_source_line: (untyped diagnostic, ?prefix: ::String) -> void
-    end
-  end
-end

data/sig/steep/drivers/init.rbs

@@ -1,19 +0,0 @@
-module Steep
-  module Drivers
-    class Init
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_accessor force_write: bool
-
-      include Utils::DriverHelper
-
-      TEMPLATE: String
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/langserver.rbs

@@ -1,36 +0,0 @@
-module Steep
-  module Drivers
-    class Langserver
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_reader stdin: IO
-
-      attr_reader write_mutex: Thread::Mutex
-
-      attr_reader type_check_queue: Thread::Queue
-
-      attr_reader type_check_thread: Thread
-
-      attr_reader jobs_option: Utils::JobsOption
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: untyped, stderr: untyped, stdin: untyped) -> void
-
-      @writer: LanguageServer::Protocol::Transport::Io::Writer?
-
-      def writer: () -> LanguageServer::Protocol::Transport::Io::Writer
-
-      @reader: LanguageServer::Protocol::Transport::Io::Reader?
-
-      def reader: () -> LanguageServer::Protocol::Transport::Io::Reader
-
-      @project: Project
-      def project: () -> Project
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/print_project.rbs

@@ -1,15 +0,0 @@
-module Steep
-  module Drivers
-    class PrintProject
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/stats.rbs

@@ -1,47 +0,0 @@
-module Steep
-  module Drivers
-    class Stats
-      type file_stats = {
-        type: String,
-        target: String,
-        path: String,
-        type: String,
-        typed_calls: Integer,
-        untyped_calls: Integer,
-        total_calls: Integer
-      }
-
-      class CSVPrinter
-        attr_reader io: IO
-
-        def initialize: (io: IO) -> void
-
-        def print: (Array[file_stats] stats_result) -> void
-      end
-
-      class TablePrinter
-        attr_reader io: IO
-
-        def initialize: (io: IO) -> void
-
-        def print: (Array[file_stats] stats_result) -> void
-      end
-
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_reader command_line_patterns: Array[String]
-
-      attr_accessor format: "csv" | "table" | nil
-
-      attr_reader jobs_option: Utils::JobsOption
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> 0
-    end
-  end
-end

data/sig/steep/drivers/utils/driver_helper.rbs

@@ -1,25 +0,0 @@
-use LanguageServer::Protocol::Transport::Io::*
-
-module Steep
-  module Drivers
-    module Utils
-      module DriverHelper
-        attr_accessor steepfile: Pathname?
-
-        def load_config: (?path: Pathname) -> Project
-
-        def request_id: () -> String
-
-        def wait_for_response_id: (reader: Reader, id: String, ?unknown_responses: unknown_message_action) -> untyped
-
-        def shutdown_exit: (writer: Writer, reader: Reader) -> void
-
-        type unknown_message_action = :ignore | :log | :raise
-
-        def wait_for_message: (reader: Reader, ?unknown_messages: unknown_message_action) { (untyped) -> bool } -> untyped
-
-        def keep_diagnostic?: (untyped diagnostic, severity_level: Diagnostic::LSPFormatter::severity) -> bool
-      end
-    end
-  end
-end

data/sig/steep/drivers/utils/jobs_option.rbs

@@ -1,19 +0,0 @@
-module Steep
-  module Drivers
-    module Utils
-      class JobsOption
-        attr_accessor jobs_count: Integer?
-
-        attr_accessor steep_command: String?
-
-        attr_reader jobs_count_modifier: Integer
-
-        def initialize: (?jobs_count_modifier: Integer) -> void
-
-        def default_jobs_count: () -> Integer
-
-        def jobs_count_value: () -> Integer
-      end
-    end
-  end
-end

data/sig/steep/drivers/validate.rbs

@@ -1,15 +0,0 @@
-module Steep
-  module Drivers
-    class Validate
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      include Utils::DriverHelper
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/vendor.rbs

@@ -1,19 +0,0 @@
-module Steep
-  module Drivers
-    class Vendor
-      attr_reader stdout: untyped
-
-      attr_reader stderr: untyped
-
-      attr_reader stdin: untyped
-
-      attr_accessor vendor_dir: untyped
-
-      attr_accessor clean_before: untyped
-
-      def initialize: (stdout: untyped, stderr: untyped, stdin: untyped) -> void
-
-      def run: () -> 0
-    end
-  end
-end

data/sig/steep/drivers/watch.rbs

@@ -1,27 +0,0 @@
-module Steep
-  module Drivers
-    class Watch
-      attr_reader dirs: Array[Pathname]
-
-      attr_reader stdout: IO
-
-      attr_reader stderr: IO
-
-      attr_reader queue: Thread::Queue
-
-      attr_accessor severity_level: Diagnostic::LSPFormatter::severity
-
-      attr_reader jobs_option: Utils::JobsOption
-
-      include Utils::DriverHelper
-
-      module LSP = LanguageServer::Protocol
-
-      def initialize: (stdout: IO, stderr: IO) -> void
-
-      def watching?: (Pathname changed_path, files: Set[Pathname], dirs: Set[Pathname]) -> bool
-
-      def run: () -> Integer
-    end
-  end
-end

data/sig/steep/drivers/worker.rbs

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

data/sig/steep/equatable.rbs

@@ -1,11 +0,0 @@
-module Steep
-  # Defines equality and `#hash` based on instance variables
-  #
-  module Equatable
-    def ==: (untyped other) -> bool
-
-    def eql?: (untyped other) -> bool
-
-    def hash: () -> Integer
-  end
-end