|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnl.tue.win.riaca.openmath.util.PrettyPrint
Pretty prints an OpenMath object.
Constructor Summary | |
PrettyPrint()
|
Method Summary | |
java.io.InputStream |
getInputStream()
Gets the input-stream. |
java.io.OutputStream |
getOutputStream()
Gets the output-stream. |
static void |
main(java.lang.String[] arguments)
Invokes the pretty-printer stand-alone. |
void |
prettyPrint()
Validates the document. |
void |
setInputStream(java.io.InputStream newInputStream)
Sets the input-stream. |
void |
setOutputStream(java.io.OutputStream newOutputStream)
Sets the output-stream. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public PrettyPrint()
Method Detail |
public void setOutputStream(java.io.OutputStream newOutputStream)
newOutputStream
- set the output stream.public java.io.OutputStream getOutputStream()
public void setInputStream(java.io.InputStream newInputStream)
newInputStream
- set the input stream.public java.io.InputStream getInputStream()
public void prettyPrint() throws java.lang.Exception
java.lang.Exception
- throw if we cannot pretty print the document for some
obscure reason.public static void main(java.lang.String[] arguments)
arguments
- the arguments passed to the program.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |