Class IntraProcFilter

java.lang.Object
com.ibm.wala.demandpa.alg.IntraProcFilter
All Implemented Interfaces:
StateMachine<IFlowLabel>

public class IntraProcFilter extends Object implements StateMachine<IFlowLabel>
State machine that only allows intraprocedural paths. Mainly for testing purposes.
Author:
Manu Sridharan