Package pascal.taie.analysis.graph.callgraph

Class Edge<CallSite,Method>

java.lang.Object

pascal.taie.analysis.graph.callgraph.Edge<CallSite,Method>

Type Parameters:

CallSite - type of call sites

Method - type of methods

public class Edge<CallSite,Method>
extends Object

Represents call edges in the call graph.

Constructor Summary

Constructors

Constructor	Description
Edge(CallKind kind, CallSite callSite, Method callee)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Method	getCallee()
CallSite	getCallSite()
CallKind	getKind()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Edge

public Edge(CallKind kind,
 CallSite callSite,
 Method callee)

Method Details

getKind

public CallKind getKind()

Returns:

kind of the call edge.

getCallSite

public CallSite getCallSite()

Returns:

the call site (i.e., the source) of the call edge.

getCallee

public Method getCallee()

Returns:

the callee method (i.e., the target) of the call edge.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object