public final class CfgDfsWrVisitorBackend extends CfgVisitorBackend
Basic class for control flow graph CfgModel
visitors CfgVisitor
that are called by
walker CfgWalker
running at
Depth-First-Search-Without-Repetitions
walker mode CfgWalkerMode
.
Constructor and Description |
---|
CfgDfsWrVisitorBackend(CfgVisitor visitor)
Constructs object with the specified visitor.
|
start
public CfgDfsWrVisitorBackend(CfgVisitor visitor)
Constructs object with the specified visitor and CfgWalkerMode.DFS_NO_REPEAT
walking mode.
visitor
- visitor