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

Packages that use StateMachineFactory

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

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

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

Modifier and Type	Class and Description
static class	ContextSensitiveStateMachine.Factory
static class	IntraProcFilter.Factory

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

Modifier and Type	Method and Description
StateMachineFactory<IFlowLabel>	DemandRefinementPointsTo.getStateMachineFactory()

Methods in com.ibm.wala.demandpa.alg with parameters of type StateMachineFactory

Modifier and Type	Method and Description
static DemandRefinementPointsTo	DemandRefinementPointsTo.makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner
void	DemandRefinementPointsTo.setStateMachineFactory(StateMachineFactory<IFlowLabel> stateMachineFactory)

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

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

Modifier and Type	Class and Description
static class	DummyStateMachine.Factory<T>