public class EfsmModelWalker extends EfsmWalker
EfsmModel
class.Constructor and Description |
---|
EfsmModelWalker(EfsmModelVisitor visitor)
Constructs a walker for the specified visitor.
|
Modifier and Type | Method and Description |
---|---|
void |
start(EfsmModel efsmModel)
Performs walking across the specified test.
|
start, visitAssignment, visitAssignmentAction, visitEvent, visitExpression, visitGuard, visitGuardedAction, visitState, visitTransition
public EfsmModelWalker(EfsmModelVisitor visitor)
visitor
- the visitorpublic void start(EfsmModel efsmModel)
efsmModel
- the EFSM model to be walked acrossjava.lang.IllegalArgumentException
- if efsmModel
is null