|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.io.OutputStream
java.io.FilterOutputStream
escjava.prover.PPOutputStream
This class is a FilterOutputStream class designed for LISP-like input; it pretty prints the output by inserting spaces and newlines into the stream.
Field Summary | |
(package private) boolean |
inComment
|
(package private) static int |
lp
|
(package private) int |
parenDepth
|
(package private) boolean |
recentNL
|
(package private) static int |
rp
|
Fields inherited from class java.io.FilterOutputStream |
out |
Constructor Summary | |
PPOutputStream(java.io.OutputStream out)
Creates an output stream filter built on top of an underlying output streams. |
Method Summary | |
void |
close()
Closes this output stream and releases any system resources associated with the stream. |
void |
flush()
Flushes this output stream and forces any buffered output bytes to be written out to the stream. |
void |
write(byte[] b)
Writes b.length bytes to this output stream.
|
void |
write(int b)
Writes the specified byte to this output stream.
|
Methods inherited from class java.io.FilterOutputStream |
write |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
int parenDepth
boolean inComment
static final int lp
static final int rp
boolean recentNL
Constructor Detail |
public PPOutputStream(java.io.OutputStream out)
out
- the underlying output streamMethod Detail |
public void write(int b) throws java.io.IOException
byte
to this output stream.
Implements the abstract write method of OutputStream.
b
- the byte
.
java.io.IOException
- if an I/O error occurs.public void write(byte[] b) throws java.io.IOException
b.length
bytes to this output stream.
b
- the data to be written.
java.io.IOException
- if an I/O error occurs.FilterOutputStream.write(byte[], int, int)
public void flush() throws java.io.IOException
java.io.IOException
- if an I/O error occurs.FilterOutputStream.flush()
public void close() throws java.io.IOException
java.io.IOException
- if an I/O error occurs.FilterOutputStream.flush()
,
FilterOutputStream.close()
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |