public class SMTBeautifier
extends java.lang.Object
indent(String)
to obtain a nice indented version of
your SMTLib2-code.Modifier and Type | Method and Description |
---|---|
static java.lang.String |
indent(java.lang.String smtCode)
Indent a piece of SMTLib2-code.
|
static java.lang.String |
indent(java.lang.String smtCode,
int lineLength)
Indent a piece of SMTLib2-code.
|
public static java.lang.String indent(java.lang.String smtCode)
IndexOutOfBoundsException
or
NullPointerException
if invoked on illegal smt code.smtCode
- the code to indent.public static java.lang.String indent(java.lang.String smtCode, int lineLength)
IndexOutOfBoundsException
or
NullPointerException
if invoked on illegal smt code.smtCode
- the code to indent.lineLength
- the number of characters per line, > 0Copyright © 2003-2019 The KeY-Project.