class SFRP::Flat::VConst

Public Instance Methods

to_poly(src_set, dest_set) click to toggle source
# 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