Uses of Class
de.uka.ilkd.pp.Layouter

Uses of Layouter in de.uka.ilkd.pp

Subclasses of Layouter in de.uka.ilkd.pp

class

DataLayouter<Exc extends Exception> An extension of Layouter to print arbitrary Java data.

Methods in de.uka.ilkd.pp that return Layouter

Layouter<Exc>	Layouter.begin(boolean consistent) Deprecated. use begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)
Layouter<Exc>	Layouter.begin(boolean consistent, int indent) Deprecated. use begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)
Layouter<Exc>	Layouter.begin(Layouter.BreakConsistency cons, Layouter.IndentationBase indBase, int indent) Begin a block.
Layouter<Exc>	Layouter.beginC() Begin a consistent block.
Layouter<Exc>	Layouter.beginC(int indent) Begin a consistent block.
Layouter<Exc>	Layouter.beginCInd() Begin a consistent block.
Layouter<Exc>	Layouter.beginCInd(int indent) Begin a consistent block.
Layouter<Exc>	Layouter.beginI() Begin an inconsistent block.
Layouter<Exc>	Layouter.beginI(int indent) Begin an inconsistent block.
Layouter<Exc>	Layouter.beginIInd() Begin an inconsistent block.
Layouter<Exc>	Layouter.beginIInd(int indent) Begin an inconsistent block.
Layouter<Exc>	Layouter.brk() Print a break with zero offset and width one.
Layouter<Exc>	Layouter.brk(int width) Print a break with zero offset.
Layouter<Exc>	Layouter.brk(int width, int offset) Print a break.
Layouter<Exc>	Layouter.end() Ends the innermost block.
Layouter<Exc>	Layouter.flush() Output any information currently kept in buffers.
static Layouter<NoExceptions>	Layouter.getStringLayouter(java.lang.StringBuilder sb) Factory method for a Layouter with a StringBackend.
static Layouter<NoExceptions>	Layouter.getStringLayouter(java.lang.StringBuilder sb, int lineWidth) Factory method for a Layouter with a StringBackend.
static Layouter<NoExceptions>	Layouter.getStringLayouter(java.lang.StringBuilder sb, int lineWidth, int indentation) Factory method for a Layouter with a StringBackend.
static Layouter<java.io.IOException>	Layouter.getWriterLayouter(java.io.Writer writer) Factory method for a Layouter with a WriterBackend.
static Layouter<java.io.IOException>	Layouter.getWriterLayouter(java.io.Writer writer, int lineWidth) Factory method for a Layouter with a WriterBackend.
static Layouter<java.io.IOException>	Layouter.getWriterLayouter(java.io.Writer writer, int lineWidth, int indentation) Factory method for a Layouter with a WriterBackend.
Layouter<Exc>	Layouter.ind() Indent with zero offset and zero width.
Layouter<Exc>	Layouter.ind(int width, int offset) Indent relative to the indentation level if surrounding block is broken.
Layouter<Exc>	Layouter.mark(java.lang.Object o) This leads to a call of the Backend.mark(Object) method of the backend, when the material preceding the call to mark has been printed to the backend, including any inserted line breaks and indentation.
Layouter<Exc>	Layouter.nl() Print a break with zero offset and large width.
Layouter<Exc>	Layouter.pre(java.lang.String s) Layout prefromated text.
Layouter<Exc>	Layouter.print(java.lang.String s) Output text material.