public final class CfgDfsWalker extends DfsWalker
Constructor and Description |
---|
CfgDfsWalker(ModelVisitor visitor,
WalkerMode mode)
Constructs walker object with the specified parameters.
|
Modifier and Type | Method and Description |
---|---|
void |
goToNextStatement()
Next statement for walking choosing method.
|
protected void |
visitModelStatement(Statement statement)
Visits the specified model statement.
|
processChildren
addVisited, getVisitor, processStatement, start, start, visitNode, visitProcess
public CfgDfsWalker(ModelVisitor visitor, WalkerMode mode)
visitor
- The visitor to be applied to control flow graph model.mode
- The walking mode.java.lang.IllegalArgumentException
- when any argument is null
.java.lang.IllegalArgumentException
- when mode
argument equals neither
WalkerMode.DFS
nor WalkerMode.DFS_NO_RPT
public void goToNextStatement()
ModelWalker
goToNextStatement
in class DfsWalker
protected void visitModelStatement(Statement statement)
ModelWalker
visitModelStatement
in class DfsWalker
statement
- The statement to be visited,