Class: SFRP::Flat::VConst

Inherits:
Struct
  • Object
show all
Defined in:
lib/sfrp/flat/elements.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Instance Attribute Details

#native_str ⇒ Object

Returns the value of attribute native_str

Returns:

  • (Object) —

    the current value of native_str



34
35
36
 
# File 'lib/sfrp/flat/elements.rb', line 34

def native_str
  @native_str
end

#param_tas ⇒ Object

Returns the value of attribute param_tas

Returns:

  • (Object) —

    the current value of param_tas



34
35
36
 
# File 'lib/sfrp/flat/elements.rb', line 34

def param_tas
  @param_tas
end

#sp ⇒ Object

Returns the value of attribute sp

Returns:

  • (Object) —

    the current value of sp



34
35
36
 
# File 'lib/sfrp/flat/elements.rb', line 34

def sp
  @sp
end

#str ⇒ Object

Returns the value of attribute str

Returns:

  • (Object) —

    the current value of str



34
35
36
 
# File 'lib/sfrp/flat/elements.rb', line 34

def str
  @str
end

#tconst_str ⇒ Object

Returns the value of attribute tconst_str

Returns:

  • (Object) —

    the current value of tconst_str



34
35
36
 
# File 'lib/sfrp/flat/elements.rb', line 34

def tconst_str
  @tconst_str
end

Instance Method Details

#to_poly(src_set, dest_set) ⇒ Object 



35
36
37
38
39
 
# File 'lib/sfrp/flat/elements.rb', line 35

def to_poly(src_set, dest_set)
  tconst = src_set.tconst(tconst_str)
  fta = FuncTypeAnnotation.new(tconst.type_annot, param_tas)
  dest_set << Poly::VConst.new(str, tconst.pstrs, fta.to_poly, native_str)
end