equal
deleted
inserted
replaced
254 } |
254 } |
255 |
255 |
256 private static String stringifyComponent(NameComponent comp) { |
256 private static String stringifyComponent(NameComponent comp) { |
257 StringBuilder one = new StringBuilder(escape(comp.id)); |
257 StringBuilder one = new StringBuilder(escape(comp.id)); |
258 if (comp.kind != null && !comp.kind.equals("")) { |
258 if (comp.kind != null && !comp.kind.equals("")) { |
259 one.append(kindSeparator + escape(comp.kind)); |
259 one.append(kindSeparator).append(escape(comp.kind)); |
260 } |
260 } |
261 if (one.length() == 0) { |
261 if (one.length() == 0) { |
262 return ""+kindSeparator; // if neither id nor kind specified |
262 return ""+kindSeparator; // if neither id nor kind specified |
263 } else { |
263 } else { |
264 return one.toString(); |
264 return one.toString(); |