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

Uses of DataLayouter in de.uka.ilkd.pp

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

DataLayouter<Exc>	DataLayouter.begin(boolean consistent) Deprecated. use begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)
DataLayouter<Exc>	DataLayouter.begin(boolean consistent, int indent) Deprecated. use begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)
DataLayouter<Exc>	DataLayouter.begin(Layouter.BreakConsistency consistent, Layouter.IndentationBase fromPos, int indent)
DataLayouter<Exc>	DataLayouter.beginC()
DataLayouter<Exc>	DataLayouter.beginC(int indent)
DataLayouter<Exc>	DataLayouter.beginCInd()
DataLayouter<Exc>	DataLayouter.beginCInd(int indent)
DataLayouter<Exc>	DataLayouter.beginI()
DataLayouter<Exc>	DataLayouter.beginI(int indent)
DataLayouter<Exc>	DataLayouter.beginIInd()
DataLayouter<Exc>	DataLayouter.beginIInd(int indent)
DataLayouter<Exc>	DataLayouter.brk()
DataLayouter<Exc>	DataLayouter.brk(int width)
DataLayouter<Exc>	DataLayouter.brk(int width, int offset)
DataLayouter<Exc>	DataLayouter.end()
DataLayouter<Exc>	DataLayouter.flush()
static DataLayouter<java.io.IOException>	DataLayouter.getWriterDataLayouter(java.io.Writer writer) Factory method for a DataLayouter with a WriterBackend.
static DataLayouter<java.io.IOException>	DataLayouter.getWriterDataLayouter(java.io.Writer writer, int lineWidth) Factory method for a DataLayouter with a WriterBackend.
static DataLayouter<java.io.IOException>	DataLayouter.getWriterDataLayouter(java.io.Writer writer, int lineWidth, int indentation) Factory method for a DataLayouter with a WriterBackend.
DataLayouter<Exc>	DataLayouter.ind()
DataLayouter<Exc>	DataLayouter.ind(int width, int offset)
DataLayouter<Exc>	DataLayouter.mark(java.lang.Object o)
DataLayouter<Exc>	DataLayouter.nl()
DataLayouter<Exc>	DataLayouter.pre(java.lang.String s)
DataLayouter<Exc>	DataLayouter.print(java.util.Collection<?> c) Print a collection.
DataLayouter<Exc>	DataLayouter.print(java.util.Map<?,?> m) Print a map.
DataLayouter<Exc>	DataLayouter.print(java.lang.Object o) Print o to this DataLayouter.
DataLayouter<Exc>	DataLayouter.print(java.lang.String s)
DataLayouter<Exc>	DataLayouter.printArray(java.lang.Object o) Print an array of reference or primitive elements.
DataLayouter<Exc>	DataLayouter.printEntry(java.util.Map.Entry<?,?> e) Print a map entry.

Methods in de.uka.ilkd.pp with parameters of type DataLayouter

<Exc extends java.lang.Exception> void

PrettyPrintable.prettyPrint(DataLayouter<Exc> l) Pretty prints this to the DataLayouter l.