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
Represents context-sensitive methods.
-
Field Summary
Fields inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement
context
-
Method Summary
Methods inherited from class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement
getContext