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

Nested Classes

Modifier and Type	Interface and Description
static interface	StateMachine.State

Field Summary

Fields

Modifier and Type	Field and Description
static StateMachine.State	ERROR

Method Summary

Modifier and Type	Method and 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)

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