public final class Utils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getVariableName(Ir ir,
java.lang.String context,
ru.ispras.fortress.data.Variable variable) |
static java.lang.String |
getVariableName(java.lang.String context,
java.lang.String name) |
static java.lang.String |
toMmuExpressionText(java.lang.String context,
java.util.List<ru.ispras.fortress.expression.Node> fields) |
static java.lang.String |
toMmuExpressionText(java.lang.String context,
ru.ispras.fortress.expression.Node field) |
static java.lang.String |
toString(java.math.BigInteger value) |
static java.lang.String |
toString(Ir ir,
java.lang.String context,
Atom atom) |
static java.lang.String |
toString(Ir ir,
java.lang.String context,
ru.ispras.fortress.expression.Node node) |
static java.lang.String |
toString(java.lang.String context,
ru.ispras.fortress.expression.Node field) |
static java.lang.String |
toString(java.lang.String context,
ru.ispras.fortress.expression.Node field,
boolean printAsVariable) |
public static java.lang.String toString(java.math.BigInteger value)
public static java.lang.String toString(java.lang.String context, ru.ispras.fortress.expression.Node field)
public static java.lang.String toString(java.lang.String context, ru.ispras.fortress.expression.Node field, boolean printAsVariable)
public static java.lang.String toString(Ir ir, java.lang.String context, ru.ispras.fortress.expression.Node node)
public static java.lang.String getVariableName(java.lang.String context, java.lang.String name)
public static java.lang.String getVariableName(Ir ir, java.lang.String context, ru.ispras.fortress.data.Variable variable)
public static java.lang.String toMmuExpressionText(java.lang.String context, java.util.List<ru.ispras.fortress.expression.Node> fields)
public static java.lang.String toMmuExpressionText(java.lang.String context, ru.ispras.fortress.expression.Node field)