steep 1.0.2 → 1.1.0.pre.1

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

@@ -0,0 +1,71 @@
+module Steep
+  module AST
+    module Types
+      module Name
+        class Base
+          attr_reader location: untyped
+
+          attr_reader name: untyped
+
+          def initialize: (name: untyped, ?location: untyped?) -> void
+
+          include Helper::NoFreeVariables
+
+          def subst: (untyped s) -> self
+
+          def level: () -> ::Array[0]
+        end
+
+        class Applying < Base
+          attr_reader args: untyped
+
+          def initialize: (name: untyped, args: untyped, ?location: untyped?) -> void
+
+          def ==: (untyped other) -> untyped
+
+          alias eql? ==
+
+          def hash: () -> untyped
+
+          def to_s: () -> ::String
+
+          def with_location: (untyped new_location) -> untyped
+
+          def subst: (untyped s) -> (untyped | self)
+
+          def free_variables: () -> untyped
+
+          def each_child: () ?{ () -> untyped } -> untyped
+
+          include Helper::ChildrenLevel
+
+          def level: () -> untyped
+        end
+
+        class Singleton < Base
+          def ==: (untyped other) -> untyped
+
+          alias eql? ==
+
+          def hash: () -> untyped
+
+          def to_s: () -> ::String
+
+          def with_location: (untyped new_location) -> untyped
+
+          include Helper::NoChild
+        end
+
+        class Instance < Applying
+          def to_module: () -> untyped
+        end
+
+        class Interface < Applying
+        end
+
+        class Alias < Applying
+        end
+      end
+    end
+  end
+end

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

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

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

@@ -0,0 +1,46 @@
+module Steep
+  module AST
+    module Types
+      class Proc
+        attr_reader location: untyped
+
+        attr_reader type: Interface::Function
+
+        attr_reader block: Interface::Block?
+
+        def initialize: (type: Interface::Function, 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
+
+        def free_variables: () -> Set[Symbol]
+
+        include Helper::ChildrenLevel
+
+        def level: () -> Array[Integer]
+
+        def closed?: () -> bool
+
+        def with_location: (untyped new_location) -> Proc
+
+        def map_type: () { (AST::Types::t) -> AST::Types::t } -> Proc
+
+        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

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

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

@@ -0,0 +1,29 @@
+module Steep
+  module AST
+    module Types
+      class Self
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def to_s: () -> "self"
+
+        include Helper::NoChild
+
+        def subst: (untyped s) -> untyped
+
+        def free_variables: () -> untyped
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

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

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

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

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

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

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

@@ -0,0 +1,37 @@
+module Steep
+  module AST
+    module Types
+      class Var
+        attr_reader name: untyped
+
+        attr_reader location: untyped
+
+        def initialize: (name: untyped, ?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def self.fresh_name: (untyped name) -> untyped
+
+        def self.fresh: (untyped name, ?location: untyped?) -> untyped
+
+        def to_s: () -> untyped
+
+        def subst: (untyped s) -> (untyped | self)
+
+        def free_variables: () -> untyped
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[0]
+
+        def update: (?name: untyped, ?location: untyped) -> untyped
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

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

data/sig/steep/ast/types.rbs

@@ -0,0 +1,37 @@
+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::Base
+
+      class Masked
+        attr_reader location: untyped
+
+        attr_reader type: untyped
+
+        attr_reader mask: untyped
+
+        def initialize: (type: untyped, mask: untyped, location: untyped) -> void
+
+        def ==: (untyped other) -> untyped
+
+        alias eql? ==
+
+        def hash: () -> untyped
+
+        def to_json: (*untyped a) -> untyped
+
+        def to_s: (?::Integer level) -> ::String
+
+        def free_variables: () -> untyped
+
+        def each_type: () { (untyped) -> untyped } -> untyped
+
+        def sub: (untyped s) -> untyped
+      end
+    end
+  end
+end

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

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

@@ -0,0 +1,9 @@
+module Steep
+  module Diagnostic
+    module Helper
+      def error_name: () -> untyped
+
+      def full_message: () -> ::String
+    end
+  end
+end

data/sig/steep/diagnostic/lsp_formatter.rbs

@@ -0,0 +1,29 @@
+module Steep
+  module Diagnostic
+    class LSPFormatter
+      LSP: untyped
+
+      attr_reader config: untyped
+
+      attr_reader default_severity: untyped
+
+      ERROR: :error
+
+      WARNING: :warning
+
+      INFORMATION: :information
+
+      HINT: :hint
+
+      def initialize: (?::Hash[untyped, untyped] config, ?default_severity: untyped) -> void
+
+      def validate_class: (untyped klass) -> (untyped | nil)
+
+      def validate_severity: (untyped klass, untyped severity) -> untyped
+
+      def format: (untyped diagnostic) -> untyped
+
+      def severity_for: (untyped diagnostic) -> untyped
+    end
+  end
+end