public final class MapUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Map<ru.ispras.fortress.expression.Node,ru.ispras.fortress.expression.Node> |
getMaps()
Returns the MAP data type values with their SMV variable name.
|
static java.lang.String |
printMaps(SmvExprPrinter printer)
Returns the description of data arrays in SMV format.
|
static void |
resetMapCounter()
Resets data maps counter.
|
static void |
resetMaps()
Resets MAP data type container.
|
static ru.ispras.fortress.expression.Node |
substituteMaps(ru.ispras.fortress.expression.Node node)
Searches for DataTypeId.MAP values in the specified node and replaces them by generated
array variables.
|
public static void resetMaps()
public static java.util.Map<ru.ispras.fortress.expression.Node,ru.ispras.fortress.expression.Node> getMaps()
public static void resetMapCounter()
public static ru.ispras.fortress.expression.Node substituteMaps(ru.ispras.fortress.expression.Node node)
node
- - the specified Node
.public static java.lang.String printMaps(SmvExprPrinter printer)