Uses of Interface
com.ibm.wala.demandpa.alg.statemachine.StateMachine

Packages that use StateMachine

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.alg.statemachine

Uses of StateMachine in com.ibm.wala.demandpa.alg

Classes in com.ibm.wala.demandpa.alg that implement StateMachine

Modifier and Type	Class and Description
class	ContextSensitiveStateMachine A state machine for tracking calling context during a points-to query.
class	IntraProcFilter State machine that only allows intraprocedural paths.

Methods in com.ibm.wala.demandpa.alg that return StateMachine

Modifier and Type	Method and Description
StateMachine<IFlowLabel>	IntraProcFilter.Factory.make()
StateMachine<IFlowLabel>	ContextSensitiveStateMachine.Factory.make()

Uses of StateMachine in com.ibm.wala.demandpa.alg.statemachine

Classes in com.ibm.wala.demandpa.alg.statemachine that implement StateMachine

Modifier and Type	Class and Description
class	DummyStateMachine<T> A dummy state machine with a single, non-error state.

Methods in com.ibm.wala.demandpa.alg.statemachine that return StateMachine

Modifier and Type	Method and Description
StateMachine<T>	StateMachineFactory.make()
StateMachine<T>	DummyStateMachine.Factory.make()