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