Class ExprPrinter
- java.lang.Object
-
- ru.ispras.fortress.expression.printer.MapBasedPrinter
-
- ru.ispras.microtesk.mmu.translator.codegen.sim.ExprPrinter
-
- All Implemented Interfaces:
ru.ispras.fortress.expression.printer.ExprTreePrinter
public final class ExprPrinter extends ru.ispras.fortress.expression.printer.MapBasedPrinter
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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 name)
void
popVariableScope()
void
pushVariableScope()
-
-
-
Method Detail
-
get
public static ExprPrinter get()
-
getOperationDescription
protected ru.ispras.fortress.expression.printer.OperationDescription getOperationDescription(ru.ispras.fortress.expression.NodeOperation expr)
- Overrides:
getOperationDescription
in classru.ispras.fortress.expression.printer.MapBasedPrinter
-
pushVariableScope
public void pushVariableScope()
-
popVariableScope
public void popVariableScope()
-
addVariableMappings
public void addVariableMappings(Var variable, java.lang.String mapping)
-
addVariableMapping
public void addVariableMapping(java.lang.String key, java.lang.String mapping)
-
getVariableMapping
public java.lang.String getVariableMapping(java.lang.String name)
-
bitVectorToString
public static java.lang.String bitVectorToString(ru.ispras.fortress.data.types.bitvector.BitVector value)
-
bigIntegerToString
public static java.lang.String bigIntegerToString(java.math.BigInteger value)
-
-