public abstract class CfgDfsWrVisitorBackend extends CfgVisitorBackend
CfgModel
visitors CfgVisitor
that are called by
walker CfgWalker
running at
Depth-First-Search-Without-Repetitions
walker mode CfgWalkerMode
.CfgVisitor.Status
Constructor and Description |
---|
CfgDfsWrVisitorBackend() |
Modifier and Type | Method and Description |
---|---|
CfgWalkerMode |
getWalkerMode()
Returns walker mode.
|
start
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 CfgWalkerMode getWalkerMode()
CfgVisitorBackend
getWalkerMode
in class CfgVisitorBackend