Gecko [ tsuru-no-tsurugi.tokyo ]

Linux tsuru-no-tsurugi 5.15.0-186-generic #196-Ubuntu SMP Sat Jun 20 16:09:34 UTC 2026 x86_64
Apache/2.4.52 (Ubuntu)
Server IP : 192.168.0.18 & Your IP : 216.73.216.68
Domains : Cant Read [ /etc/named.conf ]
User : www-data

Name	Size	Permission	Date
ast	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
definition_builder	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
prototype	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
test	[ DIR ]	drwxr-xr-x	2026-07-06 06:50
buffer.rb	890 B	-rw-r--r--	2021-07-07 19:08
builtin_names.rb	1.56 KB	-rw-r--r--	2021-07-07 19:08
cli.rb	21.91 KB	-rw-r--r--	2021-07-07 19:08
constant.rb	461 B	-rw-r--r--	2021-07-07 19:08
constant_table.rb	4.89 KB	-rw-r--r--	2021-07-07 19:08
definition.rb	9.17 KB	-rw-r--r--	2021-07-07 19:08
definition_builder.rb	29.39 KB	-rw-r--r--	2021-07-07 19:08
environment.rb	13.72 KB	-rw-r--r--	2021-07-07 19:08
environment_loader.rb	3.06 KB	-rw-r--r--	2021-07-07 19:08
environment_walker.rb	4.11 KB	-rw-r--r--	2021-07-07 19:08
errors.rb	8.66 KB	-rw-r--r--	2021-07-07 19:08
factory.rb	301 B	-rw-r--r--	2021-07-07 19:08
location.rb	2.31 KB	-rw-r--r--	2021-07-07 19:08
method_type.rb	2.15 KB	-rw-r--r--	2021-07-07 19:08
namespace.rb	2.12 KB	-rw-r--r--	2021-07-07 19:08
parser.rb	95.03 KB	-rw-r--r--	2021-07-07 19:08
parser.y	45.51 KB	-rw-r--r--	2021-07-07 19:08
repository.rb	2.64 KB	-rw-r--r--	2021-07-07 19:08
substitution.rb	1.23 KB	-rw-r--r--	2021-07-07 19:08
test.rb	2.57 KB	-rw-r--r--	2021-07-07 19:08
type_name.rb	1.61 KB	-rw-r--r--	2021-07-07 19:08
type_name_resolver.rb	1.56 KB	-rw-r--r--	2021-07-07 19:08
types.rb	25.19 KB	-rw-r--r--	2021-07-07 19:08
validator.rb	1.76 KB	-rw-r--r--	2021-07-07 19:08
variance_calculator.rb	3.89 KB	-rw-r--r--	2021-07-07 19:08
vendorer.rb	2.03 KB	-rw-r--r--	2021-07-07 19:08
version.rb	35 B	-rw-r--r--	2021-07-07 19:08
writer.rb	8.12 KB	-rw-r--r--	2021-07-07 19:08

Rename

module RBS
  class Validator
    attr_reader :env
    attr_reader :resolver

def initialize(env:, resolver:)
      @env = env
      @resolver = resolver
    end

def absolute_type(type, context:)
      type.map_type_name do |type_name, _, type|
        resolver.resolve(type_name, context: context) || yield(type)
      end
    end

# Validates presence of the relative type, and application arity match.
    def validate_type(type, context:)
      case type
      when Types::ClassInstance, Types::Interface
        # @type var type: Types::ClassInstance | Types::Interface
        if type.name.namespace.relative?
          type = _ = absolute_type(type, context: context) do |_|
            NoTypeFoundError.check!(type.name.absolute!, env: env, location: type.location)
          end
        end

type_params = case type
                      when Types::ClassInstance
                        env.class_decls[type.name]&.type_params
                      when Types::Interface
                        env.interface_decls[type.name]&.decl&.type_params
                      end

unless type_params
          raise NoTypeFoundError.new(type_name: type.name, location: type.location)
        end

InvalidTypeApplicationError.check!(
          type_name: type.name,
          args: type.args,
          params: type_params.each.map(&:name),
          location: type.location
        )

when Types::Alias, Types::ClassSingleton
        # @type var type: Types::Alias | Types::ClassSingleton
        type = _ = absolute_type(type, context: context) { type.name.absolute! }
        NoTypeFoundError.check!(type.name, env: env, location: type.location)
      end

type.each_type do |type|
        validate_type(type, context: context)
      end
    end
  end
end