Exception: RBS::NoTypeFoundError

Inherits:
BaseError
  • Object
show all
Defined in:
lib/rbs/errors.rb

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(type_name:, location:) ⇒ NoTypeFoundError

Returns a new instance of NoTypeFoundError.



114
115
116
117
118
119
# File 'lib/rbs/errors.rb', line 114

def initialize(type_name:, location:)
  @type_name = type_name
  @location = location

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

Instance Attribute Details

#locationObject (readonly)

Returns the value of attribute location.



112
113
114
# File 'lib/rbs/errors.rb', line 112

def location
  @location
end

#type_nameObject (readonly)

Returns the value of attribute type_name.



111
112
113
# File 'lib/rbs/errors.rb', line 111

def type_name
  @type_name
end

Class Method Details

.check!(type_name, env:, location:) ⇒ Object



121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
# File 'lib/rbs/errors.rb', line 121

def self.check!(type_name, env:, location:)
  dic = case
        when type_name.class?
          env.class_decls
        when type_name.alias?
          env.alias_decls
        when type_name.interface?
          env.interface_decls
        else
          raise
        end

  dic.key?(type_name) or raise new(type_name: type_name, location: location)

  type_name
end