Package ru.ispras.verilog.parser.sva
Class SvaPort
- 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.SvaPort
-
public final class SvaPort extends VerilogNode
SvaPort
represents the SVA sequence/property port.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
SvaPort.Direction
Port direction types.-
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 SvaPort(VerilogNode parent)
Creates a new port.SvaPort(SvaPort other, VerilogNode parent)
Creates a new port using the other.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addDimension(VerilogRange dimension)
Adds a dimension to the port.boolean
argIsEvent()
Shows whether the default argument is an event.boolean
argIsExpression()
Shows whether the default port argument is an expression.SvaPort
clone()
Clones the symbol table.java.lang.Object
getArgument()
Returns the default port argument.java.util.List<VerilogRange>
getDimensions()
Returns the port dimensions.SvaPort.Direction
getDirection()
Returns the port direction.VerilogElementType
getType()
Returns the port type.boolean
isLocal()
Shows whether the port is local.void
setArgument(java.lang.Object argument)
Sets the default port argument.void
setDirection(SvaPort.Direction direction)
Sets the port direction.void
setLocal()
Makes the port local.void
setType(VerilogElementType type)
Sets the port type.-
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
-
SvaPort
public SvaPort(VerilogNode parent)
Creates a new port.- Parameters:
parent
- - the specified parent node.
-
SvaPort
public SvaPort(SvaPort other, VerilogNode parent)
Creates a new port using the other.- Parameters:
other
- - the specified port to copy.parent
- - the specified parent node.
-
-
Method Detail
-
clone
public SvaPort clone()
Description copied from class:AbstractSymbolTable
Clones the symbol table.- Specified by:
clone
in classVerilogNode
- Returns:
- a copy of the symbol table.
-
getType
public VerilogElementType getType()
Returns the port type.- Returns:
- the port type.
-
setType
public void setType(VerilogElementType type)
Sets the port type.- Parameters:
type
- - the specified port type.
-
getDirection
public SvaPort.Direction getDirection()
Returns the port direction.- Returns:
- the port direction.
-
setDirection
public void setDirection(SvaPort.Direction direction)
Sets the port direction.- Parameters:
direction
- - the specified port direction.
-
getDimensions
public java.util.List<VerilogRange> getDimensions()
Returns the port dimensions.- Returns:
- the list of port dimensions.
-
addDimension
public void addDimension(VerilogRange dimension)
Adds a dimension to the port.- Parameters:
dimension
- - the specified dimension.
-
getArgument
public java.lang.Object getArgument()
Returns the default port argument.- Returns:
- the default port argument.
-
setArgument
public void setArgument(java.lang.Object argument)
Sets the default port argument.- Parameters:
argument
- - the specified port argument.
-
argIsEvent
public boolean argIsEvent()
Shows whether the default argument is an event.- Returns:
true
if the default argument is an event,false
otherwise.
-
argIsExpression
public boolean argIsExpression()
Shows whether the default port argument is an expression.- Returns:
true
if the default port argument is an expression,false
otherwise.
-
isLocal
public boolean isLocal()
Shows whether the port is local.- Returns:
true
if the port is local,false
otherwise.
-
setLocal
public void setLocal()
Makes the port local.
-
-