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