Uses of Interface
pascal.taie.util.graph.Edge

Packages that use Edge

Package	Description
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.util.graph

Uses of Edge in pascal.taie.analysis.graph.cfg

Classes in pascal.taie.analysis.graph.cfg that implement Edge

Modifier and Type	Class	Description
class	CFGEdge<N>	Represents CFG edges.

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

Subinterfaces of Edge in pascal.taie.analysis.graph.flowgraph

Modifier and Type	Interface	Description
interface	FlowEdge	Represents edges in flow graph.

Classes in pascal.taie.analysis.graph.flowgraph that implement Edge

Modifier and Type	Class	Description
final record	OtherFlowEdge

Uses of Edge in pascal.taie.analysis.graph.icfg

Classes in pascal.taie.analysis.graph.icfg that implement Edge

Modifier and Type	Class	Description
class	CallEdge<Node>	The edge connecting a call site to method entry of the callee.
class	CallToReturnEdge<Node>	The edge connecting a call site and its return site.
class	ICFGEdge<Node>	Abstract class for ICFG edges.
class	NormalEdge<Node>	The edge connecting nodes in the same method.
class	ReturnEdge<Node>	The edge connecting a method exit to return site of the call site.

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

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

Modifier and Type	Class	Description
class	OtherEdge	Base class for flow edges of FlowKind.OTHER.
class	PointerFlowEdge

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

Modifier and Type	Method	Description
Set<? extends Edge<Pointer>>	PointerFlowGraph.getInEdgesOf(Pointer node)

Uses of Edge in pascal.taie.util.graph

Classes in pascal.taie.util.graph that implement Edge

Modifier and Type	Class	Description
class	AbstractEdge<N>

Methods in pascal.taie.util.graph that return types with arguments of type Edge

Modifier and Type	Method	Description
default Set<? extends Edge<N>>	Graph.getInEdgesOf(N node)
default Set<? extends Edge<N>>	Graph.getOutEdgesOf(N node)

Methods in pascal.taie.util.graph with parameters of type Edge

Modifier and Type	Method	Description
default boolean	Graph.hasEdge(Edge<N> edge)

Method parameters in pascal.taie.util.graph with type arguments of type Edge

Modifier and Type	Method	Description
DotDumper<N>	DotDumper.setEdgeAttributer(Function<Edge<N>,DotAttributes> edgeAttributer)
DotDumper<N>	DotDumper.setEdgeLabeler(Function<Edge<N>,String> edgeLabeler)