steep 1.7.0.dev.4 → 1.7.0

data/sig/steep/ast/types/logic.rbs

@@ -1,83 +0,0 @@
-module Steep
-  module AST
-    module Types
-      module Logic
-        class Base
-          attr_reader location: untyped
-
-          def subst: (Interface::Substitution s) -> self
-
-          include Helper::NoFreeVariables
-
-          include Helper::NoChild
-
-          def hash: () -> Integer
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def to_s: () -> String
-
-          def level: () -> Array[Integer]
-        end
-
-        # A type for `!` (not) operator results.
-        class Not < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `foo.nil?` call results.
-        class ReceiverIsNil < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        #
-        class ReceiverIsNotNil < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `receiver.is_a?(C)` call results.
-        class ReceiverIsArg < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Class#===` call results.
-        class ArgIsReceiver < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Object#===` call results.
-        class ArgEqualsReceiver < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type for `Class#<` or `Class#<=` call results.
-        class ArgIsAncestor < Base
-          def initialize: (?location: untyped?) -> void
-        end
-
-        # A type with truthy/falsy type environment.
-        class Env < Base
-          attr_reader truthy: TypeInference::TypeEnv
-
-          attr_reader falsy: TypeInference::TypeEnv
-
-          attr_reader type: t
-
-          def initialize: (truthy: TypeInference::TypeEnv, falsy: TypeInference::TypeEnv, type: t, ?location: untyped) -> void
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def hash: () -> Integer
-
-          def inspect: () -> String
-
-          alias to_s inspect
-        end
-      end
-    end
-  end
-end

data/sig/steep/ast/types/name.rbs

@@ -1,84 +0,0 @@
-module Steep
-  module AST
-    module Types
-      # Types with names
-      #
-      module Name
-        class Base
-          attr_reader location: untyped
-
-          attr_reader name: RBS::TypeName
-
-          def initialize: (name: RBS::TypeName, ?location: untyped?) -> void
-
-          include Helper::NoFreeVariables
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        class Applying < Base
-          attr_reader args: Array[t]
-
-          def initialize: (name: RBS::TypeName, args: Array[t], ?location: untyped?) -> void
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          @hash: Integer
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> self
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          @fvs: Set[variable]
-          def free_variables: () -> Set[variable]
-
-          def each_child: () { (t) -> void } -> void
-                        | () -> Enumerator[t, void]
-
-          include Helper::ChildrenLevel
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        # Singleton of a class/module
-        class Singleton < Base
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> Singleton
-
-          include Helper::NoChild
-        end
-
-        # An instance of a class/module
-        class Instance < Applying
-          def to_module: () -> Singleton
-        end
-
-        # An interface type
-        class Interface < Applying
-        end
-
-        # Type alias
-        class Alias < Applying
-        end
-      end
-    end
-  end
-end

data/sig/steep/ast/types/nil.rbs

@@ -1,31 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Nil
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Nil
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Nil
-
-        def back_type: () -> Name::Instance
-      end
-    end
-  end
-end

data/sig/steep/ast/types/proc.rbs

@@ -1,53 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Proc
-        attr_reader location: untyped
-
-        attr_reader type: Interface::Function
-
-        attr_reader self_type: AST::Types::t?
-
-        attr_reader block: Interface::Block?
-
-        def initialize: (type: Interface::Function, self_type: AST::Types::t?, block: Interface::Block?, ?location: untyped) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Proc
-
-        def to_s: () -> ::String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Proc
-
-        def map_type: () { (AST::Types::t) -> AST::Types::t } -> Proc
-
-        # Returns true if the proc requires exactly one argument
-        #
-        # * One required argument,
-        # * No optional/rest argument, and
-        # * No keywords
-        #
-        def one_arg?: () -> bool
-
-        def back_type: () -> AST::Types::t
-
-        def block_required?: () -> bool
-
-        def each_child: () { (AST::Types::t) -> void } -> void
-                      | () -> Enumerator[AST::Types::t, void]
-      end
-    end
-  end
-end

data/sig/steep/ast/types/record.rbs

@@ -1,39 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Record
-        type key = Symbol | String | Integer
-
-        attr_reader location: untyped
-
-        attr_reader elements: Hash[key, t]
-
-        def initialize: (elements: Hash[key, t], ?location: untyped) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Record
-
-        def to_s: () -> String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> Record
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Record
-      end
-    end
-  end
-end

data/sig/steep/ast/types/self.rbs

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Self
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def to_s: () -> String
-
-        include Helper::NoChild
-
-        def subst: (Interface::Substitution s) -> t
-
-        @@fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Self
-
-        self.@instance: Self
-        def self.instance: () -> Self
-      end
-    end
-  end
-end

data/sig/steep/ast/types/top.rbs

@@ -1,29 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Top
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Top
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Top
-      end
-    end
-  end
-end

data/sig/steep/ast/types/tuple.rbs

@@ -1,37 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Tuple
-        attr_reader types: Array[t]
-
-        attr_reader location: untyped
-
-        def initialize: (types: Array[t], ?location: untyped) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Tuple
-
-        def to_s: () -> ::String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> Tuple
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Tuple
-      end
-    end
-  end
-end

data/sig/steep/ast/types/union.rbs

@@ -1,40 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Union
-        attr_reader types: Array[t]
-
-        attr_reader location: untyped
-
-        def initialize: (types: Array[t], ?location: untyped) -> void
-
-        def self.build: (types: Array[t], ?location: untyped) -> t
-
-        def ==: (untyped other) -> bool
-
-        @hash: Integer
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> t
-
-        def to_s: () -> ::String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> t
-
-        include Helper::ChildrenLevel
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Union
-      end
-    end
-  end
-end

data/sig/steep/ast/types/var.rbs

@@ -1,42 +0,0 @@
-module Steep
-  module AST
-    module Types
-      # Type variables
-      class Var
-        attr_reader name: Symbol
-
-        attr_reader location: untyped
-
-        def initialize: (name: Symbol, ?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        self.@mutex: Thread::Mutex
-        self.@max: Integer
-
-        def self.fresh_name: (Symbol name) -> Symbol
-
-        def self.fresh: (Symbol name, ?location: untyped?) -> Var
-
-        def to_s: () -> String
-
-        def subst: (Interface::Substitution s) -> t
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def update: (?name: Symbol, ?location: untyped) -> Var
-
-        def with_location: (untyped new_location) -> Var
-      end
-    end
-  end
-end

data/sig/steep/ast/types/void.rbs

@@ -1,29 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Void
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Void
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Void
-      end
-    end
-  end
-end

data/sig/steep/ast/types.rbs

@@ -1,16 +0,0 @@
-module Steep
-  module AST
-    module Types
-      type t = Any | Boolean | Bot | Nil |  Top | Void | Literal
-           | Class | Instance | Self
-           | Intersection  | Record | Tuple | Union
-           | Name::Alias | Name::Instance | Name::Interface | Name::Singleton
-           | Proc | Var
-           | Logic::Not | Logic::ReceiverIsNil | Logic::ReceiverIsNotNil | Logic::ReceiverIsArg | Logic::ArgIsReceiver | Logic::ArgEqualsReceiver | Logic::ArgIsAncestor | Logic::Env
-
-      # Variables and special types that is subject for substitution
-      #
-      type variable = Symbol | Class | Instance | Self
-    end
-  end
-end

data/sig/steep/cli.rbs

@@ -1,55 +0,0 @@
-module Steep
-  class CLI
-    attr_reader argv: Array[String]
-
-    attr_reader stdout: IO
-
-    attr_reader stdin: IO
-
-    attr_reader stderr: IO
-
-    attr_reader command: Symbol
-
-    def initialize: (stdout: IO, stdin: IO, stderr: IO, argv: Array[String]) -> void
-
-    def self.available_commands: () -> ::Array[Symbol]
-
-    def process_global_options: () -> bool
-
-    def setup_command: () -> bool
-
-    def run: () -> Integer
-
-    def handle_logging_options: (OptionParser opts) -> void
-
-    def handle_jobs_option: (Drivers::Utils::JobsOption jobs_option, OptionParser opts) -> void
-
-    def setup_jobs_for_ci: (Drivers::Utils::JobsOption) -> void
-
-    def process_init: () -> Integer
-
-    def process_check: () -> Integer
-
-    def process_checkfile: () -> Integer
-
-    def process_stats: () -> Integer
-
-    def process_validate: () -> Integer
-
-    def process_annotations: () -> Integer
-
-    def process_project: () -> Integer
-
-    def process_watch: () -> Integer
-
-    def process_langserver: () -> Integer
-
-    def process_vendor: () -> Integer
-
-    def process_binstub: () -> Integer
-
-    def process_version: () -> Integer
-
-    def process_worker: () -> Integer
-  end
-end

data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs

@@ -1,13 +0,0 @@
-module Steep
-  module Diagnostic
-    module Ruby
-      class ElseOnExhaustiveCase < Base
-        attr_reader type: untyped
-
-        def initialize: (node: untyped, type: untyped) -> void
-
-        def header_line: () -> String
-      end
-    end
-  end
-end

data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs

@@ -1,15 +0,0 @@
-module Steep
-  module Diagnostic
-    module Ruby
-      class UnknownConstantAssigned < Base
-        attr_reader context: untyped
-
-        attr_reader name: untyped
-
-        def initialize: (node: untyped, context: untyped, name: untyped) -> void
-
-        def header_line: () -> ::String
-      end
-    end
-  end
-end

data/sig/steep/diagnostic/helper.rbs

@@ -1,15 +0,0 @@
-module Steep
-  module Diagnostic
-    module Helper : _DiagnosticMessage
-      def error_name: () -> String
-
-      def full_message: () -> String
-    end
-
-    interface _DiagnosticMessage
-      %a{pure} def detail_lines: () -> String?
-
-      def header_line: () -> String
-    end
-  end
-end

data/sig/steep/diagnostic/lsp_formatter.rbs

@@ -1,36 +0,0 @@
-use LanguageServer::Protocol::Constant::DiagnosticSeverity as LSPDiagnosticSeverity
-use LanguageServer::Protocol::Interface::Diagnostic as LSPDiagnostic
-
-module Steep
-  module Diagnostic
-    class LSPFormatter
-      module LSP = LanguageServer::Protocol
-
-      type config = Hash[singleton(Diagnostic::Ruby::Base) | singleton(Diagnostic::Signature::Base), severity?]
-
-      type severity = :error | :warning | :information | :hint
-
-      attr_reader config: config
-
-      attr_reader default_severity: severity
-
-      ERROR: :error
-
-      WARNING: :warning
-
-      INFORMATION: :information
-
-      HINT: :hint
-
-      def initialize: (?config config, ?default_severity: severity) -> void
-
-      def validate_class: (Class klass) -> void
-
-      def validate_severity: (Class | :default klass, severity?) -> void
-
-      def format: (Diagnostic::Ruby::Base | Diagnostic::Signature::Base) -> LSPDiagnostic::json?
-
-      def severity_for: (Diagnostic::Ruby::Base | Diagnostic::Signature::Base) -> LSPDiagnosticSeverity::t?
-    end
-  end
-end