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.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()
FlowKind	OtherFlowEdge.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.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
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind)	Adds an edge "source -> target" to the PFG.
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Transfer transfer)	Deprecated. Use Solver.addPFGEdge(PointerFlowEdge, Transfer) instead.
default void	Solver.addPFGEdge(Pointer source, Pointer target, FlowKind kind, Type type)	Deprecated. Use Solver.addPFGEdge(PointerFlowEdge, Type) instead.

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

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