static private void escapeURI(String s) { int lg = s.length(); for (int i = 0; i < lg; i++) { char ch = s.charAt(i); if (ch < okURIChars.length && okURIChars[ch]) { line.append(ch); } else { print("\\u"); String hexstr = Integer.toHexString(ch).toUpperCase(); int pad = 4 - hexstr.length(); for (; pad > 0; pad--) print("0"); print(hexstr); } } } static private void literal(ALiteral l) {
static private void escapeURI(String s) { int lg = s.length(); for (int i = 0; i < lg; i++) { char ch = s.charAt(i); if (ch < okURIChars.length && okURIChars[ch]) { line.append(ch); } else { print("\\u"); String hexstr = Integer.toHexString(ch).toUpperCase(); int pad = 4 - hexstr.length(); for (; pad > 0; pad--) print("0"); print(hexstr); } } } static private void literal(ALiteral l) {
switch (ch) { case '\\' : print("\\\\"); break; case '"' : print("\\\""); break; case '\n' : print("\\n"); break; case '\r' : print("\\r"); break; case '\t' : print("\\t"); break; default : line.append(ch); else { print("\\u"); String hexstr = Integer.toHexString(ch).toUpperCase(Locale.ENGLISH); int pad = 4 - hexstr.length(); print("0"); print(hexstr);
switch (ch) { case '\\' : print("\\\\"); break; case '"' : print("\\\""); break; case '\n' : print("\\n"); break; case '\r' : print("\\r"); break; case '\t' : print("\\t"); break; default : line.append(ch); else { print("\\u"); String hexstr = Integer.toHexString(ch).toUpperCase(Locale.ENGLISH); int pad = 4 - hexstr.length(); print("0"); print(hexstr);
static private void lineNumber() { if (numbers) { Locator locator = arp.getLocator(); if (locator != null) print( "# " + locator.getSystemId() + ":" + locator.getLineNumber() + "(" + locator.getColumnNumber() + ")\n"); } }
static private void lineNumber() { if (numbers) { Locator locator = arp.getLocator(); if (locator != null) print( "# " + locator.getSystemId() + ":" + locator.getLineNumber() + "(" + locator.getColumnNumber() + ")\n"); } }
static private void literal(ALiteral l) { //if (l.isWellFormedXML()) // System.out.print("xml"); line.append('"'); escape(l.toString()); line.append('"'); String lang = l.getLang(); if (lang != null && !lang.equals("")) { line.append('@'); print(lang); } String dt = l.getDatatypeURI(); if (dt != null && !dt.equals("")) { print("^^<"); escapeURI(dt); line.append('>'); } line.append(' '); }
static private void literal(ALiteral l) { //if (l.isWellFormedXML()) // System.out.print("xml"); line.append('"'); escape(l.toString()); line.append('"'); String lang = l.getLang(); if (lang != null && !lang.equals("")) { line.append('@'); print(lang); } String dt = l.getDatatypeURI(); if (dt != null && !dt.equals("")) { print("^^<"); escapeURI(dt); line.append('>'); } line.append(' '); }