Exception: RBS::TypeParamDefaultReferenceError

Inherits:
DefinitionError show all
Includes:
DetailedMessageable
Defined in:
lib/rbs/errors.rb

Instance Attribute Summary collapse

Class Method Summary collapse

Instance Method Summary collapse

Methods included from DetailedMessageable

#detailed_message

Constructor Details

#initialize(type_param, location:) ⇒ TypeParamDefaultReferenceError

Returns a new instance of TypeParamDefaultReferenceError.



620
621
622
623
624
 
# File 'lib/rbs/errors.rb', line 620

def initialize(type_param, location:)
  super "#{Location.to_string(location)}: the default of #{type_param.name} cannot include optional type parameter"
  @location = location
  @type_param = type_param
end

Instance Attribute Details

#location ⇒ Object (readonly)

Returns the value of attribute location.



618
619
620
 
# File 'lib/rbs/errors.rb', line 618

def location
  @location
end

#type_param ⇒ Object (readonly)

Returns the value of attribute type_param.



617
618
619
 
# File 'lib/rbs/errors.rb', line 617

def type_param
  @type_param
end

Class Method Details

.check!(type_params) ⇒ Object 



626
627
628
629
630
631
632
 
# File 'lib/rbs/errors.rb', line 626

def self.check!(type_params)
  if errors = AST::TypeParam.validate(type_params)
    error = errors[0] or raise
    error.default_type or raise
    raise new(error, location: error.default_type.location)
  end
end