Uses of Interface
de.uka.ilkd.pp.Backend

Uses of Backend in de.uka.ilkd.pp

Classes in de.uka.ilkd.pp that implement Backend

class	StringBackend A Backend which appends all output to a StringBuilder or StringBuffer.
class	WriterBackend A Backend which writes all output to a java.io.Writer.

Constructors in de.uka.ilkd.pp with parameters of type Backend

DataLayouter(Backend<Exc> back, int indentation)
Construts a newly allocated DataLayouter which will send output to the given Backend and has the given default indentation.

Layouter(Backend<Exc> back, int indentation)
Construts a newly allocated Layouter which will send output to the given Backend and has the given default indentation.