| de.uka.ilkd.key.util.pp |
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 {@link
de.uka.ilkd.key.util.pp.Layouter} class. You may configure what
happens with the output by implemenenting the {@link
de.uka.ilkd.key.util.pp.Backend} interface, or by using one of the
standard implementations {@link
de.uka.ilkd.key.util.pp.StringBackend} and {@link
de.uka.ilkd.key.util.pp.WriterBackend}.
@author Martin Giese
|
| Java Source File Name | Type | Comment |
| Backend.java | Interface | The backend for a
Layouter . |
| Layouter.java | Class | This class pretty-prints information using line breaks and
indentation. |
| Printer.java | Class | The intermediate layer of the pretty printing library. |
| StringBackend.java | Class | A
Backend which appends all output to a StringBuffer.
The
StringBackend.mark(Object o) method does nothing in this
implementation. |
| TestLayouter.java | Class | Unit-Test the
Layouter class. |
| UnbalancedBlocksException.java | Class | |
| WriterBackend.java | Class | A
Backend which writes all output to a java.io.Writer. |