steep 0.11.1 → 0.12.0

data/.travis.yml

@@ -1,7 +0,0 @@
-sudo: false
-language: ruby
-rvm:
-  - 2.5.3
-  - 2.6.1
-before_install: gem install bundler -v 1.13.7
-script: bundle exec rake test smoke

data/lib/steep/ast/signature/alias.rb

@@ -1,19 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Alias
-        attr_reader :location
-        attr_reader :name
-        attr_reader :params
-        attr_reader :type
-
-        def initialize(location:, name:, params:, type:)
-          @location = location
-          @name = name
-          @params = params
-          @type = type
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/class.rb

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class SuperClass
-        attr_reader :location
-        attr_reader :name
-        attr_reader :args
-
-        def initialize(name:, args:, location:)
-          @name = name
-          @args = args
-          @location = location
-        end
-      end
-
-      class Class
-        attr_reader :location
-        attr_reader :name
-        attr_reader :params
-        attr_reader :super_class
-        attr_reader :members
-
-        def initialize(name:, params:, super_class:, location:, members:)
-          @name = name
-          @params = params
-          @super_class = super_class
-          @location = location
-          @members = members
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/const.rb

@@ -1,17 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Const
-        attr_reader :location
-        attr_reader :name
-        attr_reader :type
-
-        def initialize(location:, name:, type:)
-          @location = location
-          @name = name
-          @type = type
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/env.rb

@@ -1,138 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Env
-        attr_reader :modules
-        attr_reader :classes
-        attr_reader :extensions
-        attr_reader :interfaces
-        attr_reader :constants
-        attr_reader :globals
-        attr_reader :aliases
-
-        def initialize()
-          @modules = {}
-          @classes = {}
-          @extensions = {}
-          @interfaces = {}
-          @constants = {}
-          @globals = {}
-          @aliases = {}
-        end
-
-        def assert_absolute_name(name)
-          name.namespace.absolute? or raise "Absolute name expected: #{name}"
-        end
-
-        def add(sig)
-          case sig
-          when Signature::Class
-            assert_absolute_name sig.name
-            raise "Duplicated class: #{sig.name}" if classes.key?(sig.name) || modules.key?(sig.name)
-            classes[sig.name] = sig
-          when Signature::Module
-            assert_absolute_name sig.name
-            raise "Duplicated module: #{sig.name}" if classes.key?(sig.name) || modules.key?(sig.name)
-            modules[sig.name.absolute!] = sig
-          when Signature::Interface
-            assert_absolute_name sig.name
-            raise "Duplicated interface: #{sig.name}" if interfaces.key?(sig.name)
-            interfaces[sig.name] = sig
-          when Signature::Extension
-            extensions[sig.module_name.absolute!] ||= []
-            if extensions[sig.module_name.absolute!].any? {|ext| ext.name == sig.name }
-              raise "Duplicated extension: #{sig.module_name.absolute!} (#{sig.name})"
-            end
-            extensions[sig.module_name.absolute!] << sig
-          when Signature::Const
-            assert_absolute_name sig.name
-            constants[sig.name] = sig
-          when Signature::Gvar
-            raise "Duplicated global: #{sig.name}" if globals.key?(sig.name)
-            globals[sig.name] = sig
-          when Signature::Alias
-            assert_absolute_name sig.name
-            raise "Duplicated alias: #{sig.name}" if aliases.key?(sig.name)
-            aliases[sig.name] = sig
-          else
-            raise "Unknown signature:: #{sig}"
-          end
-        end
-
-        def find_module(name, current_module: AST::Namespace.root)
-          find_name(modules, name, current_module: current_module) or raise "Unknown module: #{name}"
-        end
-
-        def find_class(name, current_module: AST::Namespace.root)
-          find_name(classes, name, current_module: current_module) or raise "Unknown class: #{name}"
-        end
-
-        def find_class_or_module(name, current_module: AST::Namespace.root)
-          sig =
-            find_name(modules, name, current_module: current_module) ||
-              find_name(classes, name, current_module: current_module)
-
-          sig or raise "Unknown class/module: #{name}}"
-        end
-
-        def find_extensions(name, current_module: AST::Namespace.root)
-          find_name(extensions, name, current_module: current_module) || []
-        end
-
-        def find_const(name, current_module: Namespace.root)
-          find_name(constants, name, current_module: current_module)
-        end
-
-        def find_gvar(name)
-          globals[name]
-        end
-
-        def find_alias(name, namespace:)
-          find_name(aliases, name, current_module: namespace) or raise "Unknown alias: #{name}"
-        end
-
-        def find_name(hash, name, current_module:)
-          current_module.absolute? or raise "Current namespace should be absolute: #{current_module}"
-
-          if (object = hash[name.in_namespace(current_module)])
-            object
-          else
-            unless current_module.empty?
-              find_name(hash, name, current_module: current_module.parent)
-            end
-          end
-        end
-
-        def find_interface(name, namespace: Namespace.root)
-          find_name(interfaces, name, current_module: namespace) or raise "Unknown interface: #{name}"
-        end
-
-        def class_name?(name)
-          assert_absolute_name name
-          classes.key?(name)
-        end
-
-        def module_name?(name)
-          assert_absolute_name name
-          modules.key?(name)
-        end
-
-        def const_name?(name)
-          assert_absolute_name name
-          constants.key?(name)
-        end
-
-        def each(&block)
-          if block_given?
-            classes.each_value(&block)
-            modules.each_value(&block)
-            interfaces.each_value(&block)
-            constants.each_value(&block)
-          else
-            enum_for :each
-          end
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/extension.rb

@@ -1,21 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Extension
-        attr_reader :location
-        attr_reader :module_name
-        attr_reader :name
-        attr_reader :members
-        attr_reader :params
-
-        def initialize(location:, module_name:, params:, name:, members:)
-          @location = location
-          @module_name = module_name
-          @params = params
-          @name = name
-          @members = members
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/gvar.rb

@@ -1,17 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Gvar
-        attr_reader :location
-        attr_reader :name
-        attr_reader :type
-
-        def initialize(location:, name:, type:)
-          @location = location
-          @name = name
-          @type = type
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/interface.rb

@@ -1,31 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Interface
-        class Method
-          attr_reader :location
-          attr_reader :name
-          attr_reader :types
-
-          def initialize(location:, name:, types:)
-            @location = location
-            @name = name
-            @types = types
-          end
-        end
-
-        attr_reader :location
-        attr_reader :name
-        attr_reader :params
-        attr_reader :methods
-
-        def initialize(location:, name:, params:, methods:)
-          @location = location
-          @name = name
-          @params = params
-          @methods = methods
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/members.rb

@@ -1,115 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      module Members
-        class Include
-          attr_reader :location
-          attr_reader :name
-          attr_reader :args
-
-          def initialize(location:, name:, args:)
-            @location = location
-            @name = name
-            @args = args
-          end
-        end
-
-        class Extend
-          attr_reader :location
-          attr_reader :name
-          attr_reader :args
-
-          def initialize(location:, name:, args:)
-            @location = location
-            @name = name
-            @args = args
-          end
-        end
-
-        class Method
-          attr_reader :location
-          attr_reader :name
-          attr_reader :kind
-          attr_reader :types
-          attr_reader :attributes
-
-          def initialize(location:, name:, kind:, types:, attributes:)
-            @location = location
-            @name = name
-            @kind = kind
-            @types = types
-            @attributes = attributes
-          end
-
-          def module_method?
-            kind == :module || kind == :module_instance
-          end
-
-          def instance_method?
-            kind == :instance || kind == :module_instance
-          end
-
-          def constructor?
-            attributes.include?(:constructor)
-          end
-
-          def incompatible?
-            attributes.include?(:incompatible)
-          end
-
-          def private?
-            attributes.include?(:private)
-          end
-        end
-
-        class Ivar
-          attr_reader :location
-          attr_reader :name
-          attr_reader :type
-
-          def initialize(location:, name:, type:)
-            @location = location
-            @name = name
-            @type = type
-          end
-        end
-
-        class Attr
-          attr_reader :location
-          attr_reader :kind
-          attr_reader :name
-          attr_reader :ivar
-          attr_reader :type
-
-          def initialize(location:, kind:, name:, ivar:, type:)
-            @location = location
-            @kind = kind
-            @name = name
-            @ivar = ivar
-            @type = type
-          end
-
-          def reader?
-            kind == :reader
-          end
-
-          def accessor?
-            kind == :accessor
-          end
-        end
-
-        class MethodAlias
-          attr_reader :location
-          attr_reader :new_name
-          attr_reader :original_name
-
-          def initialize(location:, new_name:, original_name:)
-            @location = location
-            @new_name = new_name
-            @original_name = original_name
-          end
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/signature/module.rb

@@ -1,21 +0,0 @@
-module Steep
-  module AST
-    module Signature
-      class Module
-        attr_reader :location
-        attr_reader :name
-        attr_reader :params
-        attr_reader :self_type
-        attr_reader :members
-
-        def initialize(name:, location:, params:, self_type:, members:)
-          @name = name
-          @location = location
-          @params = params
-          @self_type = self_type
-          @members = members
-        end
-      end
-    end
-  end
-end

data/lib/steep/drivers/print_interface.rb

@@ -1,94 +0,0 @@
-module Steep
-  module Drivers
-    class PrintInterface
-      attr_reader :type_name
-      attr_reader :signature_dirs
-      attr_reader :stdout
-      attr_reader :stderr
-
-      include Utils::EachSignature
-
-      def initialize(type_name:, signature_dirs:, stdout:, stderr:)
-        @type_name = type_name
-        @signature_dirs = signature_dirs
-        @stdout = stdout
-        @stderr = stderr
-      end
-
-      def run
-        if type_name
-          type = Parser.parse_type(type_name)
-          project = Project.new()
-
-          signature_dirs.each do |path|
-            each_file_in_path(".rbi", path) do |file_path|
-              file = Project::SignatureFile.new(path: file_path)
-              file.content = file_path.read
-              project.signature_files[file_path] = file
-            end
-          end
-
-          project.reload_signature
-
-          case sig = project.signature
-          when Project::SignatureLoaded
-            begin
-              check = sig.check
-              interface = check.resolve(type)
-
-              stdout.puts "#{type}"
-              stdout.puts "- Instance variables:"
-              interface.ivars.each do |name, type|
-                puts "  - #{name}: #{type}"
-              end
-              stdout.puts "- Methods:"
-              interface.methods.each do |name, method|
-                puts "  - #{Rainbow(name).blue}:"
-                method.types.each do |method_type|
-                  loc = if method_type.location
-                          "#{method_type.location.buffer.name}:#{method_type.location.to_s}"
-                        else
-                          "no location"
-                        end
-                  puts "    - #{Rainbow(method_type.to_s).red} (#{loc})"
-                end
-              end
-              0
-            rescue Steep::Subtyping::Check::CannotResolveError
-              stderr.puts "🤔 #{Rainbow(type.to_s).red} cannot be resolved to interface"
-              1
-            end
-
-          when Project::SignatureHasError
-            sig.errors.each do |error|
-              case error
-              when Interface::Instantiated::InvalidMethodOverrideError
-                stdout.puts "😱 #{error.message}"
-                error.result.trace.each do |s, t|
-                  case s
-                  when Interface::Method
-                    stdout.puts "  #{s.name}(#{s.type_name}) <: #{t.name}(#{t.type_name})"
-                  when Interface::MethodType
-                    stdout.puts "  #{s} <: #{t} (#{s.location&.name||"?"}:#{s.location&.start_line||"?"})"
-                  else
-                    stdout.puts "  #{s} <: #{t}"
-                  end
-                end
-                stdout.puts "  🚨 #{error.result.error.message}"
-              when Interface::Instantiated::InvalidIvarOverrideError
-                stdout.puts "😱 #{error.message}"
-              else
-                stdout.puts "😱 #{error.inspect}"
-              end
-            end
-
-            1
-          end
-        else
-          stderr.puts "Pass a type name to command line"
-          1
-        end
-      end
-    end
-  end
-end