123456789_123456789_123456789_123456789_123456789_

Class: RBS::Validator

Relationships & Source Files
Inherits: Object
Defined in: lib/rbs/validator.rb

Class Method Summary

Instance Attribute Summary

Instance Method Summary

Constructor Details

.new(env:, resolver:) ⇒ Validator

[ GitHub ] 

  


# File 'lib/rbs/validator.rb', line 6



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


  







Instance Attribute Details



  

    #env   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/rbs/validator.rb', line 3



attr_reader :env


  








  

    #resolver   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/rbs/validator.rb', line 4



attr_reader :resolver


  







Instance Method Details



  

    #absolute_type(type, context:)  
  

  [ GitHub ]


  

  


# File '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:)  
  



  

    

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


  



  [ GitHub ]


  

  


# File '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


  








  

    #validate_type_alias(entry:)  
  



  

    
  





  
Raises:





  [ GitHub ]


  

  


# File '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