public class JavaExprPrinter extends MapBasedPrinter
Modifier and Type | Class and Description |
---|---|
protected class |
JavaExprPrinter.Visitor |
MapBasedPrinter.ExprTreeVisitor
Constructor and Description |
---|
JavaExprPrinter() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
bigIntegerToString(java.math.BigInteger value)
Converts the specified integer value into a Java-format textual representation.
|
static java.lang.String |
bitVectorToString(BitVector value)
Converts the specified bit vector into a Java-format textual representation.
|
static java.lang.String |
integerToString(java.math.BigInteger value)
Converts the specified integer value into a Java-format textual representation.
|
addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, addMapping, getOperationDescription, setVisitor, toString
public static java.lang.String bitVectorToString(BitVector value)
value
- BitVector
object to be converted.java.lang.IllegalArgumentException
- if the argument is null
.public static java.lang.String integerToString(java.math.BigInteger value)
int
, long
or BigInteger
.value
- BigInteger
object to be converted.java.lang.IllegalArgumentException
- if the argument is null
.public static java.lang.String bigIntegerToString(java.math.BigInteger value)
BigInteger
object.value
- BigInteger
object to be converted.BigInteger
object.java.lang.IllegalArgumentException
- if the argument is null
.