In Files

  • rbs-1.0.4/lib/rbs/validator.rb

Class/Module Index [+]

Quicksearch

RBS::Validator

Attributes

env[R]
resolver[R]

Public Class Methods

new(env:, resolver:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/validator.rb, line 6
def initialize(env,, resolver))
  @env = env
  @resolver = resolver
end
            

Public Instance Methods

absolute_type(type, context:) click to toggle source
 
               # File rbs-1.0.4/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
            
validate_type(type, context:) click to toggle source

Validates presence of the relative type, and application arity match.

 
               # File rbs-1.0.4/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