Class: SFRP::Flat::TypeAnnotationType

Inherits:

Struct

• Object
• Struct
• SFRP::Flat::TypeAnnotationType

Defined in:

lib/sfrp/flat/elements.rb

Instance Attribute Summary

• #arg_tas ⇒ Object

  Returns the value of attribute arg_tas.

• #sp ⇒ Object

  Returns the value of attribute sp.

• #tconst_str ⇒ Object

  Returns the value of attribute tconst_str.

Instance Method Summary

• #to_poly ⇒ Object

Instance Attribute Details

#arg_tas ⇒ Object

Returns the value of attribute arg_tas

Returns:

• (Object) —

  the current value of arg_tas

# File 'lib/sfrp/flat/elements.rb', line 78

def arg_tas
  @arg_tas
end

#sp ⇒ Object

Returns the value of attribute sp

Returns:

• (Object) —

  the current value of sp

# File 'lib/sfrp/flat/elements.rb', line 78

def sp
  @sp
end

#tconst_str ⇒ Object

Returns the value of attribute tconst_str

Returns:

• (Object) —

  the current value of tconst_str

# File 'lib/sfrp/flat/elements.rb', line 78

def tconst_str
  @tconst_str
end

Instance Method Details

#to_poly ⇒ Object

# File 'lib/sfrp/flat/elements.rb', line 79

def to_poly
  P.t(tconst_str, *arg_tas.map(&:to_poly))
end