edu.rice.cs.dynamicjava.symbol.type
Class TabPrintWriter

java.lang.Object
  java.io.Writer
      java.io.PrintWriter
          edu.rice.cs.dynamicjava.symbol.type.TabPrintWriter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable

public class TabPrintWriter
extends java.io.PrintWriter

An extension of PrintWriter to support indenting levels.

Field Summary

Fields inherited from class java.io.PrintWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

TabPrintWriter(java.io.Writer writer, int tabSize)

Method Summary

void	indent() ups indent for any future new lines.
void	printEscaped(java.lang.Object o)
void	printEscaped(java.lang.String s) Print a string in Java source-compatible escaped form.
void	printPossiblyEscaped(java.lang.String s, boolean lossless) Conditionally print the serialzed form of the given object.
void	printPossiblySerialized(java.lang.Object o, boolean lossless) Conditionally print the serialzed form of the given object.
void	printSerialized(java.lang.Object o) Print the serialized form of the given object as a hexadecimal number.
void	startLine()
void	startLine(java.lang.Object s)
void	startObject(java.lang.String name)
void	unindent()

Methods inherited from class java.io.PrintWriter

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, 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

TabPrintWriter

public TabPrintWriter(java.io.Writer writer,
                      int tabSize)

Method Detail

indent

public void indent()

ups indent for any future new lines.

unindent

public void unindent()

startLine

public void startLine(java.lang.Object s)

startLine

public void startLine()

printEscaped

public void printEscaped(java.lang.Object o)

printEscaped

public void printEscaped(java.lang.String s)

Print a string in Java source-compatible escaped form. All control characters (including line breaks) and quoting punctuation are escaped with a backslash.

printPossiblyEscaped

public void printPossiblyEscaped(java.lang.String s,
                                 boolean lossless)

Conditionally print the serialzed form of the given object.

printSerialized

public void printSerialized(java.lang.Object o)

Print the serialized form of the given object as a hexadecimal number.

Throws:

java.lang.RuntimeException - If the object is not serializable.

printPossiblySerialized

public void printPossiblySerialized(java.lang.Object o,
                                    boolean lossless)

Conditionally print the serialzed form of the given object.

startObject

public void startObject(java.lang.String name)