public interface HeaderPrintWriter
Modifier and Type | Method and Description |
---|---|
void |
flush() |
PrintWriterGetHeader |
getHeader()
Return the header for the stream.
|
java.lang.String |
getName()
Gets the name of the wrapped writer or stream
|
java.io.PrintWriter |
getPrintWriter()
Gets a PrintWriter object for writing to this HeaderPrintWriter.
|
void |
print(java.lang.String message) |
void |
println(java.lang.Object message) |
void |
println(java.lang.String message) |
void |
printlnWithHeader(java.lang.String message)
Puts out some setup info for
the current write and the write(s) that will be put out next.
|
void printlnWithHeader(java.lang.String message)
All other writes to the stream use the PrintStream interface.
PrintWriterGetHeader getHeader()
java.io.PrintWriter getPrintWriter()
java.lang.String getName()
void print(java.lang.String message)
PrintWriter.print(boolean)
void println(java.lang.String message)
PrintWriter.println()
void println(java.lang.Object message)
PrintWriter.println()
void flush()
PrintWriter.flush()
Apache Derby V10.13 Internals - Copyright © 2004,2016 The Apache Software Foundation. All Rights Reserved.