Package pascal.taie.analysis.graph.callgraph

Class OtherEdge<CallSite,Method>

java.lang.Object

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

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

Type Parameters:

CallSite - type of call sites

Method - type of methods

public abstract class OtherEdge<CallSite,Method>
extends Edge<CallSite,Method>

Base class for call edges of CallKind.OTHER. Implementation of CallKind.OTHER call edges should inherit this class.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	OtherEdge(CallSite callSite, Method callee)

Method Summary

Modifier and Type	Method	Description
String	getInfo()

Methods inherited from class pascal.taie.analysis.graph.callgraph.Edge

equals, getCallee, getCallSite, getKind, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Details

OtherEdge

protected OtherEdge(CallSite callSite,
 Method callee)

Method Details

getInfo

public String getInfo()

Overrides:

getInfo in class Edge<CallSite,Method>

Returns:

String representation of information for this edge. It contains simple name of the edge class to distinguish from other classes of CallKind.OTHER call edges.