Esempio n. 1
0
  private void printToken(String s) {
    for (int i = 0; i < s.length(); ++i) {
      if (s.charAt(i) == '\n') {
        ++curLine;
        curColumn = 1;
      } else curColumn++;

      out.print(s.charAt(i));
    }

    out.flush();
  }
Esempio n. 2
0
 /** Flushes the OutputStream or Writer that this TreeDumper is using. */
 public void flushWriter() {
   out.flush();
 }