public final class EfsmDfsWalker extends DfsWalker
Constructor and Description |
---|
EfsmDfsWalker(EfsmVisitor visitor)
Constructs an EFSM walker for the specified visitor.
|
Modifier and Type | Method and Description |
---|---|
protected void |
visitProcess(ModuleProcess process)
Visits the specified process.
|
goToNextStatement, processChildren, visitModelStatement
addVisited, getVisitor, processStatement, start, start, visitNode
public EfsmDfsWalker(EfsmVisitor visitor)
visitor
- the visitorjava.lang.IllegalArgumentException
- if visitor
is null
protected void visitProcess(ModuleProcess process)
ModelWalker
visitProcess
in class ModelWalker
process
- The process to be visited.