Uses of Class
pascal.taie.analysis.graph.callgraph.Edge

Packages that use Edge

Package	Description
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
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.
pascal.taie.analysis.pta.plugin	Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint

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

Fields in pascal.taie.analysis.graph.callgraph with type parameters of type Edge

Modifier and Type	Field	Description
protected final MultiMap<Method,Edge<CallSite,Method>>	AbstractCallGraph.calleeToEdges
protected final MultiMap<CallSite,Edge<CallSite,Method>>	AbstractCallGraph.callSiteToEdges

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

Modifier and Type	Method	Description
Stream<Edge<CallSite,Method>>	AbstractCallGraph.edges()
Stream<Edge<CallSite,Method>>	CallGraph.edges()
Stream<Edge<CallSite,Method>>	AbstractCallGraph.edgesInTo(Method method)
Stream<Edge<CallSite,Method>>	CallGraph.edgesInTo(Method method)
Stream<Edge<CallSite,Method>>	AbstractCallGraph.edgesOutOf(CallSite callSite)
Stream<Edge<CallSite,Method>>	CallGraph.edgesOutOf(CallSite callSite)

Methods in pascal.taie.analysis.graph.callgraph with parameters of type Edge

Modifier and Type	Method	Description
boolean	DefaultCallGraph.addEdge(Edge<Invoke,JMethod> edge)	Adds a new call graph edge to this call graph.

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

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

Modifier and Type	Method	Description
Stream<Edge<CSCallSite,CSMethod>>	CSCallGraph.edges()
Stream<Edge<CSCallSite,CSMethod>>	CSCallGraph.edgesInTo(CSMethod csMethod)
Stream<Edge<CSCallSite,CSMethod>>	CSCallGraph.edgesOutOf(CSCallSite csCallSite)

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

Modifier and Type	Method	Description
boolean	CSCallGraph.addEdge(Edge<CSCallSite,CSMethod> edge)	Adds a new call graph edge to this call graph.

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

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

Modifier and Type	Method	Description
Set<Edge<CSCallSite,CSMethod>>	CSCallSite.getEdges()
Set<Edge<CSCallSite,CSMethod>>	CSMethod.getEdges()

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

Modifier and Type	Method	Description
boolean	CSCallSite.addEdge(Edge<CSCallSite,CSMethod> edge)
void	CSMethod.addEdge(Edge<CSCallSite,CSMethod> edge)

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

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

Modifier and Type	Method	Description
void	DefaultSolver.addCallEdge(Edge<CSCallSite,CSMethod> edge)
void	Solver.addCallEdge(Edge<CSCallSite,CSMethod> edge)	Adds a call edge.

Uses of Edge in pascal.taie.analysis.pta.plugin

Methods in pascal.taie.analysis.pta.plugin with parameters of type Edge

Modifier and Type	Method	Description
void	CompositePlugin.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)
default void	Plugin.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)	Invoked when a new call graph edge is discovered.

Uses of Edge in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception with parameters of type Edge

Modifier and Type	Method	Description
void	ExceptionAnalysis.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)	For a new call edge, the exception thrown by the callee method should be propagated to its callers, and thrown by the invoke statement, then we propagate the thrown exceptions accordingly.

Uses of Edge in pascal.taie.analysis.pta.plugin.invokedynamic

Methods in pascal.taie.analysis.pta.plugin.invokedynamic with parameters of type Edge

Modifier and Type	Method	Description
void	InvokeDynamicAnalysis.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)
void	LambdaAnalysis.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)

Uses of Edge in pascal.taie.analysis.pta.plugin.natives

Methods in pascal.taie.analysis.pta.plugin.natives with parameters of type Edge

Modifier and Type	Method	Description
void	NativeModeller.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)

Uses of Edge in pascal.taie.analysis.pta.plugin.reflection

Methods in pascal.taie.analysis.pta.plugin.reflection with parameters of type Edge

Modifier and Type	Method	Description
void	ReflectionAnalysis.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)

Uses of Edge in pascal.taie.analysis.pta.plugin.taint

Methods in pascal.taie.analysis.pta.plugin.taint with parameters of type Edge

Modifier and Type	Method	Description
void	TaintAnalysis.onNewCallEdge(Edge<CSCallSite,CSMethod> edge)