Package de.uka.ilkd.key.util.pp

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

See: Description

Interface Summary

Interface	Description
Backend	The backend for a Layouter.

Class Summary

Class	Description
Layouter	This class pretty-prints information using line breaks and indentation.
Printer	The intermediate layer of the pretty printing library.
StringBackend	A Backend which appends all output to a StringBuffer.
WriterBackend	Deprecated

Exception Summary

Exception	Description
UnbalancedBlocksException

Package de.uka.ilkd.key.util.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