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

escjava.prover
Class PPOutputStream

java.lang.Object
  extended byjava.io.OutputStream
      extended byjava.io.FilterOutputStream
          extended byescjava.prover.PPOutputStream

public class PPOutputStream
extends java.io.FilterOutputStream

This class is a FilterOutputStream class designed for LISP-like input; it pretty prints the output by inserting spaces and newlines into the stream.

Author:
David Cok

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

parenDepth

int parenDepth

inComment

boolean inComment

lp

static final int lp
See Also:
Constant Field Values

rp

static final int rp
See Also:
Constant Field Values

recentNL

boolean recentNL
Constructor Detail

PPOutputStream

public PPOutputStream(java.io.OutputStream out)
Creates an output stream filter built on top of an underlying output streams.

Parameters:
out - the underlying output stream
Method Detail

write

public void write(int b)
           throws java.io.IOException
Writes the specified byte to this output stream.

Implements the abstract write method of OutputStream.

Parameters:
b - the byte.
Throws:
java.io.IOException - if an I/O error occurs.

write

public void write(byte[] b)
           throws java.io.IOException
Writes b.length bytes to this output stream.

Parameters:
b - the data to be written.
Throws:
java.io.IOException - if an I/O error occurs.
See Also:
FilterOutputStream.write(byte[], int, int)

flush

public void flush()
           throws java.io.IOException
Flushes this output stream and forces any buffered output bytes to be written out to the stream.

Throws:
java.io.IOException - if an I/O error occurs.
See Also:
FilterOutputStream.flush()

close

public void close()
           throws java.io.IOException
Closes this output stream and releases any system resources associated with the stream.

Throws:
java.io.IOException - if an I/O error occurs.
See Also:
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

The ESC/Java2 Project Homepage