DummyStateMachine (API Reference for wala 1.3.9)

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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - transition
```
public StateMachine.State transition(StateMachine.State prevState,
                                     T label)
```
    Specified by:
    
    transition in interface StateMachine<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 interface StateMachine<T>