steep 0.14.0 → 0.15.0

data/vendor/ruby-signature/bin/test_runner.rb

@@ -1,6 +1,5 @@
 #!/usr/bin/env ruby
 
-RUBY_27_OR_LATER = Gem::Version.new('2.7.0') <= Gem::Version.new(RUBY_VERSION)
 RUBY_27 = Gem::Version.new(RUBY_VERSION).yield_self do |ruby_version|
   Gem::Version.new('2.7.0') <= ruby_version && ruby_version < Gem::Version.new("2.8.0")
 end

data/vendor/ruby-signature/docs/CONTRIBUTING.md

@@ -57,7 +57,7 @@ You may find the *Good for first contributor* column where you can find some cla
   * Sort declarations members in RBS files.
 * `rbs validate -r LIB`
   Validate the syntax and some of the semantics.
-* `rake generate::stdlib_test[String]`
+* `rake generate:stdlib_test[String]`
   Scaffold the stdlib test.
 
 ## Standard STDLIB Members Order

data/vendor/ruby-signature/docs/sigs.md

@@ -19,7 +19,7 @@ When you finish writing signature, you may want to test the signature.
 ruby-signature provides a feature to test your signature.
 
 ```
-$ RBS_TEST_TARGET='Foo::*' bundle exec ruby -r ruby/signature/test/setup test/foo_test.rb
+$ RBS_TEST_TARGET='Foo::*' bundle exec ruby -r rbs/test/setup test/foo_test.rb
 ```
 
 The test installs instrumentations to spy the method calls and check if arguments/return values are correct with respect to the type of the method in signature.
@@ -79,11 +79,11 @@ The design of the signature testing aims to be non-intrusive. The setup is done
 
 ### Loading the library
 
-You need to require `ruby/signature/test/setup` for signature testing.
+You need to require `rbs/test/setup` for signature testing.
 You can do it using `-r` option through command line argument or the `RUBYOPT` environment variable.
 
 ```
-$ ruby -r ruby/signature/test/setup run_tests.rb
+$ ruby -r rbs/test/setup run_tests.rb
 $ RUBYOPT='-rruby/signature/test/setup' rake test
 ```
 

data/vendor/ruby-signature/docs/stdlib.md

@@ -70,7 +70,7 @@ One non-trivial but absolutely better solution is to make a tool:
 The next step should be importing RDoc documents.
 
 ```
-$ bundle exec bin/annotate-with-rdoc stdlib/pathname/pathname.rbs
+$ bin/annotate-with-rdoc stdlib/pathname/pathname.rbs
 Loading store from /Users/soutaro/.rbenv/versions/2.7.0-dev/share/ri/2.7.0/system...
 Loading store from /Users/soutaro/.rbenv/versions/2.7.0-dev/share/ri/2.7.0/site...
 Opening stdlib/pathname/pathname.rbs...

data/vendor/ruby-signature/docs/syntax.md

@@ -37,7 +37,7 @@ _namespace_ ::=                                         (Empty namespace)
 
 _type-arguments_ ::=                                    (No application)
                    | `[` _type_ `,` ... `]`             (Type application)
-                   
+
 _literal_ ::= _string-literal_
             | _symbol-literal_
             | _integer-literal_
@@ -159,7 +159,7 @@ They are scoped in _class/module/interface declaration_ or _generic method types
 
 ```
 class Ref[T]              # Object is scoped in the class declaration.
-  @value: T               # Type variable `T`  
+  @value: T               # Type variable `T`
   def map: [X] { (T) -> X } -> Ref[X]   # X is a type variable scoped in the method type.
 end
 ```
@@ -209,7 +209,7 @@ They are all equivalent for the type system; they are all _top type_.
 _method-type_ ::= `(` _parameters_ `) ->` _type_                                       # Method without block
                 | `(` _parameters_ `) { (` _parameters_ `) -> ` _type_ `} ->` _type_   # Method with required block
                 | `(` _parameters_ `) ?{ (` _parameters_ `) -> ` _type_ `} ->` _type_  # Method with optional block
-                
+
 _parameters_ ::= _required-positionals_ _optional-positionals_ _rest-positional_ _trailing-positionals_ _keywords_
 
 _paramater_ ::= _type_ _var-name_                                  # Parameter with var name
@@ -263,7 +263,7 @@ _member_ ::= _ivar-member_                # Ivar definition
            | _alias-member_               # Alias
            | `public`                     # Public
            | `private`                    # Private
-           
+
 _ivar-member_ ::= _ivar-name_ `:` _type_
 
 _method-member_ ::= `def` _method-name_ `:` _method-types_            # Instance method
@@ -291,7 +291,7 @@ _prepend-member_ ::= `prepend` _class-name_ _type-arguments_
 
 _alias-member_ ::= `alias` _method-name_ _method-name_
                  | `alias self.` _method-name_ `self.` _method-name_
-                 
+
 _ivar-name_ ::= /@\w+/
 _method-name_ ::= ...
                 | /`[^`]+`/
@@ -406,16 +406,16 @@ _decl_ ::= _class-decl_                         # Class declaration
 
 _class-decl_ ::= `class` _class-name_ _module-type-parameters_ _members_ `end`
                | `class` _class-name_ _module-type-parameters_ `<` _class-name_ _type-arguments_ _members_ `end`
- 
+
 _module-decl_ ::= `module` _module-name_ _module-type-parameters_ _members_ `end`
                 | `module` _module-name_ _module-type-parameters_ `:` _class-name_ _type-arguments_ _members_ `end`
 
 _interface-decl_ ::= `interface` _interface-name_ _module-type-parameters_ _interface-members_ `end`
 
-_interface-members_ ::= _method-member_              # Method 
+_interface-members_ ::= _method-member_              # Method
                       | _include-member_             # Mixin (include)
                       | _alias-member_               # Alias
-                      
+
 _extension-decl_ ::= `extension` _class-name_ _type-parameters_ `(` _extension-name_ `)` _members_ `end`
 
 _type-alias-decl_ ::= `type` _alias-name_ `=` _type_
@@ -459,7 +459,7 @@ module Enumerable[A, B] : _Each[A, B]
 end
 ```
 
-The `Enumerable` method above requires `each` method for enumerating objects.
+The `Enumerable` module above requires `each` method for enumerating objects.
 
 ### Interface declaration
 

data/vendor/ruby-signature/exe/rbs

@@ -1,3 +1,7 @@
 #!/usr/bin/env ruby
 
-load File.join(__dir__, "ruby-signature")
+$LOAD_PATH << File.join(__dir__, "../lib")
+require "rbs"
+require "rbs/cli"
+
+RBS::CLI.new(stdout: STDOUT, stderr: STDERR).run(ARGV.dup)

data/vendor/ruby-signature/lib/rbs/ast/annotation.rb

@@ -0,0 +1,27 @@
+module RBS
+  module AST
+    class Annotation
+      attr_reader :string
+      attr_reader :location
+
+      def initialize(string:, location:)
+        @string = string
+        @location = location
+      end
+
+      def ==(other)
+        other.is_a?(Annotation) && other.string == string
+      end
+
+      alias eql? ==
+
+      def hash
+        self.class.hash ^ string.hash
+      end
+
+      def to_json(*a)
+        { string: string, location: location }.to_json(*a)
+      end
+    end
+  end
+end

data/vendor/ruby-signature/lib/rbs/ast/comment.rb

@@ -0,0 +1,27 @@
+module RBS
+  module AST
+    class Comment
+      attr_reader :string
+      attr_reader :location
+
+      def initialize(string:, location:)
+        @string = string
+        @location = location
+      end
+
+      def ==(other)
+        other.is_a?(Comment) && other.string == string
+      end
+
+      alias eql? ==
+
+      def hash
+        self.class.hash ^ string.hash
+      end
+
+      def to_json(*a)
+        { string: string, location: location }.to_json(*a)
+      end
+    end
+  end
+end

data/vendor/ruby-signature/lib/rbs/ast/declarations.rb

@@ -0,0 +1,395 @@
+module RBS
+  module AST
+    module Declarations
+      class ModuleTypeParams
+        attr_reader :params
+
+        TypeParam = Struct.new(:name, :variance, :skip_validation, keyword_init: true)
+
+        def initialize()
+          @params = []
+        end
+
+        def add(param)
+          params << param
+          self
+        end
+
+        def ==(other)
+          other.is_a?(ModuleTypeParams) && other.params == params
+        end
+
+        alias eql? ==
+
+        def hash
+          params.hash
+        end
+
+        def [](name)
+          params.find {|p| p.name == name }
+        end
+
+        def to_json(*a)
+          {
+            params: params
+          }.to_json(*a)
+        end
+
+        def each(&block)
+          params.each(&block)
+        end
+
+        def self.empty
+          new
+        end
+
+        def variance(name)
+          self[name].variance
+        end
+
+        def skip_validation?(name)
+          self[name].skip_validation
+        end
+
+        def empty?
+          params.empty?
+        end
+
+        def size
+          params.size
+        end
+
+        def rename_to(names)
+          ModuleTypeParams.new().tap do |params|
+            names.each.with_index do |new_name, index|
+              param = self.params[index]
+              params.add(TypeParam.new(name: new_name, variance: param.variance, skip_validation: param.skip_validation))
+            end
+          end
+        end
+      end
+
+      class Class
+        class Super
+          attr_reader :name
+          attr_reader :args
+
+          def initialize(name:, args:)
+            @name = name
+            @args = args
+          end
+
+          def ==(other)
+            other.is_a?(Super) && other.name == name && other.args == args
+          end
+
+          alias eql? ==
+
+          def hash
+            self.class.hash ^ name.hash ^ args.hash
+          end
+
+          def to_json(*a)
+            {
+              name: name,
+              args: args
+            }.to_json(*a)
+          end
+        end
+
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :super_class
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, super_class:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @super_class = super_class
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Class) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.super_class == super_class &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ super_class.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :class,
+            name: name,
+            type_params: type_params,
+            members: members,
+            super_class: super_class,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Module
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :location
+        attr_reader :annotations
+        attr_reader :self_type
+        attr_reader :comment
+
+        def initialize(name:, type_params:, members:, self_type:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @self_type = self_type
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Module) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.self_type == self_type &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ self_type.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :module,
+            name: name,
+            type_params: type_params,
+            members: members,
+            self_type: self_type,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Extension
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :extension_name
+        attr_reader :members
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, extension_name:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @extension_name = extension_name
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Extension) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.extension_name == extension_name &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type_params.hash ^ extension_name.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :extension,
+            name: name,
+            type_params: type_params,
+            extension_name: extension_name,
+            members: members,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Interface
+        attr_reader :name
+        attr_reader :type_params
+        attr_reader :members
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type_params:, members:, annotations:, location:, comment:)
+          @name = name
+          @type_params = type_params
+          @members = members
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Interface) &&
+            other.name == name &&
+            other.type_params == type_params &&
+            other.members == members
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ type_params.hash ^ members.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :interface,
+            name: name,
+            type_params: type_params,
+            members: members,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Alias
+        attr_reader :name
+        attr_reader :type
+        attr_reader :annotations
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, annotations:, location:, comment:)
+          @name = name
+          @type = type
+          @annotations = annotations
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Alias) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :alias,
+            name: name,
+            type: type,
+            annotations: annotations,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Constant
+        attr_reader :name
+        attr_reader :type
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, location:, comment:)
+          @name = name
+          @type = type
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Constant) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :constant,
+            name: name,
+            type: type,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+
+      class Global
+        attr_reader :name
+        attr_reader :type
+        attr_reader :location
+        attr_reader :comment
+
+        def initialize(name:, type:, location:, comment:)
+          @name = name
+          @type = type
+          @location = location
+          @comment = comment
+        end
+
+        def ==(other)
+          other.is_a?(Global) &&
+            other.name == name &&
+            other.type == type
+        end
+
+        alias eql? ==
+
+        def hash
+          self.class.hash ^ name.hash ^ type.hash
+        end
+
+        def to_json(*a)
+          {
+            declaration: :global,
+            name: name,
+            type: type,
+            location: location,
+            comment: comment
+          }.to_json(*a)
+        end
+      end
+    end
+  end
+end