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 a PartiallyBalancedTabulationProblem

Method Summary

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