Exception: RBS::CyclicTypeParameterBound

Inherits:

BaseError

• Object
• StandardError
• BaseError
• RBS::CyclicTypeParameterBound

Includes:

DetailedMessageable

Defined in:

lib/rbs/errors.rb,
sig/errors.rbs

Instance Attribute Summary

• #location ⇒ Location[untyped, untyped]^? readonly

  Returns the value of attribute location.

• #method_name ⇒ Symbol^? readonly

  Method name.

• #params ⇒ Array[AST::TypeParam] readonly

  Array of parameters which contains cyclic dependencies.

• #type_name ⇒ TypeName readonly

  Type name.

Instance Method Summary

• #initialize(type_name:, method_name:, params:, location:) ⇒ CyclicTypeParameterBound constructor

  A new instance of CyclicTypeParameterBound.

Methods included from DetailedMessageable

#detailed_message

Constructor Details

#initialize(type_name:, method_name:, params:, location:) ⇒ CyclicTypeParameterBound

Returns a new instance of CyclicTypeParameterBound.

Parameters:

• type_name: (TypeName)
• method_name: (Symbol, nil)
• params: (Array[AST::TypeParam])
• location: (Location[untyped, untyped], nil)

# File 'lib/rbs/errors.rb', line 564

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

  super "#{Location.to_string(location)}: Cyclic type parameter bound is prohibited"
end

Instance Attribute Details

#location ⇒ Location[untyped, untyped]^? (readonly)

Returns the value of attribute location.

Returns:

• (Location[untyped, untyped], nil)

# File 'lib/rbs/errors.rb', line 562

def location
  @location
end

#method_name ⇒ Symbol^? (readonly)

Method name

Returns:

• (Symbol, nil)

# File 'sig/errors.rbs', line 363

def method_name
  @method_name
end

#params ⇒ Array[AST::TypeParam] (readonly)

Array of parameters which contains cyclic dependencies.

Returns:

• (Array[AST::TypeParam])

# File 'sig/errors.rbs', line 357

def params
  @params
end

#type_name ⇒ TypeName (readonly)

Type name

Returns:

• (TypeName)

# File 'sig/errors.rbs', line 360

def type_name
  @type_name
end