Class DummyStateMachine<T>
java.lang.Object
com.ibm.wala.demandpa.alg.statemachine.DummyStateMachine<T>
- All Implemented Interfaces:
StateMachine<T>
A dummy state machine with a single, non-error state. Primarily for testing purposes.
- Author:
- Manu Sridharan
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine
StateMachine.State
-
Field Summary
Fields inherited from interface com.ibm.wala.demandpa.alg.statemachine.StateMachine
ERROR
-
Method Summary
-
Method Details
-
transition
- Specified by:
transition
in interfaceStateMachine<T>
- Returns:
- the successor state of prevState for the transition labelled label, or
null
if no such transition exists - See Also:
-
getStartState
- Specified by:
getStartState
in interfaceStateMachine<T>
-