Skip navigation links

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

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

See: Description

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.
Skip navigation links

Copyright © 2003-2019 The KeY-Project.