Uses of Enum Class
pascal.taie.analysis.graph.flowgraph.FlowKind

Packages that use FlowKind

Package	Description
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.

Uses of FlowKind in pascal.taie.analysis.graph.flowgraph

Methods in pascal.taie.analysis.graph.flowgraph that return FlowKind

Modifier and Type	Method	Description
FlowKind	FlowEdge.kind()
static FlowKind	FlowKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static FlowKind[]	FlowKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Uses of FlowKind in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type FlowKind

Modifier and Type	Method	Description
PointerFlowEdge	Pointer.getOrAddEdge(FlowKind kind, Pointer source, Pointer target)	Adds a pointer flow edge source -> target, and returns the edge.

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

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

Modifier and Type	Method	Description
FlowKind	PointerFlowEdge.kind()

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

Modifier and Type	Method	Description
void	DefaultSolver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind)	Adds an edge "source -> target" to the PFG.
void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)	Adds an edge "source -> target" (with edge transfer) to the PFG.
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Type type)	Adds an edge "source -> target" to the PFG.
PointerFlowEdge	PointerFlowGraph.getOrAddEdge(FlowKind kind, Pointer source, Pointer target)	Adds a pointer flow edge source -> target, and returns the edge.

Constructors in pascal.taie.analysis.pta.core.solver with parameters of type FlowKind

Modifier	Constructor	Description
	PointerFlowEdge(FlowKind kind, Pointer source, Pointer target)