public final class ExprPrinter
extends ru.ispras.fortress.expression.printer.MapBasedPrinter
Modifier and Type | Method and Description |
---|---|
void |
addVariableMapping(java.lang.String key,
java.lang.String mapping) |
void |
addVariableMappings(Var variable,
java.lang.String mapping) |
static java.lang.String |
bigIntegerToString(java.math.BigInteger value) |
static java.lang.String |
bitVectorToString(ru.ispras.fortress.data.types.bitvector.BitVector value) |
static ExprPrinter |
get() |
protected ru.ispras.fortress.expression.printer.OperationDescription |
getOperationDescription(ru.ispras.fortress.expression.NodeOperation expr) |
java.lang.String |
getVariableMapping(java.lang.String variableName) |
void |
popVariableScope() |
void |
pushVariableScope() |
public static ExprPrinter get()
protected ru.ispras.fortress.expression.printer.OperationDescription getOperationDescription(ru.ispras.fortress.expression.NodeOperation expr)
getOperationDescription
in class ru.ispras.fortress.expression.printer.MapBasedPrinter
public void pushVariableScope()
public void popVariableScope()
public void addVariableMappings(Var variable, java.lang.String mapping)
public void addVariableMapping(java.lang.String key, java.lang.String mapping)
public java.lang.String getVariableMapping(java.lang.String variableName)
public static java.lang.String bitVectorToString(ru.ispras.fortress.data.types.bitvector.BitVector value)
public static java.lang.String bigIntegerToString(java.math.BigInteger value)