lib/sfrp/mono/vconst.rb
def low_compare_exps(set, receiver_exp)
        type = set.type(@type_str)
        return [] if type.single_vconst?
        return ["#{receiver_exp} == #{@native_str}"] if native?
        meta = type.meta_access_str(receiver_exp)
        term_id = type.term_id(@str)
        ["#{meta}.term_id == #{term_id}"]
      end
# Return conditional-low-exps to match this vconst and receiver-exp.
Return conditional-low-exps to match this vconst and receiver-exp.
Return conditional - low - exps to match this vconst and receiver - exp .
def low_compare_exps(set, receiver_exp)
        type = set.type(@type_str)
        return [] if type.single_vconst?
        return ["#{receiver_exp} == #{@native_str}"] if native?
        meta = type.meta_access_str(receiver_exp)
        term_id = type.term_id(@str)
        ["#{meta}.term_id == #{term_id}"]
      end
def low_compare_exps ( set , receiver_exp ) type = set . type ( @type_str ) return [ ] if type . single_vconst? return [ "#{receiver_exp} == #{@native_str}" ] if native? meta = type . meta_access_str ( receiver_exp ) term_id = type . term_id ( @str ) [ "#{meta}.term_id == #{term_id}" ] end
Return conditional-low-exps to match this vconst and receiver-exp.
Return conditional - low - exps to match this vconst and receiver - exp .
set
receiver_exp