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

private boolean	inComment
(package private) static int	lp
private int	parenDepth
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	write(int b) Writes the specified byte to this output stream.

Methods inherited from class java.io.FilterOutputStream

close, flush, write, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

parenDepth

private int parenDepth

inComment

private boolean inComment

recentNL

private boolean recentNL

lp

static final int lp

See Also:

Constant Field Values

rp

static final int rp

See Also:

Constant Field Values

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.