private static String _fullPath(JsonPointer tail, String segment) { if (tail == null) { StringBuilder sb = new StringBuilder(segment.length()+1); sb.append('/'); _appendEscaped(sb, segment); return sb.toString(); } String tailDesc = tail._asString; StringBuilder sb = new StringBuilder(segment.length() + 1 + tailDesc.length()); sb.append('/'); _appendEscaped(sb, segment); sb.append(tailDesc); return sb.toString(); }
private static String _fullPath(JsonPointer tail, String segment) { if (tail == null) { StringBuilder sb = new StringBuilder(segment.length()+1); sb.append('/'); _appendEscaped(sb, segment); return sb.toString(); } String tailDesc = tail._asString; StringBuilder sb = new StringBuilder(segment.length() + 1 + tailDesc.length()); sb.append('/'); _appendEscaped(sb, segment); sb.append(tailDesc); return sb.toString(); }
private static String _fullPath(JsonPointer tail, String segment) { if (tail == null) { StringBuilder sb = new StringBuilder(segment.length()+1); sb.append('/'); _appendEscaped(sb, segment); return sb.toString(); } String tailDesc = tail._asString; StringBuilder sb = new StringBuilder(segment.length() + 1 + tailDesc.length()); sb.append('/'); _appendEscaped(sb, segment); sb.append(tailDesc); return sb.toString(); }