steep 1.1.1 → 1.2.0.pre.1

data/sig/steep/drivers/annotations.rbs

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

data/sig/steep/drivers/check.rbs

@@ -0,0 +1,33 @@
+module Steep
+  module Drivers
+    class Check
+      LSP: untyped
+
+      attr_reader stdout: untyped
+
+      attr_reader stderr: untyped
+
+      attr_reader command_line_patterns: untyped
+
+      attr_accessor with_expectations_path: untyped
+
+      attr_accessor save_expectations_path: untyped
+
+      attr_accessor severity_level: untyped
+
+      include Utils::DriverHelper
+
+      include Utils::JobsCount
+
+      def initialize: (stdout: untyped, stderr: untyped) -> void
+
+      def run: () -> untyped
+
+      def print_expectations: (project: untyped, all_files: untyped, expectations_path: untyped, notifications: untyped) -> untyped
+
+      def save_expectations: (project: untyped, all_files: untyped, expectations_path: untyped, notifications: untyped) -> 0
+
+      def print_result: (project: untyped, notifications: untyped) -> (0 | 1)
+    end
+  end
+end

data/sig/steep/drivers/checkfile.rbs

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

data/sig/steep/drivers/diagnostic_printer.rbs

@@ -0,0 +1,25 @@
+module Steep
+  module Drivers
+    class DiagnosticPrinter
+      LSP: untyped
+
+      attr_reader stdout: untyped
+
+      attr_reader buffer: untyped
+
+      def initialize: (stdout: untyped, buffer: untyped) -> void
+
+      def path: () -> untyped
+
+      def color_severity: (untyped string, severity: untyped) -> untyped
+
+      def severity_message: (untyped severity) -> untyped
+
+      def location: (untyped diagnostic) -> untyped
+
+      def print: (untyped diagnostic, ?prefix: ::String, ?source: bool) -> untyped
+
+      def print_source_line: (untyped diagnostic, ?prefix: ::String) -> untyped
+    end
+  end
+end

data/sig/steep/drivers/init.rbs

@@ -0,0 +1,19 @@
+module Steep
+  module Drivers
+    class Init
+      attr_reader stdout: untyped
+
+      attr_reader stderr: untyped
+
+      attr_accessor force_write: untyped
+
+      include Utils::DriverHelper
+
+      TEMPLATE: "# D = Steep::Diagnostic\n#\n# target :lib do\n#   signature \"sig\"\n#\n#   check \"lib\"                       # Directory name\n#   check \"Gemfile\"                   # File name\n#   check \"app/models/**/*.rb\"        # Glob\n#   # ignore \"lib/templates/*.rb\"\n#\n#   # library \"pathname\", \"set\"       # Standard libraries\n#   # library \"strong_json\"           # Gems\n#   \n#   # configure_code_diagnostics(D::Ruby.strict)       # `strict` diagnostics setting\n#   # configure_code_diagnostics(D::Ruby.lenient)      # `lenient` diagnostics setting\n#   # configure_code_diagnostics do |hash|             # You can setup everything yourself\n#   #   hash[D::Ruby::NoMethod] = :information\n#   # end\n# end\n\n# target :test do\n#   signature \"sig\", \"sig-private\"\n#\n#   check \"test\"\n#\n#   # library \"pathname\", \"set\"       # Standard libraries\n# end\n"
+
+      def initialize: (stdout: untyped, stderr: untyped) -> void
+
+      def run: () -> (1 | 0)
+    end
+  end
+end

data/sig/steep/drivers/langserver.rbs

@@ -0,0 +1,35 @@
+module Steep
+  module Drivers
+    class Langserver
+      attr_reader stdout: untyped
+
+      attr_reader stderr: untyped
+
+      attr_reader stdin: untyped
+
+      attr_reader latest_update_version: untyped
+
+      attr_reader write_mutex: untyped
+
+      attr_reader type_check_queue: untyped
+
+      attr_reader type_check_thread: untyped
+
+      include Utils::DriverHelper
+
+      include Utils::JobsCount
+
+      TypeCheckRequest: untyped
+
+      def initialize: (stdout: untyped, stderr: untyped, stdin: untyped) -> void
+
+      def writer: () -> untyped
+
+      def reader: () -> untyped
+
+      def project: () -> untyped
+
+      def run: () -> 0
+    end
+  end
+end

data/sig/steep/drivers/print_project.rbs

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

data/sig/steep/drivers/stats.rbs

@@ -0,0 +1,37 @@
+module Steep
+  module Drivers
+    class Stats
+      class CSVPrinter
+        attr_reader io: untyped
+
+        def initialize: (io: untyped) -> void
+
+        def print: (untyped stats_result) -> untyped
+      end
+
+      class TablePrinter
+        attr_reader io: untyped
+
+        def initialize: (io: untyped) -> void
+
+        def print: (untyped stats_result) -> untyped
+      end
+
+      attr_reader stdout: untyped
+
+      attr_reader stderr: untyped
+
+      attr_reader command_line_patterns: untyped
+
+      attr_accessor format: untyped
+
+      include Utils::DriverHelper
+
+      include Utils::JobsCount
+
+      def initialize: (stdout: untyped, stderr: untyped) -> void
+
+      def run: () -> 0
+    end
+  end
+end

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

@@ -0,0 +1,23 @@
+module Steep
+  module Drivers
+    module Utils
+      module DriverHelper
+        attr_accessor steepfile: Pathname?
+
+        def load_config: (?path: Pathname) -> Project
+
+        def type_check: (Project project) -> void
+
+        def request_id: () -> String
+
+        def wait_for_response_id: (reader: untyped, id: untyped, ?unknown_responses: ::Symbol) -> untyped
+
+        def shutdown_exit: (writer: untyped, reader: untyped) -> untyped
+
+        def wait_for_message: (reader: untyped, ?unknown_messages: ::Symbol) { (untyped) -> untyped } -> untyped
+
+        def keep_diagnostic?: (untyped diagnostic) -> bool
+      end
+    end
+  end
+end

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

@@ -0,0 +1,11 @@
+module Steep
+  module Drivers
+    module Utils
+      module JobsCount
+        attr_accessor jobs_count: Integer
+
+        attr_accessor steep_command: String
+      end
+    end
+  end
+end

data/sig/steep/drivers/validate.rbs

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

data/sig/steep/drivers/vendor.rbs

@@ -0,0 +1,19 @@
+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

@@ -0,0 +1,27 @@
+module Steep
+  module Drivers
+    class Watch
+      attr_reader dirs: untyped
+
+      attr_reader stdout: untyped
+
+      attr_reader stderr: untyped
+
+      attr_reader queue: untyped
+
+      attr_accessor severity_level: untyped
+
+      include Utils::DriverHelper
+
+      include Utils::JobsCount
+
+      LSP: untyped
+
+      def initialize: (stdout: untyped, stderr: untyped) -> void
+
+      def watching?: (untyped changed_path, files: untyped, dirs: untyped) -> untyped
+
+      def run: () -> (1 | 0)
+    end
+  end
+end

data/sig/steep/drivers/worker.rbs

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

data/sig/steep/equatable.rbs

@@ -0,0 +1,11 @@
+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

data/sig/steep/index/rbs_index.rbs

@@ -0,0 +1,91 @@
+module Steep
+  module Index
+    class RBSIndex
+      class TypeEntry
+        attr_reader type_name: untyped
+
+        attr_reader declarations: untyped
+
+        attr_reader references: untyped
+
+        def initialize: (type_name: untyped) -> void
+
+        def add_declaration: (untyped decl) -> untyped
+
+        def add_reference: (untyped ref) -> untyped
+      end
+
+      class MethodEntry
+        attr_reader method_name: untyped
+
+        attr_reader declarations: untyped
+
+        attr_reader references: untyped
+
+        def initialize: (method_name: untyped) -> void
+
+        def add_declaration: (untyped decl) -> untyped
+      end
+
+      class ConstantEntry
+        attr_reader const_name: untyped
+
+        attr_reader declarations: untyped
+
+        def initialize: (const_name: untyped) -> void
+
+        def add_declaration: (untyped decl) -> untyped
+      end
+
+      class GlobalEntry
+        attr_reader global_name: untyped
+
+        attr_reader declarations: untyped
+
+        def initialize: (global_name: untyped) -> void
+
+        def add_declaration: (untyped decl) -> untyped
+      end
+
+      attr_reader type_index: untyped
+
+      attr_reader method_index: untyped
+
+      attr_reader const_index: untyped
+
+      attr_reader global_index: untyped
+
+      def initialize: () -> void
+
+      def entry: (?type_name: untyped?, ?method_name: untyped?, ?const_name: untyped?, ?global_name: untyped?) -> untyped
+
+      def each_entry: () { () -> untyped } -> untyped
+
+      def add_type_declaration: (untyped type_name, untyped declaration) -> untyped
+
+      def add_method_declaration: (untyped method_name, untyped member) -> untyped
+
+      def add_constant_declaration: (untyped const_name, untyped decl) -> untyped
+
+      def add_global_declaration: (untyped global_name, untyped decl) -> untyped
+
+      def each_declaration: (?type_name: untyped?, ?method_name: untyped?, ?const_name: untyped?, ?global_name: untyped?) { () -> untyped } -> untyped
+
+      def add_type_reference: (untyped type_name, untyped ref) -> untyped
+
+      def each_reference: (?type_name: untyped?) { () -> untyped } -> untyped
+
+      class Builder
+        attr_reader index: untyped
+
+        def initialize: (index: untyped) -> void
+
+        def member: (untyped type_name, untyped member) -> untyped
+
+        def type_reference: (untyped `type`, from: untyped) -> untyped
+
+        def env: (untyped env) -> untyped
+      end
+    end
+  end
+end

data/sig/steep/index/signature_symbol_provider.rbs

@@ -0,0 +1,29 @@
+module Steep
+  module Index
+    class SignatureSymbolProvider
+      LSP: untyped
+
+      SymbolInformation: untyped
+
+      attr_reader project: untyped
+
+      attr_reader indexes: untyped
+
+      attr_reader assignment: untyped
+
+      def initialize: (project: untyped, assignment: untyped) -> void
+
+      def self.test_type_name: (untyped query, untyped type_name) -> untyped
+
+      alias self.test_const_name self.test_type_name
+
+      alias self.test_global_name self.test_type_name
+
+      def self.test_method_name: (untyped query, untyped method_name) -> untyped
+
+      def assigned?: (untyped path) -> untyped
+
+      def query_symbol: (untyped query) -> untyped
+    end
+  end
+end

data/sig/steep/index/source_index.rbs

@@ -0,0 +1,63 @@
+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

@@ -3,9 +3,11 @@ module Steep
     class Block
       attr_reader type: Function
 
+      attr_reader self_type: AST::Types::t?
+
       attr_reader optional: bool
 
-      def initialize: (type: Function, optional: bool) -> void
+      def initialize: (type: Function, self_type: AST::Types::t?, optional: bool) -> void
 
       def optional?: () -> bool