Class ModelUtils
- java.lang.Object
-
- ru.ispras.verilog.parser.model.util.ModelUtils
-
public class ModelUtils extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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 ru.ispras.fortress.expression.Node
getNode(SvaDeclaration declaration)
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(VerilogReference reference)
static ru.ispras.fortress.expression.NodeVariable
getVariable(VerilogReference reference, ru.ispras.fortress.transformer.ValueProvider valueProvider)
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 java.lang.String
getVariableName(ru.ispras.fortress.expression.NodeOperation instance)
static java.lang.String
getVariableName(VerilogDeclaration declaration)
static boolean
isSvaInstance(ru.ispras.fortress.expression.Node node)
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)
-
-
-
Method Detail
-
getValue
public static ru.ispras.fortress.expression.NodeValue getValue(VerilogLiteral literal)
-
extractLiteral
public static VerilogLiteral extractLiteral(ru.ispras.fortress.data.Data data)
-
newBitVector
public static ru.ispras.fortress.data.Data newBitVector(VerilogLiteral literal)
-
newInteger
public static ru.ispras.fortress.data.Data newInteger(VerilogLiteral literal)
-
newBoolean
public static ru.ispras.fortress.data.Data newBoolean(VerilogLiteral literal)
-
newReal
public static ru.ispras.fortress.data.Data newReal(VerilogLiteral literal)
-
getVariable
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogReference reference, ru.ispras.fortress.transformer.ValueProvider valueProvider)
-
getVariable
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogReference reference)
-
getReference
public static VerilogReference getReference(ru.ispras.fortress.expression.Node node)
-
getVariableName
public static java.lang.String getVariableName(VerilogDeclaration declaration)
-
getVariable
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogDeclaration declaration, ru.ispras.fortress.transformer.ValueProvider valueProvider)
-
getVariable
public static ru.ispras.fortress.expression.NodeVariable getVariable(VerilogDeclaration declaration)
-
getDataType
public static ru.ispras.fortress.data.DataType getDataType(VerilogDeclaration declaration, ru.ispras.fortress.transformer.ValueProvider valueProvider, java.util.List<VerilogIndexRange> indexRanges)
-
getDataType
public static ru.ispras.fortress.data.DataType getDataType(VerilogDeclaration declaration, java.util.List<VerilogIndexRange> indexRanges)
-
getLowerBit
public static int getLowerBit(VerilogRange range, ru.ispras.fortress.transformer.ValueProvider valueProvider)
-
getUpperBit
public static int getUpperBit(VerilogRange range, ru.ispras.fortress.transformer.ValueProvider valueProvider)
-
getLowerBit
public static int getLowerBit(VerilogRange range)
-
getUpperBit
public static int getUpperBit(VerilogRange range)
-
getDefinedVariables
public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getDefinedVariables(VerilogAssignment assignment)
Returns the set of variables used in the LHS of the assignment.- Parameters:
assignment
- the assignment.- Returns:
- the set of defined variables.
-
getUsedVariables
public static java.util.Set<ru.ispras.fortress.expression.NodeVariable> getUsedVariables(VerilogAssignment assignment)
Returns the set of variables used in the RHS of the assignment.- Parameters:
assignment
- the assignment.- Returns:
- the set of used variables.
-
getVariableName
public static java.lang.String getVariableName(ru.ispras.fortress.expression.NodeOperation instance)
-
isSvaInstance
public static boolean isSvaInstance(ru.ispras.fortress.expression.Node node)
-
getNode
public static ru.ispras.fortress.expression.Node getNode(SvaDeclaration declaration)
-
-