Uses of Interface
pascal.taie.analysis.pta.core.solver.Transfer

Packages that use Transfer

Package	Description
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.

Uses of Transfer in pascal.taie.analysis.pta.core.solver

Classes in pascal.taie.analysis.pta.core.solver that implement Transfer

Modifier and Type	Class	Description
enum	Identity
class	TypeFilter	Transfer function that filters out the objects whose types are NOT subtypes of specific type.

Methods in pascal.taie.analysis.pta.core.solver that return Transfer

Modifier and Type	Method	Description
static Transfer	Identity.get()

Methods in pascal.taie.analysis.pta.core.solver that return types with arguments of type Transfer

Modifier and Type	Method	Description
Set<Transfer>	PointerFlowEdge.getTransfers()

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Transfer

Modifier and Type	Method	Description
void	DefaultSolver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)
void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)	Adds an edge "source -> target" (with edge transfer) to the PFG.
boolean	PointerFlowEdge.addTransfer(Transfer transfer)