gov.nasa.jpf.util

Class StructuredPrinter

java.lang.Object

gov.nasa.jpf.util.StructuredPrinter

Direct Known Subclasses:

ClassFilePrinter

public abstract class StructuredPrinter
extends java.lang.Object

a common base for printers that need to keep track of indentation levels

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	indent
protected int	indentLevel
protected java.io.PrintWriter	pw

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StructuredPrinter()
protected	StructuredPrinter(java.io.PrintWriter pw)

Method Summary

Modifier and Type	Method and Description
protected void	decIndent()
protected void	incIndent()
protected java.lang.String	indent()
protected void	printSectionHeader(java.lang.String id)

Methods inherited from class java.lang.Object

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

Field Detail

pw

protected java.io.PrintWriter pw

indentLevel

protected int indentLevel

indent

protected java.lang.String indent

Constructor Detail

StructuredPrinter

protected StructuredPrinter()

StructuredPrinter

protected StructuredPrinter(java.io.PrintWriter pw)

Method Detail

incIndent

protected void incIndent()

decIndent

protected void decIndent()

indent

protected java.lang.String indent()

printSectionHeader

protected void printSectionHeader(java.lang.String id)