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