StateMachine (API Reference for wala 1.3.9)

All Known Implementing Classes:

ContextSensitiveStateMachine, DummyStateMachine, IntraProcFilter
```
public interface StateMachine<T>
```
A state machine with an error state. Non-error states must be represented externally as natural numbers.

Nested Class Summary

Nested Classes
Modifier and Type Interface Description

static interface StateMachine.State

Field Summary

Fields
Modifier and Type Field Description

static StateMachine.State ERROR

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`StateMachine.State`	`getStartState()`
`StateMachine.State`	`transition(StateMachine.State prevState, T label)`

- Field Detail
  - ERROR
```
static final StateMachine.State ERROR
```
- Method Detail
  - getStartState
```
StateMachine.State getStartState()
```
  - transition
```
StateMachine.State transition(StateMachine.State prevState,
                              T label)
```
    Parameters:
    
    prevState -
    
    label -
    
    Returns:
    
    the successor state of prevState for the transition labelled label, or null if no such transition exists
    
    Throws:
    
    StatesMergedException - if merging of states is detected
    
    See Also:
    
    StatesMergedException