steep 1.7.0.dev.4 → 1.7.0

data/sig/shims/language-server_protocol.rbs

@@ -1,450 +0,0 @@
-module LanguageServer
-  module Protocol
-    module Transport
-      module Io
-        class Writer
-          def initialize: (IO) -> void
-
-          def write: (**untyped) -> void
-                   | (Hash[Symbol, untyped]) -> void
-        end
-
-        class Reader
-          def initialize: (IO) -> void
-
-          def read: () { (untyped) -> void } -> bot
-        end
-      end
-    end
-
-    module Constant
-      module CompletionItemKind
-        type t = Integer
-
-        TEXT: Integer
-        METHOD: Integer
-        FUNCTION: Integer
-        CONSTRUCTOR: Integer
-        FIELD: Integer
-        VARIABLE: Integer
-        CLASS: Integer
-        INTERFACE: Integer
-        MODULE: Integer
-        PROPERTY: Integer
-        UNIT: Integer
-        VALUE: Integer
-        ENUM: Integer
-        KEYWORD: Integer
-        SNIPPET: Integer
-        COLOR: Integer
-        FILE: Integer
-        REFERENCE: Integer
-        FOLDER: Integer
-        ENUMMEMBER: Integer
-        CONSTANT: Integer
-        STRUCT: Integer
-        EVENT: Integer
-        OPERATOR: Integer
-        TYPEPARAMETER: Integer
-      end
-
-      module CompletionItemTag
-        type t = Integer
-
-        Deprecated: Integer
-      end
-
-      module InsertTextFormat
-        type t = Integer
-
-        PLAIN_TEXT: Integer
-
-        SNIPPET: Integer
-      end
-
-      module InsertTextMode
-        type t = Integer
-
-        AS_IS: Integer
-
-        ADJUST_INDENTATION: Integer
-      end
-
-      module MarkupKind
-        type t = "plaintext" | "markdown"
-
-        PLAINTEXT: "plaintext"
-
-        MARKDOWN: "markdown"
-      end
-
-      class MessageType
-        type t = 1 | 2 | 3 | 4
-
-        ERROR: 1
-
-        WARNING: 2
-
-        INFO: 3
-
-        LOG: 4
-      end
-
-      module DiagnosticSeverity
-        type t = 1 | 2 | 3 | 4
-
-        ERROR: 1
-
-        WARNING: 2
-
-        INFORMATION: 3
-
-        HINT: 4
-      end
-
-      module DiagnosticTag
-        type t = 1 | 2
-
-        UNNECESSARY: 1
-
-        DEPRECATED: 2
-      end
-
-      module SymbolKind
-        FILE: 1
-        MODULE: 2
-        NAMESPACE: 3
-        PACKAGE: 4
-        CLASS: 5
-        METHOD: 6
-        PROPERTY: 7
-        FIELD: 8
-        CONSTRUCTOR: 9
-        ENUM: 10
-        INTERFACE: 11
-        FUNCTION: 12
-        VARIABLE: 13
-        CONSTANT: 14
-        STRING: 15
-        NUMBER: 16
-        BOOLEAN: 17
-        ARRAY: 18
-        OBJECT: 19
-        KEY: 20
-        NULL: 21
-        ENUM_MEMBER: 22
-        STRUCT: 23
-        EVENT: 24
-        OPERATOR: 25
-        TYPE_PARAMETER: 26
-
-        type t = 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26
-      end
-    end
-
-    module Interface
-      interface _Base
-        def attributes: () -> Hash[Symbol, untyped]
-
-        alias to_hash attributes
-
-        def to_json: () -> String
-      end
-
-      class Position
-        type json = { line: Integer, character: Integer }
-
-        include _Base
-
-        # 0-origin line number
-        attr_reader line: Integer
-
-        # 0-origin character position (== cursor position)
-        attr_reader character: Integer
-
-        def initialize: (line: Integer, character: Integer) -> void
-                      | (Hash[Symbol, untyped]) -> void
-      end
-
-      class Range
-        include _Base
-
-        type json = {
-          start: Position::json,
-          end: Position::json
-        }
-
-        attr_reader start: Position
-
-        attr_reader end: Position
-
-        def initialize: (start: Position, end: Position) -> void
-                      | (Hash[Symbol, untyped]) -> void
-      end
-
-      class Location
-        include _Base
-
-        type json = { uri: String, range: Range::json }
-
-        attr_reader uri: String
-
-        attr_reader range: Range
-
-        def initialize: (uri: String, range: Range) -> void
-      end
-
-      class MarkupContent
-        include _Base
-
-        attr_reader kind: Constant::MarkupKind::t
-
-        attr_reader value: String
-
-        def initialize: (kind: Constant::MarkupKind::t, value: String) -> void
-      end
-
-      class TextEdit
-        include _Base
-
-        attr_reader range: Range
-
-        attr_reader new_text: String
-
-        def initialize: (range: Range, new_text: String) -> void
-      end
-
-      class InsertReplaceEdit
-        include _Base
-
-        attr_reader new_text: String
-
-        attr_reader insert: Range
-
-        attr_reader replace: Range
-
-        def initialize: (new_text: String, insert: Range, replace: Range) -> void
-      end
-
-      class Command
-        include _Base
-
-        attr_reader title: String
-
-        attr_reader command: String
-
-        attr_reader arguments: Array[untyped]?
-
-        def initialize: (title: String, command: String, ?arguments: Array[untyped]?) -> void
-      end
-
-      class Hover
-        include _Base
-
-        attr_reader contents: MarkupContent
-
-        attr_reader range: Range
-
-        def initialize: (contents: MarkupContent, range: Range) -> void
-      end
-
-      class CompletionList
-        include _Base
-
-        attr_reader is_incomplete: bool
-
-        attr_reader items: Array[CompletionItem]
-
-        def initialize: (items: Array[CompletionItem], is_incomplete: bool) -> void
-      end
-
-      class CompletionItem
-        include _Base
-
-        attr_reader label: String
-
-        attr_reader label_details: CompletionItemLabelDetails?
-
-        attr_reader kind: Constant::CompletionItemKind::t?
-
-        attr_reader tags: Array[Constant::CompletionItemTag::t]?
-
-        attr_reader detail: String?
-
-        attr_reader documentation: MarkupContent?
-
-        attr_reader preselect: bool?
-
-        attr_reader sort_text: String?
-
-        attr_reader filter_text: String?
-
-        attr_reader insert_text: String?
-
-        attr_reader insert_text_format: Constant::InsertTextFormat::t?
-
-        attr_reader insert_text_mode: Constant::InsertTextMode::t?
-
-        attr_reader text_edit: TextEdit | InsertReplaceEdit | nil
-
-        attr_reader text_edit_text: String?
-
-        attr_reader additional_text_edits: Array[TextEdit]?
-
-        attr_reader commit_characters: Array[String]?
-
-        attr_reader command: Command?
-
-        attr_reader data: untyped?
-
-        def initialize:(
-          label: String,
-          ?label_details: CompletionItemLabelDetails?,
-          ?kind: Constant::CompletionItemKind::t?,
-          ?tags: Array[Constant::CompletionItemTag::t]?,
-          ?detail: String?,
-          ?documentation: MarkupContent?,
-          ?preselect: bool?,
-          ?sort_text: String?,
-          ?filter_text: String?,
-          ?insert_text: String?,
-          ?insert_text_format: Constant::InsertTextFormat::t?,
-          ?insert_text_mode: Constant::InsertTextMode::t?,
-          ?text_edit: TextEdit | InsertReplaceEdit | nil,
-          ?text_edit_text: String?,
-          ?additional_text_edits: Array[TextEdit]?,
-          ?commit_characters: Array[String]?,
-          ?command: Command?,
-          ?data: untyped?
-        ) -> void
-      end
-
-      class CompletionItemLabelDetails
-        include _Base
-
-        attr_reader detail: String?
-
-        attr_reader description: String?
-
-        def initialize: (?detail: String?, ?description: String?) -> void
-      end
-
-      class SignatureInformation
-        include _Base
-
-        attr_reader label: String
-
-        attr_reader documentation: MarkupContent?
-
-        attr_reader parameters: Array[ParameterInformation]?
-
-        attr_reader active_parameter: Integer?
-
-        def initialize: (label: String, ?documentation: MarkupContent?, ?parameters: Array[ParameterInformation]?, ?active_parameter: Integer?) -> void
-      end
-
-      class ParameterInformation
-        include _Base
-
-        attr_reader label: String | [Integer, Integer]
-
-        attr_reader documentation: MarkupContent?
-
-        def initialize: (label: String | [Integer, Integer], ?documentation: MarkupContent) -> void
-      end
-
-      class SignatureHelp
-        include _Base
-
-        attr_reader signatures: Array[SignatureInformation]
-
-        attr_reader active_signature: Integer?
-
-        attr_reader active_parameter: Integer?
-
-        def initialize: (signatures: Array[SignatureInformation], ?active_signature: Integer?, ?active_parameter: Integer?) -> void
-      end
-
-      class PublishDiagnosticsParams
-        include _Base
-
-        attr_reader uri: String
-
-        attr_reader version: Integer?
-
-        attr_reader diagnostics: Array[Diagnostic]
-
-        def initialize: (uri: String, ?version: Integer?, diagnostics: Array[Diagnostic]) -> void
-      end
-
-      class Diagnostic
-        type json = {
-          range: Range::json,
-          severity: Constant::DiagnosticSeverity::t?,
-          code: Integer | String | nil,
-          codeDescription: CodeDescription::json?,
-          source: String?,
-          message: String,
-          tags: Array[Constant::DiagnosticTag::t]?,
-          relatedInformation: RelatedInformation::json?,
-          data: untyped?
-        }
-
-        attr_reader range: Range
-
-        attr_reader severity: Constant::DiagnosticSeverity::t?
-
-        attr_reader code: Integer | String | nil
-
-        attr_reader code_description: CodeDescription?
-
-        attr_reader source: String?
-
-        attr_reader message: String
-
-        attr_reader tags: Array[Constant::DiagnosticTag::t]?
-
-        attr_reader related_information: RelatedInformation?
-
-        attr_reader data: untyped?
-
-        def initialize: (
-          range: Range,
-          ?severity: Constant::DiagnosticSeverity::t?,
-          ?code: Integer | String | nil,
-          ?code_description: CodeDescription?,
-          ?source: String?,
-          message: String,
-          ?tags: Array[Constant::DiagnosticTag::t]?,
-          ?related_information: RelatedInformation?,
-          ?data: untyped
-        ) -> void
-      end
-
-      class RelatedInformation
-        include _Base
-
-        type json = {
-          location: Location::json,
-          message: String
-        }
-
-        attr_reader location: Location
-
-        attr_reader message: String
-
-        def initialize: (location: Location, message: String) -> void
-      end
-
-      class CodeDescription
-        include _Base
-
-        type json = { href: String }
-
-        attr_reader href: String
-
-        def initialize: (href: String) -> void
-      end
-    end
-  end
-end

data/sig/shims/parser/comment.rbs

@@ -1,33 +0,0 @@
-module Parser
-  module Source
-    class Comment
-      def self.associate: (untyped ast, untyped comments) -> untyped
-
-      def self.associate_by_identity: (untyped ast, untyped comments) -> untyped
-
-      def self.associate_locations: (untyped ast, untyped comments) -> untyped
-
-      public
-
-      def ==: (untyped other) -> bool
-
-      def document?: () -> bool
-
-      def inline?: () -> bool
-
-      def inspect: () -> String
-
-      alias loc location
-
-      def location: () -> Map
-
-      def text: () -> String
-
-      def type: () -> (:inline | :document)
-
-      private
-
-      def initialize: (untyped range) -> void
-    end
-  end
-end

data/sig/shims/parser/nodes.rbs

@@ -1,252 +0,0 @@
-module Parser
-  module AST
-    interface _BlockNode
-      def type: () -> :block
-
-      %a{pure} def loc: () -> (Source::Map & _BlockLocation)
-    end
-
-    interface _BlockLocation
-      %a{pure} def end: () -> Source::Range
-    end
-
-    interface _DefNode
-      def type: () -> :def
-
-      def children: () -> [Symbol, Node, Node?]
-
-      %a{pure} def loc: () -> (Source::Map & _DefLocation)
-    end
-
-    interface _DefLocation
-      def name: () -> Source::Range
-
-      %a{pure} def end: () -> Source::Range?
-    end
-
-    interface _CaseNode
-      def type: () -> :case
-
-      %a{pure} def loc: () -> (Source::Map & _CaseLocation)
-    end
-
-    interface _CaseLocation
-      %a{pure} def else: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range
-    end
-
-    interface _NamedLocation
-      %a{pure} def name: () -> Source::Range
-    end
-
-    interface _SelectorLocation
-      %a{pure} def selector: () -> Source::Range
-    end
-
-    # ```ruby
-    # if foo then bar else baz end
-    # #^                              => keyword
-    # #      ^^^^                     => begin
-    # #               ^^^^            => else
-    # #                        ^^^    => end
-    # ```
-    #
-    interface _Condition
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def begin: () -> Source::Range?
-
-      %a{pure} def else: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range?
-    end
-
-    # ```ruby
-    # foo ? bar : baz
-    # #   ^               question
-    # #         ^         colon
-    # ```
-    interface _Ternary
-      %a{pure} def question: () -> Source::Range
-
-      %a{pure} def colon: () -> Source::Range
-    end
-
-    interface _Variable
-      %a{pure} def name: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-    end
-
-    # ```ruby
-    # foo.bar(baz)
-    # #  ^             => dot
-    # #   ^^^          => selector
-    # #      ^         => begin
-    # #          ^     => end
-    #
-    # foo.bar += 1
-    # #  ^             => dot
-    # #   ^^^          => selector
-    # #       ^^       => operator
-    # ```
-    #
-    interface _Send
-      %a{pure} def dot: () -> Source::Range?
-
-      %a{pure} def selector: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-
-      %a{pure} def begin: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range?
-    end
-
-    # ```ruby
-    # rescue Foo => x then
-    # #^^^^^                => keyword
-    # #          ^^         => assoc
-    # #               ^^^^  => begin
-    # ```
-    interface _RescueBody
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def assoc: () -> Source::Range?
-
-      %a{pure} def begin: () -> Source::Range?
-    end
-
-    # ```ruby
-    # +1
-    # ^         => operator
-    # ```
-    interface _Operator
-      %a{pure} def operator: () -> Source::Range?
-    end
-
-    # ```ruby
-    # def self.foo(); end
-    # #^^                        => keyword
-    # #       ^                  => operator
-    # #        ^^^               => name
-    # #               ^^^        => end
-    #
-    # def foo = bar
-    # #^^                        => keyword
-    # #   ^^^                    => name
-    # #       ^                  => assignment
-    # ```
-    interface _MethodDefinition
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-
-      %a{pure} def name: () -> Source::Range
-
-      %a{pure} def end: () -> Source::Range?
-
-      %a{pure} def assignment: () -> Source::Range?
-    end
-
-    # ```ruby
-    # when foo then
-    # #^^^             => keyword
-    # #        ^^^^    => begin
-    # ```
-    interface _Keyword
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def begin: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range?
-    end
-
-    # ```ruby
-    # foo[1] += 1
-    # #  ^             => begin
-    # #    ^           => end
-    # #      ^^        => operator
-    # ```
-    interface _Index
-      %a{pure} def begin: () -> Source::Range
-
-      %a{pure} def end: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-    end
-
-    # ```ruby
-    # <<FOO                   <= expression
-    #   foo                   <= heredoc_body
-    # FOO                     <= heredoc_end
-    # ```
-    #
-    interface _Heredoc
-      %a{pure} def heredoc_body: () -> Source::Range
-
-      %a{pure} def heredoc_end: () -> Source::Range
-    end
-
-    # ```ruby
-    # for x in [] then ... end
-    # #^^                       => keyword
-    # #     ^^                  => in
-    # #           ^^^^          => begin
-    # #                    ^^^  => end
-    # ```
-    interface _For
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def in: () -> Source::Range
-
-      %a{pure} def begin: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range
-    end
-
-    # ```ruby
-    # class Foo::Bar < Baz; end
-    # #^^^^                       => keyword
-    # #     ^^^^^^^^              => name
-    # #              ^            => operator
-    # #                     ^^^   => end
-    # ```
-    interface _Definition
-      %a{pure} def keyword: () -> Source::Range
-
-      %a{pure} def name: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range
-    end
-
-    # ```ruby
-    # Foo::Bar += 1
-    # #  ^^                 => double_colon
-    # #    ^^^              => name
-    # #        ^^           => operator
-    # ```
-    #
-    interface _Constant
-      %a{pure} def double_colon: () -> Source::Range?
-
-      %a{pure} def name: () -> Source::Range
-
-      %a{pure} def operator: () -> Source::Range?
-    end
-
-    # ```ruby
-    #   (1)
-    # # ^           => begin
-    # #   ^         => end
-    # ```
-    interface _Collection
-      %a{pure} def begin: () -> Source::Range?
-
-      %a{pure} def end: () -> Source::Range?
-    end
-  end
-end