Deprecated API

Contents

• Deprecated Methods
• Deprecated Constructors

Deprecated Methods

de.uka.ilkd.pp.DataLayouter.begin(boolean)
use DataLayouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

de.uka.ilkd.pp.Layouter.begin(boolean)
use Layouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

de.uka.ilkd.pp.DataLayouter.begin(boolean, int)
use DataLayouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

de.uka.ilkd.pp.Layouter.begin(boolean, int)
use Layouter.begin(de.uka.ilkd.pp.Layouter.BreakConsistency, de.uka.ilkd.pp.Layouter.IndentationBase, int)

Deprecated Constructors

de.uka.ilkd.pp.StringBackend(StringBuffer, int)
consider using the constructor StringBackend.StringBackend(StringBuilder, int), as StringBuilders are faster, and multi-threaded access to sb is probably not going to work anyhow.