In Files

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

Parent

Methods

Class/Module Index [+]

Quicksearch

RBS::NoSuperclassFoundError

Attributes

location[R]
type_name[R]

Public Class Methods

check!(type_name, env:, location:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/errors.rb, line 116
def self.check!(type_name, env,, location))
  env.class_decls.key?(type_name) or raise new(type_name: type_name, location: location)
end
            
new(type_name:, location:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/errors.rb, line 109
def initialize(type_name,, location))
  @type_name = type_name
  @location = location

  super "#{Location.to_string location}: Could not find super class: #{type_name}"
end