public void clear() { out.print(StringTools.strrep(' ', this.lineLength) + '\r'); } }
public static void printBigSep(String title) { System.out.println(); String eq80 = StringTools.strrep("=", 80); String sp76 = StringTools.strrep(" ", 76); String spX = StringTools.strrep(" ", Math.max(75 - title.length(), 1)); System.out.println(eq80); System.out.println("==" + sp76 + "=="); System.out.println("== " + title + spX + "=="); System.out.println("==" + sp76 + "=="); System.out.println(eq80); System.out.println(); }
void dbgIn(String format, Object... args) { System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); ++dbgIndent; }
private void writeNewlines(int num) { finishLine(); sb.append(StringTools.strrep('\n', num)); needNewlines = 0; needSpace = false; }
void dbg(String format, Object... args) { System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); }
void dbgOut(String format, Object... args) { --dbgIndent; System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); }
void dbg(String format, Object... args) { System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); }
void dbgIn(String format, Object... args) { System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); ++dbgIndent; }
void dbgOut(String format, Object... args) { --dbgIndent; System.out.println(StringTools.indent( String.format(format, args), StringTools.strrep(' ', dbgIndent * 4))); }
private void writeNewlines(int num) { finishLine(); sb.append(StringTools.strrep('\n', num)); needNewlines = 0; needSpace = false; }
private void writeNewlines(int num) { finishLine(); sb.append(StringTools.strrep('\n', num)); needNewlines = 0; needSpace = false; }
public void dump(PrintStream err) { for (Entry<String, MemoizedProduction> x : RatsWikitextParser.getStats().getMemoizedProductions().entrySet()) { err.print(x.getKey() + ":"); err.print(StringTools.strrep(' ', 20 - x.getKey().length())); err.println(x.getValue()); } } }
public void dump(PrintStream err) { for (Entry<String, MemoizedProduction> x : RatsWikitextParser.getStats().getMemoizedProductions().entrySet()) { err.print(x.getKey() + ":"); err.print(StringTools.strrep(' ', 20 - x.getKey().length())); err.println(x.getValue()); } } }
private void print(int indent, String header, TimingResults timings) { String msg = String.format("" + "Mean: % 7.2f ms\n" + "Median: % 7.2f ms\n" + "StdDev: % 7.2f ms", timings.mean.evaluate() * 1000.0, timings.median.evaluate() * 1000.0, timings.stddev.evaluate() * 1000.0); System.out.println(StringTools.indent(header + ":", StringTools.strrep(' ', indent))); System.out.println(StringTools.indent(msg, StringTools.strrep(' ', indent + 2))); }
public void visit(WtTicks n) { p.print(StringTools.strrep('\'', n.getTickCount())); }
public void visit(WtSignature n) { p.print(StringTools.strrep('~', n.getTildeCount())); }
public void visit(WtHorizontalRule hr) { newline(1); write(StringTools.strrep('-', wrapCol)); newline(2); }
public void visit(WtHeading n) { int level = ((WtSection) scope.peek()).getLevel(); String equals = StringTools.strrep('=', level); p.print(equals); iterate(n); p.println(equals); }
public void visit(WtHeading n) { int level = ((WtSection) scope.peek()).getLevel(); String equals = StringTools.strrep('=', level); p.print(equals); iterate(n); p.println(equals); }