public final class GaddClockDetectBackend extends CfgEmptyVisitor
GaddModel
model.ModelVisitor.Status
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
NAME
The backend name.
|
Constructor and Description |
---|
GaddClockDetectBackend() |
Modifier and Type | Method and Description |
---|---|
void |
onBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
void |
onModelBegin(Model model)
Starts visiting
Model object. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess node. |
void |
onProcessEnd(ModuleProcess process)
Finishes visiting
ModuleProcess node. |
void |
setModel(GaddModel model)
Sets the specified model as the target one.
|
onAssertBegin, onAssertEnd, onBlockEnd, onCaseBegin, onCaseEnd, onLoopBegin, onLoopEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
getStatus, onModelEnd, onModuleBegin, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelEnd, onModuleBegin, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public static final java.lang.String NAME
public void setModel(GaddModel model)
model
- The target model.public void onModelBegin(Model model)
ModelVisitor
Model
object.onModelBegin
in interface ModelVisitor
onModelBegin
in class ModelEmptyVisitor
model
- The model to be visited.public void onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
module
- Module node to be visited.public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node to be visited.public void onProcessEnd(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessEnd
in interface ModelVisitor
onProcessEnd
in class ModelEmptyVisitor
process
- Process node to be visited.public void onBlockBegin(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBlockBegin
in interface CfgVisitor
onBlockBegin
in class CfgEmptyVisitor
block
- Block statement to be visited.