public char[] ns(int n) {
   char[] buf = new char[n];
   int b = skip(), p = 0;
   while (p < n && !(isSpaceChar(b))) {
     buf[p++] = (char) b;
     b = readByte();
   }
   return n == p ? buf : Arrays.copyOf(buf, p);
 }
 private static void print(Object... rs) {
   System.err.println(Arrays.deepToString(rs).replace("]", "]\n"));
 }
Esempio n. 3
0
 void debug(Object... os) {
   System.err.println(Arrays.deepToString(os));
 }
 void pr(Object... ob) {
   if (!oj) System.out.println(Arrays.deepToString(ob).replace("],", "],\n"));
 }