Package ru.ispras.verilog.parser.sva
Class SvaPropertyDeclaration
- 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.SvaDeclaration
-
- ru.ispras.verilog.parser.sva.SvaPropertyDeclaration
-
public final class SvaPropertyDeclaration extends SvaDeclaration
SvaPropertyDeclaration
represents the declaration of 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
-
Fields inherited from class ru.ispras.verilog.parser.sva.SvaDeclaration
ports, variables
-
-
Constructor Summary
Constructors Constructor Description SvaPropertyDeclaration(VerilogNode parent)
Creates a new property declaration.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description SvaPropertyDeclaration
clone()
Clones the symbol table.SvaProperty
getProperty()
Returns the property specification.void
setProperty(SvaProperty property)
Sets the property specification.-
Methods inherited from class ru.ispras.verilog.parser.sva.SvaDeclaration
addDeclaration, addPort, getPorts, getVariables
-
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
-
SvaPropertyDeclaration
public SvaPropertyDeclaration(VerilogNode parent)
Creates a new property declaration.- Parameters:
parent
- - the specified parent node.
-
-
Method Detail
-
clone
public SvaPropertyDeclaration clone()
Description copied from class:AbstractSymbolTable
Clones the symbol table.- Specified by:
clone
in classVerilogNode
- Returns:
- a copy of the symbol table.
-
getProperty
public SvaProperty getProperty()
Returns the property specification.- Returns:
- the property specification.
-
setProperty
public void setProperty(SvaProperty property)
Sets the property specification.- Parameters:
property
- - the specified property specification.
-
-