rbs 2.8.4 → 3.0.0.dev.2

data/sig/writer.rbs

@@ -21,7 +21,7 @@ module RBS
     # Output the array of declarations.
     # It automatically inserts empty lines between the declarations.
     #
-    def write: (Array[AST::Declarations::t]) -> void
+    def write: (Array[AST::Declarations::t | AST::Directives::t]) -> void
 
     def preserve?: () -> bool
 
@@ -94,6 +94,10 @@ module RBS
 
     def write_loc_source: (_Located) { () -> void } -> void
 
+    def format_annotation: (AST::Annotation) -> String
+
+    def write_directive: (AST::Directives::t) -> void
+
     def write_annotation: (Array[AST::Annotation]) -> void
 
     def write_comment: (AST::Comment?) -> void
@@ -106,7 +110,7 @@ module RBS
 
     def name_and_args: (TypeName, Array[Types::t]) -> String?
 
-    def write_alias: (AST::Declarations::Alias) -> void
+    def write_alias: (AST::Declarations::TypeAlias) -> void
 
     def method_name: (Symbol) -> String
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 2.8.4
+  version: 3.0.0.dev.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-01-20 00:00:00.000000000 Z
+date: 2023-02-08 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -151,6 +151,7 @@ files:
 - lib/rbs/ast/annotation.rb
 - lib/rbs/ast/comment.rb
 - lib/rbs/ast/declarations.rb
+- lib/rbs/ast/directives.rb
 - lib/rbs/ast/members.rb
 - lib/rbs/ast/type_param.rb
 - lib/rbs/buffer.rb
@@ -159,6 +160,7 @@ files:
 - lib/rbs/collection.rb
 - lib/rbs/collection/cleaner.rb
 - lib/rbs/collection/config.rb
+- lib/rbs/collection/config/lockfile.rb
 - lib/rbs/collection/config/lockfile_generator.rb
 - lib/rbs/collection/installer.rb
 - lib/rbs/collection/sources.rb
@@ -167,12 +169,12 @@ files:
 - lib/rbs/collection/sources/rubygems.rb
 - lib/rbs/collection/sources/stdlib.rb
 - lib/rbs/constant.rb
-- lib/rbs/constant_table.rb
 - lib/rbs/definition.rb
 - lib/rbs/definition_builder.rb
 - lib/rbs/definition_builder/ancestor_builder.rb
 - lib/rbs/definition_builder/method_builder.rb
 - lib/rbs/environment.rb
+- lib/rbs/environment/use_map.rb
 - lib/rbs/environment_loader.rb
 - lib/rbs/environment_walker.rb
 - lib/rbs/errors.rb
@@ -187,6 +189,7 @@ files:
 - lib/rbs/parser_compat/semantics_error.rb
 - lib/rbs/parser_compat/syntax_error.rb
 - lib/rbs/prototype/helpers.rb
+- lib/rbs/prototype/node_usage.rb
 - lib/rbs/prototype/rb.rb
 - lib/rbs/prototype/rbi.rb
 - lib/rbs/prototype/runtime.rb
@@ -207,7 +210,6 @@ files:
 - lib/rbs/type_alias_dependency.rb
 - lib/rbs/type_alias_regularity.rb
 - lib/rbs/type_name.rb
-- lib/rbs/type_name_resolver.rb
 - lib/rbs/types.rb
 - lib/rbs/validator.rb
 - lib/rbs/variance_calculator.rb
@@ -239,14 +241,16 @@ files:
 - sig/collection.rbs
 - sig/collection/cleaner.rbs
 - sig/collection/config.rbs
+- sig/collection/config/lockfile.rbs
+- sig/collection/config/lockfile_generator.rbs
 - sig/collection/installer.rbs
 - sig/collection/sources.rbs
 - sig/comment.rbs
 - sig/constant.rbs
-- sig/constant_table.rbs
 - sig/declarations.rbs
 - sig/definition.rbs
 - sig/definition_builder.rbs
+- sig/directives.rbs
 - sig/environment.rbs
 - sig/environment_loader.rbs
 - sig/environment_walker.rbs
@@ -261,6 +265,7 @@ files:
 - sig/namespace.rbs
 - sig/parser.rbs
 - sig/prototype/helpers.rbs
+- sig/prototype/node_usage.rbs
 - sig/prototype/rb.rbs
 - sig/prototype/rbi.rbs
 - sig/rbs.rbs
@@ -271,17 +276,19 @@ files:
 - sig/resolver/type_name_resolver.rbs
 - sig/shims.rbs
 - sig/shims/abstract_syntax_tree.rbs
+- sig/shims/bundler.rbs
 - sig/shims/enumerable.rbs
 - sig/shims/pp.rbs
 - sig/shims/ripper.rbs
+- sig/shims/rubygems.rbs
 - sig/sorter.rbs
 - sig/substitution.rbs
 - sig/type_alias_dependency.rbs
 - sig/type_alias_regularity.rbs
-- sig/type_name_resolver.rbs
 - sig/type_param.rbs
 - sig/typename.rbs
 - sig/types.rbs
+- sig/use_map.rbs
 - sig/util.rbs
 - sig/validator.rbs
 - sig/variance_calculator.rbs
@@ -435,11 +442,11 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '2.6'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">="
+  - - ">"
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 1.3.1
 requirements: []
-rubygems_version: 3.3.26
+rubygems_version: 3.4.6
 signing_key:
 specification_version: 4
 summary: Type signature for Ruby.

data/lib/rbs/constant_table.rb

@@ -1,167 +0,0 @@
-# frozen_string_literal: true
-
-module RBS
-  class ConstantTable
-    attr_reader :definition_builder
-    attr_reader :constant_scopes_cache
-
-    def env
-      definition_builder.env
-    end
-
-    def resolver
-      @resolver ||= TypeNameResolver.from_env(env)
-    end
-
-    def initialize(builder:)
-      @definition_builder = builder
-      @constant_scopes_cache = {}
-    end
-
-    def absolute_type(type, context:)
-      type.map_type_name do |type_name, location|
-        absolute_type_name(type_name, context: context, location: location)
-      end
-    end
-
-    def absolute_type_name(type_name, context:, location:)
-      resolver.resolve(type_name, context: context) or
-        raise NoTypeFoundError.new(type_name: type_name, location: location)
-    end
-
-    def name_to_constant(name)
-      case
-      when entry = env.constant_decls[name]
-        type = absolute_type(entry.decl.type, context: entry.context)
-        Constant.new(name: name, type: type, entry: entry)
-      when entry = env.class_decls[name]
-        type = Types::ClassSingleton.new(name: name, location: nil)
-        Constant.new(name: name, type: type, entry: entry)
-      end
-    end
-
-    def split_name(name)
-      name.namespace.path + [name.name]
-    end
-
-    def resolve_constant_reference(name, context:)
-      raise "Context cannot be empty: Specify `[Namespace.root]`" if context.empty?
-
-      head, *tail = split_name(name)
-
-      raise unless head
-
-      head_constant = case
-                      when name.absolute?
-                        name_to_constant(TypeName.new(name: head, namespace: Namespace.root))
-                      when context == [Namespace.root]
-                        name_to_constant(TypeName.new(name: head, namespace: Namespace.root))
-                      else
-                        resolve_constant_reference_context(head, context: context) ||
-                          context.first.yield_self do |first_context|
-                            raise unless first_context
-                            resolve_constant_reference_inherit(head, scopes: constant_scopes(first_context.to_type_name))
-                          end
-                      end
-
-      tail.inject(head_constant) do |constant, name|
-        if constant
-          resolve_constant_reference_inherit(
-            name,
-            scopes: constant_scopes(constant.name),
-            no_object: constant.name != BuiltinNames::Object.name
-          )
-        end
-      end
-    end
-
-    def resolve_constant_reference_context(name, context:)
-      head, *tail = context
-
-      if head
-        if head.path.last == name
-          name_to_constant(head.to_type_name)
-        else
-          name_to_constant(TypeName.new(name: name, namespace: head)) ||
-            resolve_constant_reference_context(name, context: tail)
-        end
-      end
-    end
-
-    def resolve_constant_reference_inherit(name, scopes:, no_object: false)
-      scopes.each do |context|
-        if context.path == [:Object]
-          unless no_object
-            constant = name_to_constant(TypeName.new(name: name, namespace: context)) ||
-              name_to_constant(TypeName.new(name: name, namespace: Namespace.root))
-          end
-        else
-          constant = name_to_constant(TypeName.new(name: name, namespace: context))
-        end
-
-        return constant if constant
-      end
-
-      nil
-    end
-
-    def constant_scopes(name)
-      constant_scopes_cache[name] ||= constant_scopes0(name, scopes: [])
-    end
-
-    def constant_scopes_module(name, scopes:)
-      entry = env.class_decls[name]
-      namespace = name.to_namespace
-
-      entry.decls.each do |d|
-        d.decl.members.each do |member|
-          case member
-          when AST::Members::Include
-            if member.name.class?
-              constant_scopes_module absolute_type_name(member.name, context: d.context, location: member.location),
-                                     scopes: scopes
-            end
-          end
-        end
-      end
-
-      scopes.unshift namespace
-    end
-
-    def constant_scopes0(name, scopes: [])
-      entry = env.class_decls[name]
-      namespace = name.to_namespace
-
-      case entry
-      when Environment::ClassEntry
-        unless name == BuiltinNames::BasicObject.name
-          super_name = entry.primary.decl.super_class&.yield_self do |super_class|
-            absolute_type_name(super_class.name, context: entry.primary.context, location: entry.primary.decl.location)
-          end || BuiltinNames::Object.name
-
-          constant_scopes0 super_name, scopes: scopes
-        end
-
-        entry.decls.each do |d|
-          d.decl.members.each do |member|
-            case member
-            when AST::Members::Include
-              if member.name.class?
-                constant_scopes_module absolute_type_name(member.name, context: d.context, location: member.location),
-                                       scopes: scopes
-              end
-            end
-          end
-        end
-
-        scopes.unshift namespace
-
-      when Environment::ModuleEntry
-        constant_scopes0 BuiltinNames::Module.name, scopes: scopes
-        constant_scopes_module name, scopes: scopes
-      end
-
-      scopes
-    end
-  end
-end

data/lib/rbs/type_name_resolver.rb

@@ -1,67 +0,0 @@
-# frozen_string_literal: true
-
-module RBS
-  class TypeNameResolver
-    Query = _ = Struct.new(:type_name, :context, keyword_init: true)
-
-    attr_reader :all_names
-    attr_reader :cache
-
-    def initialize()
-      @all_names = Set[]
-      @cache = {}
-    end
-
-    def self.from_env(env)
-      new.add_names(env.class_decls.keys)
-        .add_names(env.interface_decls.keys)
-        .add_names(env.alias_decls.keys)
-    end
-
-    def add_names(names)
-      all_names.merge(names)
-      self
-    end
-
-    def try_cache(query)
-      cache.fetch(query) do
-        result = yield
-        cache[query] = result
-      end
-    end
-
-    def resolve(type_name, context:)
-      if type_name.absolute?
-        return type_name
-      end
-
-      query = Query.new(type_name: type_name, context: context)
-      try_cache(query) do
-        path_head, *path_tail = type_name.split
-        raise unless path_head
-
-        name_head = TypeName.new(name: path_head, namespace: Namespace.empty)
-
-        absolute_head = context.find do |namespace|
-          # @type break: TypeName
-          full_name = name_head.with_prefix(namespace)
-          has_name?(full_name) and break full_name
-        end
-
-        case absolute_head
-        when TypeName
-          has_name?(Namespace.new(path: absolute_head.to_namespace.path.push(*path_tail), absolute: true).to_type_name)
-        when Namespace
-          # This cannot happen because the `context.find` doesn't return a Namespace.
-          raise
-        end
-      end
-    end
-
-    def has_name?(full_name)
-      if all_names.include?(full_name)
-        full_name
-      end
-    end
-  end
-end

data/sig/constant_table.rbs

@@ -1,30 +0,0 @@
-module RBS
-  class ConstantTable
-    attr_reader definition_builder: DefinitionBuilder
-    attr_reader constant_scopes_cache: Hash[TypeName, Array[Namespace]]
-    attr_reader resolver: TypeNameResolver
-    attr_reader env(): Environment
-
-    def initialize: (builder: DefinitionBuilder) -> void
-
-    def absolute_type: (Types::t, context: Array[Namespace]) -> Types::t
-
-    def absolute_type_name: (TypeName, context: Array[Namespace], location: Location[untyped, untyped]?) -> TypeName
-
-    def name_to_constant: (TypeName) -> Constant?
-
-    def split_name: (TypeName) -> Array[Symbol]
-
-    def resolve_constant_reference: (TypeName name, context: Array[Namespace]) -> Constant?
-
-    def resolve_constant_reference_context: (Symbol, context: Array[Namespace]) -> Constant?
-
-    def resolve_constant_reference_inherit: (Symbol, scopes: Array[Namespace], ?no_object: boolish) -> Constant?
-
-    def constant_scopes: (TypeName) -> Array[Namespace]
-
-    def constant_scopes_module: (TypeName, scopes: Array[Namespace]) -> Array[Namespace]
-
-    def constant_scopes0: (TypeName, ?scopes: Array[Namespace]) -> Array[Namespace]
-  end
-end

data/sig/type_name_resolver.rbs

@@ -1,26 +0,0 @@
-module RBS
-  class TypeNameResolver
-    type context = Array[Namespace]
-
-    class Query
-      attr_reader type_name: TypeName
-      attr_reader context: Array[Namespace]
-
-      def initialize: (type_name: TypeName, context: context) -> void
-    end
-
-    attr_reader all_names: Set[TypeName]
-
-    attr_reader cache: Hash[Query, TypeName?]
-
-    def self.from_env: (Environment) -> TypeNameResolver
-
-    def add_names: (Array[TypeName]) -> self
-
-    def resolve: (TypeName, context: context) -> TypeName?
-
-    def has_name?: (TypeName) -> TypeName?
-
-    def try_cache: (Query) { () -> TypeName? } -> TypeName?
-  end
-end