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

Uses of NoExceptions in de.uka.ilkd.pp

Methods in de.uka.ilkd.pp that return types with arguments of type NoExceptions

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.