Lines Matching defs:id_str
285 * @param id_str the name of the id to be translated.
291 String id_str, /* the id string we are (possibly) translating */
301 label_pos = (Integer)label_map.get(id_str);
304 if (label_pos == null) return id_str;
307 label_type = (String)label_types.get(id_str);
322 System.err.println("*** Label \"" + id_str +
329 return id_str;
337 return "(/*"+id_str+"*/("+label_type+")" +
360 String id_str;
391 id_str = new String(buffer, id_start, pos - id_start);
393 label_translate(id_str, act_pos, label_map,label_types));