Class: Yadriggy::OptionalRole

Inherits:

Type

• Object
• Type
• Yadriggy::OptionalRole

Defined in:

lib/yadriggy/type.rb

Overview

A role that can be attached to a Type object. It makes a chain of Type objects.

Direct Known Subclasses

C::ForeignMethodType, C::NativeMethodType, C::WithReturnType, LocalVarType, ResultType

Instance Method Summary

• #==(t) ⇒ Object

  Checks the equality.

• #initialize(type) ⇒ OptionalRole constructor

  A new instance of OptionalRole.

• #supertype ⇒ Type

  The super type.

Methods inherited from Type

#!=, #eql?, error_found!, #name, role

Constructor Details

#initialize(type) ⇒ OptionalRole

Returns a new instance of OptionalRole.

Parameters:

• type (Type) —

  a Type object that this role is added to.

# File 'lib/yadriggy/type.rb', line 635

def initialize(type)
  @type = type
end

Instance Method Details

#==(t) ⇒ Object

Checks the equality. The roles (a Yadriggy::OptionalRole objects) in the chain are ignored when objects are compared.

# File 'lib/yadriggy/type.rb', line 662

def == (t)
  @type == t
end

#supertype ⇒ Type

Returns the super type.

Returns:

• (Type) —

  the super type.

# File 'lib/yadriggy/type.rb', line 701

def supertype
  @type.supertype
end