Package pascal.taie.analysis.pta.core.cs.element

Class CSCallSite

java.lang.Object

pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

pascal.taie.analysis.pta.core.cs.element.CSCallSite

All Implemented Interfaces:

CSElement

public class CSCallSite
extends AbstractCSElement

Represents context-sensitive call sites.

Field Summary

Fields inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

context

Method Summary

Modifier and Type	Method	Description
boolean	addEdge(Edge<CSCallSite,CSMethod> edge)
Invoke	getCallSite()
CSMethod	getContainer()
Set<Edge<CSCallSite,CSMethod>>	getEdges()
String	toString()

Methods inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

getContext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getCallSite

public Invoke getCallSite()

Returns:

the call site (without context).

getContainer

public CSMethod getContainer()

addEdge

public boolean addEdge(Edge<CSCallSite,CSMethod> edge)

getEdges

public Set<Edge<CSCallSite,CSMethod>> getEdges()

toString

public String toString()

Overrides:

toString in class Object