maj
Class IndentingPrintStream

java.lang.Object
  java.io.OutputStream
      java.io.FilterOutputStream
          java.io.PrintStream
              maj.IndentingPrintStream

public class IndentingPrintStream

extends java.io.PrintStream

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

IndentingPrintStream(java.io.OutputStream out)

Method Summary

void	decreaseIndent()
void	increaseIndent()
void	print(java.lang.Object o)
void	print(java.lang.String s)
void	println()
void	setIndentString(java.lang.String indentString)

Methods inherited from class java.io.PrintStream

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

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

Constructor Detail

IndentingPrintStream

public IndentingPrintStream(java.io.OutputStream out)

Method Detail

setIndentString

public void setIndentString(java.lang.String indentString)

println

public void println()

increaseIndent

public void increaseIndent()

decreaseIndent

public void decreaseIndent()

print

public void print(java.lang.Object o)

print

public void print(java.lang.String s)