Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## escjava.prover
Class PPOutputStream

    java.lang.Object
      java.io.OutputStream
          java.io.FilterOutputStream
              escjava.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()`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage