public class ModelUtils
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static VerilogLiteral |
extractLiteral(ru.ispras.fortress.data.Data data) |
static ru.ispras.fortress.data.DataType |
getDataType(VerilogDeclaration declaration,
java.util.List<VerilogIndexRange> indexRanges) |
static ru.ispras.fortress.data.DataType |
getDataType(VerilogDeclaration declaration,
ru.ispras.fortress.transformer.ValueProvider valueProvider,
java.util.List<VerilogIndexRange> indexRanges) |
static java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getDefinedVariables(VerilogAssignment assignment)
Returns the set of variables used in the LHS of the assignment.
|
static int |
getLowerBit(VerilogRange range) |
static int |
getLowerBit(VerilogRange range,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static VerilogReference |
getReference(ru.ispras.fortress.expression.Node node) |
static int |
getUpperBit(VerilogRange range) |
static int |
getUpperBit(VerilogRange range,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static java.util.Set<ru.ispras.fortress.expression.NodeVariable> |
getUsedVariables(VerilogAssignment assignment)
Returns the set of variables used in the RHS of the assignment.
|
static ru.ispras.fortress.expression.NodeValue |
getValue(VerilogLiteral literal) |
static ru.ispras.fortress.expression.NodeVariable |
getVariable(VerilogDeclaration declaration) |
static ru.ispras.fortress.expression.NodeVariable |
getVariable(VerilogDeclaration declaration,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static ru.ispras.fortress.expression.NodeVariable |
getVariable(VerilogReference reference) |
static ru.ispras.fortress.expression.NodeVariable |
getVariable(VerilogReference reference,
ru.ispras.fortress.transformer.ValueProvider valueProvider) |
static java.lang.String |
getVariableName(VerilogDeclaration declaration) |
static ru.ispras.fortress.data.Data |
newBitVector(VerilogLiteral literal) |
static ru.ispras.fortress.data.Data |
newBoolean(VerilogLiteral literal) |
static ru.ispras.fortress.data.Data |
newInteger(VerilogLiteral literal) |
static ru.ispras.fortress.data.Data |
newReal(VerilogLiteral literal) |
public static ru.ispras.fortress.expression.NodeValue getValue(VerilogLiteral literal)
public static VerilogLiteral extractLiteral(ru.ispras.fortress.data.Data data)
public static ru.ispras.fortress.data.Data newBitVector(VerilogLiteral literal)
public static ru.ispras.fortress.data.Data newInteger(VerilogLiteral literal)
public static ru.ispras.fortress.data.Data newBoolean(VerilogLiteral literal)
public static ru.ispras.fortress.data.Data newReal(VerilogLiteral literal)
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogReference reference, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogReference reference)
public static VerilogReference getReference(ru.ispras.fortress.expression.Node node)
public static java.lang.String getVariableName(VerilogDeclaration declaration)
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogDeclaration declaration, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogDeclaration declaration)
public static ru.ispras.fortress.data.DataType getDataType(VerilogDeclaration declaration, ru.ispras.fortress.transformer.ValueProvider valueProvider, java.util.List<VerilogIndexRange> indexRanges)
public static ru.ispras.fortress.data.DataType getDataType(VerilogDeclaration declaration, java.util.List<VerilogIndexRange> indexRanges)
public static int getLowerBit(VerilogRange range, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static int getUpperBit(VerilogRange range, ru.ispras.fortress.transformer.ValueProvider valueProvider)
public static int getLowerBit(VerilogRange range)
public static int getUpperBit(VerilogRange range)
public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDefinedVariables(VerilogAssignment assignment)
assignment
- the assignment.public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getUsedVariables(VerilogAssignment assignment)
assignment
- the assignment.