com.ibm.wala.demandpa.alg.statemachine
Interface StateMachine<T>

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

static interface

StateMachine.State

Field Summary

static StateMachine.State

ERROR

Method Summary

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