zeus.util
Class PrettyPrintWriter

java.lang.Object
  java.io.Writer
      java.io.PrintWriter
          zeus.util.PrettyPrintWriter

public class PrettyPrintWriter

extends java.io.PrintWriter

Field Summary

Fields inherited from class java.io.PrintWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

PrettyPrintWriter(java.io.File file)

Method Summary

void	pprint(int number, java.lang.Object any)

Methods inherited from class java.io.PrintWriter

checkError, close, flush, print, print, print, print, print, print, print, print, print, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

PrettyPrintWriter

public PrettyPrintWriter(java.io.File file)
                  throws java.io.IOException

Method Detail

pprint

public void pprint(int number,
                   java.lang.Object any)