Package com.ibm.wala.demandpa.alg
Class ContextSensitiveStateMachine.Factory
- java.lang.Object
-
- com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.Factory
-
- All Implemented Interfaces:
StateMachineFactory<IFlowLabel>
- Enclosing class:
- ContextSensitiveStateMachine
public static class ContextSensitiveStateMachine.Factory extends Object implements StateMachineFactory<IFlowLabel>
-
-
Constructor Summary
Constructors Constructor Description Factory()
Factory(ContextSensitiveStateMachine.RecursionHandler prototype)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StateMachine<IFlowLabel>
make()
-
-
-
Constructor Detail
-
Factory
public Factory(ContextSensitiveStateMachine.RecursionHandler prototype)
-
Factory
public Factory()
-
-
Method Detail
-
make
public StateMachine<IFlowLabel> make()
- Specified by:
make
in interfaceStateMachineFactory<IFlowLabel>
-
-