Package ru.ispras.verilog.parser.sva
Class SvaInstantiation
- java.lang.Object
-
- ru.ispras.verilog.parser.core.AbstractSymbolTable<Tag>
-
- ru.ispras.verilog.parser.core.AbstractNode<VerilogNode.Tag>
-
- ru.ispras.verilog.parser.model.VerilogNode
-
- ru.ispras.verilog.parser.sva.SvaInstantiation
-
public class SvaInstantiation extends VerilogNode
SvaInstantiation
represents the instance of a sequence or a property.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class ru.ispras.verilog.parser.model.VerilogNode
VerilogNode.Tag
-
Nested classes/interfaces inherited from class ru.ispras.verilog.parser.core.AbstractNode
AbstractNode.NodeKind
-
-
Field Summary
Fields Modifier and Type Field Description static VerilogNode.Tag
TAG
static java.util.EnumSet<VerilogNode.Tag>
TAGS_CHILDREN
-
Constructor Summary
Constructors Constructor Description SvaInstantiation(VerilogNode parent)
SvaInstantiation(SvaInstantiation other, VerilogNode parent)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addConnection(SvaPortConnection connection)
Adds the port connection to the reference.VerilogNode
clone()
Clones the symbol table.java.util.List<ru.ispras.fortress.expression.Node>
getConnectionNodes()
Returns the connection arguments as a list ofNode
.java.util.List<SvaPortConnection>
getConnections()
Returns the list of port connections.SvaDeclaration
getDeclaration()
Returns the sequence/property declaration.ru.ispras.fortress.expression.Node
getNode()
Returns the associated instance node.VerilogPath
getPath()
Returns the reference path.void
setDeclaration(SvaDeclaration declaration)
Sets the sequence/property declaration.void
setNode(ru.ispras.fortress.expression.Node node)
Sets the instance node.void
setPath(VerilogPath path)
Sets the reference path.-
Methods inherited from class ru.ispras.verilog.parser.model.VerilogNode
getAttributes, getParentNode, isActivity, isAssertionStatement, isAssign, isAssignment, isAssignStatement, isAttribute, isBlockGenerate, isBlockStatement, isCaseGenerate, isCaseGenerateItem, isCaseStatement, isCaseStatementItem, isCode, isConnection, isDeclaration, isDelayedStatement, isDisableStatement, isGenerate, isIfGenerate, isIfGenerateBranch, isIfStatement, isIfStatementBranch, isInstantiation, isLoopGenerate, isLoopStatement, isModule, isNullStatement, isPathDeclaration, isPort, isPortConnection, isProcedure, isPropertyDeclaration, isPulseStyle, isSequenceDeclaration, isShowCancelled, isSpecify, isSvaPort, isTable, isTableEntry, isTaskStatement, isTriggerStatement, isWaitStatement, setAttributes, union
-
Methods inherited from class ru.ispras.verilog.parser.core.AbstractNode
add, find, getFullName, getName, getParent, getTag, hasName, hasScope, isTransparent, items, items, items, remove, replace, setName, setParent, setRedefinitionHandler, setTag, toString
-
Methods inherited from class ru.ispras.verilog.parser.core.AbstractSymbolTable
addAll, findAroundRecursively, findAroundRecursively, findRecursively, findRecursively, getUpperTable, items, items, setUpperTable
-
-
-
-
Field Detail
-
TAG
public static final VerilogNode.Tag TAG
-
TAGS_CHILDREN
public static final java.util.EnumSet<VerilogNode.Tag> TAGS_CHILDREN
-
-
Constructor Detail
-
SvaInstantiation
public SvaInstantiation(VerilogNode parent)
-
SvaInstantiation
public SvaInstantiation(SvaInstantiation other, VerilogNode parent)
-
-
Method Detail
-
clone
public VerilogNode clone()
Description copied from class:AbstractSymbolTable
Clones the symbol table.- Specified by:
clone
in classVerilogNode
- Returns:
- a copy of the symbol table.
-
getPath
public VerilogPath getPath()
Returns the reference path.- Returns:
- the path.
-
setPath
public void setPath(VerilogPath path)
Sets the reference path.- Parameters:
path
- the path to be set.
-
getNode
public ru.ispras.fortress.expression.Node getNode()
Returns the associated instance node.- Returns:
- the node.
-
setNode
public void setNode(ru.ispras.fortress.expression.Node node)
Sets the instance node.- Parameters:
node
- - the specified node.
-
addConnection
public void addConnection(SvaPortConnection connection)
Adds the port connection to the reference.- Parameters:
connection
- - the specified port connection.
-
getConnections
public java.util.List<SvaPortConnection> getConnections()
Returns the list of port connections.- Returns:
- the list of port connections.
-
getDeclaration
public SvaDeclaration getDeclaration()
Returns the sequence/property declaration.- Returns:
- the declaration node.
-
setDeclaration
public void setDeclaration(SvaDeclaration declaration)
Sets the sequence/property declaration.- Parameters:
declaration
- - the specified declaration node.
-
getConnectionNodes
public java.util.List<ru.ispras.fortress.expression.Node> getConnectionNodes()
Returns the connection arguments as a list ofNode
.- Returns:
- the connection arguments.
-
-