lib/sfrp/mono/vconst.rb
def low_mark_element_exps(set, term_id, receiver_str)
        types = @arg_type_strs.map { |t_str| set.type(t_str) }
        types_needing_mark = types.select { |t| t.need_mark?(set) }
        types_needing_mark.each_with_index.map do |type, mem_idx|
          term_access = "#{type.terms_access_str(receiver_str)}.term#{term_id}"
          "#{type.low_mark_func_str}(#{term_access}.member#{mem_idx})"
        end
      end
# Return low-exp to mark elements of this vconst.
Return low-exp to mark elements of this vconst.
Return low - exp to mark elements of this vconst .
def low_mark_element_exps(set, term_id, receiver_str)
        types = @arg_type_strs.map { |t_str| set.type(t_str) }
        types_needing_mark = types.select { |t| t.need_mark?(set) }
        types_needing_mark.each_with_index.map do |type, mem_idx|
          term_access = "#{type.terms_access_str(receiver_str)}.term#{term_id}"
          "#{type.low_mark_func_str}(#{term_access}.member#{mem_idx})"
        end
      end
def low_mark_element_exps ( set , term_id , receiver_str ) types = @arg_type_strs . map { | t_str | set . type ( t_str ) } types_needing_mark = types . select { | t | t . need_mark? ( set ) } types_needing_mark . each_with_index . map do | type , mem_idx | term_access = "#{type.terms_access_str(receiver_str)}.term#{term_id}" "#{type.low_mark_func_str}(#{term_access}.member#{mem_idx})" end end
Return low-exp to mark elements of this vconst.
Return low - exp to mark elements of this vconst .
set
term_id
receiver_str