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

Class CSMethod

java.lang.Object

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

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

All Implemented Interfaces:

CSElement

public class CSMethod
extends AbstractCSElement

Represents context-sensitive methods.

Field Summary

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

context

Method Summary

Modifier and Type	Method	Description
void	addEdge(Edge<CSCallSite,CSMethod> edge)
Set<Edge<CSCallSite,CSMethod>>	getEdges()
JMethod	getMethod()
<R> Optional<R>	getResult(String id)
<R> R	getResult(String id, Supplier<R> supplier)
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

getMethod

public JMethod getMethod()

Returns:

the method (without context).

addEdge

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

getEdges

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

getResult

public <R> R getResult(String id,
 Supplier<R> supplier)

getResult

public <R> Optional<R> getResult(String id)

toString

public String toString()

Overrides:

toString in class Object