Searched refs:label_type (Results 1 – 1 of 1) sorted by relevance
297 String label_type; in label_translate() local307 label_type = (String)label_types.get(id_str); in label_translate()313 return "((" + label_type + ")" + emit.pre("result") + ")"; in label_translate()337 return "(/*"+id_str+"*/("+label_type+")" + in label_translate()