protected static void do_table_as_string(PrintWriter out, short[][] sa) { out.println("new String[] {"); out.print(" \""); int nchar=0, nbytes=0; nbytes+=do_escaped(out, (char)(sa.length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa.length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int i=0; i<sa.length; i++) { nbytes+=do_escaped(out, (char)(sa[i].length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa[i].length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int j=0; j<sa[i].length; j++) { // contents of string are (value+2) to allow for common -1, 0 cases // (UTF-8 encoding is most efficient for 0<c<0x80) nbytes+=do_escaped(out, (char)(2+sa[i][j])); nchar =do_newline(out, nchar, nbytes); } } out.print("\" }"); } // split string if it is very long; start new line occasionally for neatness
protected static void do_table_as_string(PrintWriter out, short[][] sa) { out.println("new String[] {"); out.print(" \""); int nchar=0, nbytes=0; nbytes+=do_escaped(out, (char)(sa.length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa.length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int i=0; i<sa.length; i++) { nbytes+=do_escaped(out, (char)(sa[i].length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa[i].length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int j=0; j<sa[i].length; j++) { // contents of string are (value+2) to allow for common -1, 0 cases // (UTF-8 encoding is most efficient for 0<c<0x80) nbytes+=do_escaped(out, (char)(2+sa[i][j])); nchar =do_newline(out, nchar, nbytes); } } out.print("\" }"); } // split string if it is very long; start new line occasionally for neatness
protected static void do_table_as_string(PrintWriter out, short[][] sa) { out.println("new String[] {"); out.print(" \""); int nchar=0, nbytes=0; nbytes+=do_escaped(out, (char)(sa.length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa.length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int i=0; i<sa.length; i++) { nbytes+=do_escaped(out, (char)(sa[i].length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa[i].length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int j=0; j<sa[i].length; j++) { // contents of string are (value+2) to allow for common -1, 0 cases // (UTF-8 encoding is most efficient for 0<c<0x80) nbytes+=do_escaped(out, (char)(2+sa[i][j])); nchar =do_newline(out, nchar, nbytes); } } out.print("\" }"); } // split string if it is very long; start new line occasionally for neatness
protected static void do_table_as_string(PrintWriter out, short[][] sa) { out.println("new String[] {"); out.print(" \""); int nchar=0, nbytes=0; nbytes+=do_escaped(out, (char)(sa.length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa.length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int i=0; i<sa.length; i++) { nbytes+=do_escaped(out, (char)(sa[i].length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa[i].length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int j=0; j<sa[i].length; j++) { // contents of string are (value+2) to allow for common -1, 0 cases // (UTF-8 encoding is most efficient for 0<c<0x80) nbytes+=do_escaped(out, (char)(2+sa[i][j])); nchar =do_newline(out, nchar, nbytes); } } out.print("\" }"); } // split string if it is very long; start new line occasionally for neatness
protected static void do_table_as_string(PrintWriter out, short[][] sa) { out.println("new String[] {"); out.print(" \""); int nchar=0, nbytes=0; nbytes+=do_escaped(out, (char)(sa.length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa.length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int i=0; i<sa.length; i++) { nbytes+=do_escaped(out, (char)(sa[i].length>>16)); nchar =do_newline(out, nchar, nbytes); nbytes+=do_escaped(out, (char)(sa[i].length&0xFFFF)); nchar =do_newline(out, nchar, nbytes); for (int j=0; j<sa[i].length; j++) { // contents of string are (value+2) to allow for common -1, 0 cases // (UTF-8 encoding is most efficient for 0<c<0x80) nbytes+=do_escaped(out, (char)(2+sa[i][j])); nchar =do_newline(out, nchar, nbytes); } } out.print("\" }"); } // split string if it is very long; start new line occasionally for neatness