Searched refs:id_str (Results 1 – 1 of 1) sorted by relevance
291 String id_str, /* the id string we are (possibly) translating */ in label_translate() argument301 label_pos = (Integer)label_map.get(id_str); in label_translate()304 if (label_pos == null) return id_str; in label_translate()307 label_type = (String)label_types.get(id_str); in label_translate()322 System.err.println("*** Label \"" + id_str + in label_translate()329 return id_str; in label_translate()337 return "(/*"+id_str+"*/("+label_type+")" + in label_translate()360 String id_str; in action_translate() local391 id_str = new String(buffer, id_start, pos - id_start); in action_translate()393 label_translate(id_str, act_pos, label_map,label_types)); in action_translate()