Class DummyStateMachine<T>
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.statemachine.DummyStateMachine<T>
-
- All Implemented Interfaces:
StateMachine<T>
public class DummyStateMachine<T> extends Object implements StateMachine<T>
A dummy state machine with a single, non-error state. Primarily for testing purposes.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
DummyStateMachine.Factory<T>
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StateMachine.State
getStartState()
StateMachine.State
transition(StateMachine.State prevState, T label)
-
-
-
Method Detail
-
transition
public StateMachine.State transition(StateMachine.State prevState, T label)
- 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:
StatesMergedException
-
getStartState
public StateMachine.State getStartState()
- Specified by:
getStartState
in interfaceStateMachine<T>
-
-