Package 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.

Author:

Manu Sridharan

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	StateMachine.State

Field Summary

Fields

Modifier and Type	Field	Description
static final StateMachine.State	ERROR

Method Summary

Modifier and Type	Method	Description
StateMachine.State	getStartState()
StateMachine.State	transition(StateMachine.State prevState, T label)

Field Details

ERROR

static final StateMachine.State ERROR

Method Details

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