class RBS::Validator

# File rbs-1.4.0/lib/rbs/validator.rb, line 6
def initialize(env:, resolver:)
  @env = env
  @resolver = resolver
end

# File rbs-1.4.0/lib/rbs/validator.rb, line 11
def absolute_type(type, context:)
  type.map_type_name do |type_name, _, type|
    resolver.resolve(type_name, context: context) || yield(type)
  end
end

# File rbs-1.4.0/lib/rbs/validator.rb, line 18
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

# File rbs-1.4.0/lib/rbs/validator.rb, line 57
def validate_type_alias(entry:)
  @type_alias_dependency ||= TypeAliasDependency.new(env: env)
  raise RecursiveTypeAliasError.new(alias_names: [entry.decl.name], location: entry.decl.location) if @type_alias_dependency.circular_definition?(entry.decl.name)
end