|
Hilbert II - Version 0.03.01 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.parser.TextOutput
Wraps a text output stream.
| Constructor Summary | |
TextOutput(PrintStream output)
Constructor. |
|
| Method Summary | |
void |
close()
Close output. |
void |
print(Object object)
Print object to output. |
void |
print(String text)
Print text to output. |
void |
println()
Print new line to output. |
void |
println(Object object)
Print object and new line to output. |
void |
println(String line)
Print text and new line to output. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public TextOutput(PrintStream output)
output - Write to this output.| Method Detail |
public void print(String text)
text - Append this.public void print(Object object)
object - Append text representation of this.public final void println(String line)
line - Append this.public final void println(Object object)
object - Append text representation of this.public final void println()
public final void close()
|
Hilbert II - Version 0.03.01 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |