Class: Jade::Frontend::TypeChecking::StructDef

Inherits:

Data

• Object
• Data
• Jade::Frontend::TypeChecking::StructDef

Defined in:

lib/jade/frontend/type_checking/definition.rb

Instance Attribute Summary

• #body ⇒ Object readonly

  Returns the value of attribute body.

• #name ⇒ Object readonly

  Returns the value of attribute name.

• #type_params ⇒ Object readonly

  Returns the value of attribute type_params.

Instance Attribute Details

#body ⇒ Object (readonly)

Returns the value of attribute body

Returns:

• (Object) —

  the current value of body

# File 'lib/jade/frontend/type_checking/definition.rb', line 5

def body
  @body
end

#name ⇒ Object (readonly)

Returns the value of attribute name

Returns:

• (Object) —

  the current value of name

# File 'lib/jade/frontend/type_checking/definition.rb', line 5

def name
  @name
end

#type_params ⇒ Object (readonly)

Returns the value of attribute type_params

Returns:

• (Object) —

  the current value of type_params

# File 'lib/jade/frontend/type_checking/definition.rb', line 5

def type_params
  @type_params
end