Home | History | Annotate | Download | only in db

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();