Lines Matching defs:printStream
22 import java.io.PrintStream;
95 public PerformanceResults(PrintStream stream) {
97 this.printStream = stream;
102 public PerformanceResults(String name, String baseline, String baselinePrefix, PrintStream stream) {
106 this.printStream = stream;
746 if (this.printStream != null) {
747 this.printStream.println(" + no build specified => use last one: "+this.name); //$NON-NLS-1$
759 if (this.printStream != null) {
760 this.printStream.println(" + no baseline specified => use last one: "+this.baselineName); //$NON-NLS-1$
781 if (this.printStream != null) {
782 this.printStream.println();
783 this.printStream.flush();