Package com.ibm.wala.dataflow.IFDS
Interface IPartiallyBalancedFlowFunctions<T>
-
- All Superinterfaces:
IFlowFunctionMap<T>
- All Known Implementing Classes:
SliceFunctions
public interface IPartiallyBalancedFlowFunctions<T> extends IFlowFunctionMap<T>
Flow functions for aPartiallyBalancedTabulationProblem
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IFlowFunction
getUnbalancedReturnFlowFunction(T src, T dest)
This version should work when the "call" instruction was never reached normally.-
Methods inherited from interface com.ibm.wala.dataflow.IFDS.IFlowFunctionMap
getCallFlowFunction, getCallNoneToReturnFlowFunction, getCallToReturnFlowFunction, getNormalFlowFunction, getReturnFlowFunction
-
-
-
-
Method Detail
-
getUnbalancedReturnFlowFunction
IFlowFunction getUnbalancedReturnFlowFunction(T src, T dest)
This version should work when the "call" instruction was never reached normally. This applies only when using partially balanced parentheses.- Parameters:
src
-dest
-- Returns:
- the flow function for a "return" edge in the supergraph from src->dest
-
-