Lines Matching refs:stream
88 /** get and set the RMI server call output stream */
89 public abstract void setOutputStream(OutputStream stream);
243 * Set the output stream associated with the RMI server call
302 /** record the last character written to this stream */
305 /** stream used for buffering lines */
360 LogStream stream = null;
362 stream = LogStream.log(oldLogName);
364 return new LogStreamLog(stream, level);
373 /** Log stream to which log messages are written */
374 private final LogStream stream;
379 private LogStreamLog(LogStream stream, Level level) {
380 if ((stream != null) && (level != null)) {
381 /* if the stream or level is null, dont log any
386 this.stream = stream;
396 stream.println(unqualifiedName(source[0]) +
407 synchronized (stream) {
409 stream.println(unqualifiedName(source[0]) + "." +
411 thrown.printStackTrace(stream);
417 return stream;
425 stream.setOutputStream(out);