Package de.uka.ilkd.pp

A package to pretty-print information using line breaks and indentation.

See:
Description

Interface Summary

Backend<Exc extends Exception>

The backend for a Layouter.

Class Summary

Layouter<Exc extends Exception>	This class pretty-prints information using line breaks and indentation.
StringBackend	A Backend which appends all output to a StringBuffer.
TestLayouter	Unit-Test the Layouter class.
WriterBackend	A Backend which writes all output to a java.io.Writer.

Exception Summary

NoExceptions	A dummy Exception type parameter.
UnbalancedBlocksException	Thrown by many methods of Layouter to indicate illegal usage.

Package de.uka.ilkd.pp Description

A package to pretty-print information using line breaks and indentation. For instance, it can be used to print

    while (i>0) {
      i--;
      j++;
    }
    

instead of

    while (i>0) { i
    --; j++;}
    

if a maximum line width of 15 characters is chosen. The frontend to the Pretty-Printer is the Layouter class. You may configure what happens with the output by implemenenting the Backend interface, or by using one of the standard implementations StringBackend and WriterBackend.

Author:

Martin Giese