public abstract class CfgVisitorBackend extends Backend implements CfgVisitor
Backend
back-ends that are
based on CfgVisitor
control flow graph model visitor.CfgVisitor.Status
Constructor and Description |
---|
CfgVisitorBackend() |
Modifier and Type | Method and Description |
---|---|
abstract CfgWalkerMode |
getWalkerMode()
Returns walker mode.
|
void |
start(Entity entity)
Elaborates the specified entity.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgBegin, onCfgEnd, onCfgModelBegin, onCfgModelEnd, onMergeBegin, onMergeEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public abstract CfgWalkerMode getWalkerMode()
public void start(Entity entity)
start
in class Backend
entity
- entity to be elaboratedjava.lang.NullPointerException
- when argument is null
.java.lang.IllegalArgumentException
- when the specified entity is neither
of CfgModel
control flow graph model
nor of CgaaModel
clocked guarded atomic actions model kinds.