public final class HlddSmvVisitor extends java.lang.Object implements HlddVisitor
Constructor and Description |
---|
HlddSmvVisitor(java.lang.String fileName)
Constructs a new visitor and creates a new *.smv file.
|
Modifier and Type | Method and Description |
---|---|
void |
addAssertions(java.util.Map<java.lang.String,AssertionContainer> assertions)
Adds model assertions to the visitor.
|
void |
onAssignmentBegin(HlddNode node)
Starts visiting an assignment node.
|
void |
onAssignmentEnd(HlddNode node)
Finishes visiting an assignment node.
|
void |
onConditionBegin(HlddNode node)
Starts visiting a condition node.
|
void |
onConditionEnd(HlddNode node)
Finishes visiting a condition node.
|
void |
onHlddBegin(Hldd hldd)
Starts visiting
Hldd . |
void |
onHlddEnd(Hldd hldd)
Finishes visiting
Hldd . |
void |
onModelBegin(HlddModel model)
Starts visiting a model.
|
void |
onModelEnd(HlddModel model)
Finishes visiting a model.
|
void |
onModuleBegin(HlddModule hlddModule)
Starts visiting
HlddModule . |
void |
onModuleEnd(HlddModule module)
Finishes visiting
HlddModule . |
void |
onNodeBegin(HlddNode node)
Starts visiting a node.
|
void |
onNodeEnd(HlddNode node)
Finishes visiting a node.
|
void |
onProcessBegin(HlddProcess process)
Starts visiting
HlddProcess . |
void |
onProcessEnd(HlddProcess process)
Finishes visiting
HlddProcess . |
void |
onRootBegin(HlddNode rootNode)
Starts visiting the root node of a
Hldd . |
void |
onRootEnd(HlddNode rootNode)
Finishes visiting the root node of a
Hldd . |
void |
onValueBegin(HlddNode node)
Starts visiting a value node.
|
void |
onValueEnd(HlddNode node)
Finishes visiting a value node.
|
void |
setSpecType(java.lang.String method) |
public HlddSmvVisitor(java.lang.String fileName)
fileName
- - the specified *.smv file name.public void addAssertions(java.util.Map<java.lang.String,AssertionContainer> assertions)
assertions
- - the specified assertions.public void setSpecType(java.lang.String method)
public void onModelBegin(HlddModel model)
HlddVisitor
onModelBegin
in interface HlddVisitor
model
- - the specified model.public void onModelEnd(HlddModel model)
HlddVisitor
onModelEnd
in interface HlddVisitor
model
- - the specified model.public void onHlddBegin(Hldd hldd)
HlddVisitor
Hldd
.onHlddBegin
in interface HlddVisitor
hldd
- - the specified hldd.public void onHlddEnd(Hldd hldd)
HlddVisitor
Hldd
.onHlddEnd
in interface HlddVisitor
hldd
- - the specified hldd.public void onRootBegin(HlddNode rootNode)
HlddVisitor
Hldd
.onRootBegin
in interface HlddVisitor
rootNode
- - the specified HlddNode
.public void onRootEnd(HlddNode rootNode)
HlddVisitor
Hldd
.onRootEnd
in interface HlddVisitor
rootNode
- - the specified HlddNode
.public void onNodeBegin(HlddNode node)
HlddVisitor
onNodeBegin
in interface HlddVisitor
node
- - the specified HlddNode
.public void onNodeEnd(HlddNode node)
HlddVisitor
onNodeEnd
in interface HlddVisitor
node
- - the specified HlddNode
.public void onConditionBegin(HlddNode node)
HlddVisitor
onConditionBegin
in interface HlddVisitor
node
- - the specified HlddNode
.public void onConditionEnd(HlddNode node)
HlddVisitor
onConditionEnd
in interface HlddVisitor
node
- - the specified HlddNode
.public void onValueBegin(HlddNode node)
HlddVisitor
onValueBegin
in interface HlddVisitor
node
- - the specified HlddNode
.public void onValueEnd(HlddNode node)
HlddVisitor
onValueEnd
in interface HlddVisitor
node
- - the specified HlddNode
.public void onAssignmentBegin(HlddNode node)
HlddVisitor
onAssignmentBegin
in interface HlddVisitor
node
- - the specified HlddNode
.public void onAssignmentEnd(HlddNode node)
HlddVisitor
onAssignmentEnd
in interface HlddVisitor
node
- - the specified HlddNode
.public void onModuleBegin(HlddModule hlddModule)
HlddVisitor
HlddModule
.onModuleBegin
in interface HlddVisitor
hlddModule
- - the specified module.public void onModuleEnd(HlddModule module)
HlddVisitor
HlddModule
.onModuleEnd
in interface HlddVisitor
module
- - the specified module.public void onProcessBegin(HlddProcess process)
HlddVisitor
HlddProcess
.onProcessBegin
in interface HlddVisitor
process
- - the specified process.public void onProcessEnd(HlddProcess process)
HlddVisitor
HlddProcess
.onProcessEnd
in interface HlddVisitor
process
- - the specified process.