private static void printt(final PrintStream writer, final String title, final Object... args) { println(writer, "#=============================================================================#"); println(writer, "# %-76s#", format(title, args)); println(writer, "#=============================================================================#"); }
private static void printv(final PrintStream writer) { println(writer, "#=============================================================================#"); println(writer, "# %-76s#", format("%s %s (%s) ", p("os.name"), p("os.version"), p("os.arch")) ); println(writer, "# %-76s#", format("java version \"%s\"", p("java.version")) ); println(writer, "# %-76s#", format("%s (build %s)", p("java.runtime.name"), p("java.runtime.version")) ); println(writer, "# %-76s#", format("%s (build %s)", p("java.vm.name"), p("java.vm.version")) ); println(writer,"#=============================================================================#"); }
printv(writer); println(writer, "# %-76s#", format("Selector distributions (opt=%s, npop=%d, loops=%d):", opt, populationCount, loops)); for (Selector<?, ?> selector : selectors) { println(writer, "# %-76s#", format(" - %s", selector)); println(writer, "#=============================================================================#");