Package com.ibm.wala.dataflow.IFDS

Interface IFlowFunction

All Known Subinterfaces:

IBinaryReturnFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction

All Known Implementing Classes:

CallFlowFunction, CallNoneToReturnFunction, CallToReturnFunction, ConstantFlowFunction, GlobalIdentityFunction, GlobalReturnToNodeFunction, IdentityFlowFunction, IFDSTaintFlowFunctionProvider.ReturnDefUse, KillEverything, ReturnFlowFunction, SingletonFlowFunction, TracingFlowFunction, VectorGenFlowFunction, VectorKillFlowFunction

public interface IFlowFunction

A flow function corresponding to an edge in the supergraph.

This function should be distributive for use with the Tabulation algorithm.