Class SvaInstanceTransformerVisitor
- java.lang.Object
-
- ru.ispras.verilog.parser.walker.VerilogNodeVisitor
-
- ru.ispras.verilog.parser.walker.VerilogEmptyVisitor
-
- ru.ispras.verilog.parser.backends.syntax.instance.transformer.SvaInstanceTransformerVisitor
-
- All Implemented Interfaces:
NodeVisitor<VerilogNode.Tag>
public class SvaInstanceTransformerVisitor extends VerilogEmptyVisitor
SvaInstanceTransformerVisitor
represents the visitor that transforms mistakenly parsed function and variable expressions into proper SVA instance expressions.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface ru.ispras.verilog.parser.core.NodeVisitor
NodeVisitor.Result
-
-
Constructor Summary
Constructors Constructor Description SvaInstanceTransformerVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description NodeVisitor.Result
onAssertionStatementBegin(SvaAssertionStatement node)
NodeVisitor.Result
onPropertyDeclarationBegin(SvaPropertyDeclaration node)
NodeVisitor.Result
onSequenceDeclarationBegin(SvaSequenceDeclaration node)
-
Methods inherited from class ru.ispras.verilog.parser.walker.VerilogEmptyVisitor
onActivityBegin, onActivityEnd, onAssertionStatementEnd, onAssignBegin, onAssignEnd, onAssignmentBegin, onAssignmentEnd, onAssignStatementBegin, onAssignStatementEnd, onAttributeBegin, onAttributeEnd, onBlockGenerateBegin, onBlockGenerateEnd, onBlockStatementBegin, onBlockStatementEnd, onCaseGenerateBegin, onCaseGenerateEnd, onCaseGenerateItemBegin, onCaseGenerateItemEnd, onCaseStatementBegin, onCaseStatementEnd, onCaseStatementItemBegin, onCaseStatementItemEnd, onCodeBegin, onCodeEnd, onDeclarationBegin, onDeclarationEnd, onDefineParameterBegin, onDefineParameterEnd, onDelayedStatementBegin, onDelayedStatementEnd, onDisableStatementBegin, onDisableStatementEnd, onGenerateBegin, onGenerateEnd, onIfGenerateBegin, onIfGenerateBranchBegin, onIfGenerateBranchEnd, onIfGenerateEnd, onIfStatementBegin, onIfStatementBranchBegin, onIfStatementBranchEnd, onIfStatementEnd, onInstantiationBegin, onInstantiationEnd, onLoopGenerateBegin, onLoopGenerateEnd, onLoopStatementBegin, onLoopStatementEnd, onModuleBegin, onModuleEnd, onNullStatementBegin, onNullStatementEnd, onPathDeclarationBegin, onPathDeclarationEnd, onPortBegin, onPortConnectionBegin, onPortConnectionEnd, onPortEnd, onProcedureBegin, onProcedureEnd, onPropertyDeclarationEnd, onPulseStyleBegin, onPulseStyleEnd, onSequenceDeclarationEnd, onShowCancelledBegin, onShowCancelledEnd, onSpecifyBegin, onSpecifyEnd, onSvaInstanceBegin, onSvaInstanceEnd, onTableBegin, onTableEnd, onTableEntryBegin, onTableEntryEnd, onTaskStatementBegin, onTaskStatementEnd, onTriggerStatementBegin, onTriggerStatementEnd, onWaitStatementBegin, onWaitStatementEnd
-
Methods inherited from class ru.ispras.verilog.parser.walker.VerilogNodeVisitor
onBegin, onEnd
-
-
-
-
Method Detail
-
onSequenceDeclarationBegin
public NodeVisitor.Result onSequenceDeclarationBegin(SvaSequenceDeclaration node)
- Overrides:
onSequenceDeclarationBegin
in classVerilogEmptyVisitor
-
onPropertyDeclarationBegin
public NodeVisitor.Result onPropertyDeclarationBegin(SvaPropertyDeclaration node)
- Overrides:
onPropertyDeclarationBegin
in classVerilogEmptyVisitor
-
onAssertionStatementBegin
public NodeVisitor.Result onAssertionStatementBegin(SvaAssertionStatement node)
- Overrides:
onAssertionStatementBegin
in classVerilogEmptyVisitor
-
-