Uses of Interface
com.ibm.wala.dataflow.IFDS.IUnaryFlowFunction

Packages that use IUnaryFlowFunction

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.ipa.slicer

Uses of IUnaryFlowFunction in com.ibm.wala.dataflow.IFDS

Subinterfaces of IUnaryFlowFunction in com.ibm.wala.dataflow.IFDS

Modifier and Type	Interface and Description
interface	IReversibleFlowFunction A flow function corresponding to an edge in the supergraph.

Classes in com.ibm.wala.dataflow.IFDS that implement IUnaryFlowFunction

Modifier and Type	Class and Description
class	IdentityFlowFunction A flow function where out == in
class	KillEverything A flow function that kills everything (even 0)
class	SingletonFlowFunction A flow function which has only the edge 0 -> dest
class	VectorGenFlowFunction A function which gens a vector of outgoing dataflow facts.
class	VectorKillFlowFunction A function which kills a vector of incoming dataflow facts

Methods in com.ibm.wala.dataflow.IFDS that return IUnaryFlowFunction

Modifier and Type	Method and Description
IUnaryFlowFunction	IFlowFunctionMap.getCallFlowFunction(T src, T dest, T ret)
IUnaryFlowFunction	IdentityFlowFunctions.getCallFlowFunction(T src, T dest, T ret)
IUnaryFlowFunction	IFlowFunctionMap.getCallNoneToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	IdentityFlowFunctions.getCallNoneToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	IFlowFunctionMap.getCallToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	IdentityFlowFunctions.getCallToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	IFlowFunctionMap.getNormalFlowFunction(T src, T dest)
IUnaryFlowFunction	IdentityFlowFunctions.getNormalFlowFunction(T src, T dest)

Methods in com.ibm.wala.dataflow.IFDS with parameters of type IUnaryFlowFunction

Modifier and Type	Method and Description
protected com.ibm.wala.util.intset.IntSet	TabulationSolver.computeFlow(int d1, IUnaryFlowFunction f)

Uses of IUnaryFlowFunction in com.ibm.wala.ipa.slicer

Fields in com.ibm.wala.ipa.slicer declared as IUnaryFlowFunction

Modifier and Type	Field and Description
static IUnaryFlowFunction	ReachabilityFunctions.KILL_FLOW

Methods in com.ibm.wala.ipa.slicer that return IUnaryFlowFunction

Modifier and Type	Method and Description
IUnaryFlowFunction	SliceFunctions.getCallFlowFunction(Statement src, Statement dest, Statement ret)
IUnaryFlowFunction	ReachabilityFunctions.getCallFlowFunction(T src, T dest, T ret)
IUnaryFlowFunction	SliceFunctions.getCallNoneToReturnFlowFunction(Statement src, Statement dest)
IUnaryFlowFunction	ReachabilityFunctions.getCallNoneToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	SliceFunctions.getCallToReturnFlowFunction(Statement src, Statement dest)
IUnaryFlowFunction	ReachabilityFunctions.getCallToReturnFlowFunction(T src, T dest)
IUnaryFlowFunction	SliceFunctions.getNormalFlowFunction(Statement src, Statement dest)
IUnaryFlowFunction	ReachabilityFunctions.getNormalFlowFunction(T src, T dest)