Type Parameters:

T - type of node in the supergraph

All Known Subinterfaces:

IPartiallyBalancedFlowFunctions<T>

All Known Implementing Classes:

IdentityFlowFunctions, ReachabilityFunctions, SliceFunctions
```
public interface IFlowFunctionMap<T>
```
A map from an edge in a supergraph to a flow function

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`IUnaryFlowFunction`	`getCallFlowFunction(T src, T dest, T ret)`
`IUnaryFlowFunction`	`getCallNoneToReturnFlowFunction(T src, T dest)`
`IUnaryFlowFunction`	`getCallToReturnFlowFunction(T src, T dest)`
`IUnaryFlowFunction`	`getNormalFlowFunction(T src, T dest)`
`IFlowFunction`	`getReturnFlowFunction(T call, T src, T dest)`

- Method Detail
  - getNormalFlowFunction
```
IUnaryFlowFunction getNormalFlowFunction(T src,
                                         T dest)
```
    Parameters:
    
    src -
    
    dest -
    
    Returns:
    
    the flow function for a "normal" edge in the supergraph from src->dest
  - getCallFlowFunction
```
IUnaryFlowFunction getCallFlowFunction(T src,
                                       T dest,
                                       T ret)
```
    Parameters:
    
    src - the call block
    
    dest - the entry of the callee
    
    ret - the block that will be returned to, in the caller. This can be null .. signifying that facts can flow into the callee but not return
    
    Returns:
    
    the flow function for a "call" edge in the supergraph from src->dest
  - getReturnFlowFunction
```
IFlowFunction getReturnFlowFunction(T call,
                                    T src,
                                    T dest)
```
    Parameters:
    
    call - supergraph node of the call instruction for this return edge.
    
    src -
    
    dest -
    
    Returns:
    
    the flow function for a "return" edge in the supergraph from src->dest
  - getCallToReturnFlowFunction
```
IUnaryFlowFunction getCallToReturnFlowFunction(T src,
                                               T dest)
```
    Parameters:
    
    src -
    
    dest -
    
    Returns:
    
    the flow function for a "call-to-return" edge in the supergraph from src->dest
  - getCallNoneToReturnFlowFunction
```
IUnaryFlowFunction getCallNoneToReturnFlowFunction(T src,
                                                   T dest)
```
    Parameters:
    
    src -
    
    dest -
    
    Returns:
    
    the flow function for a "call-to-return" edge in the supergraph from src->dest, when the supergraph does not contain any callees of src. This happens via, e.g., slicing.

Interface IFlowFunctionMap<T>

Method Summary

Method Detail

getNormalFlowFunction

getCallFlowFunction

getReturnFlowFunction

getCallToReturnFlowFunction

getCallNoneToReturnFlowFunction