Predicate definitionOf
Gets an element, of kind kind
, that element e
uses, if any.
Attention: This predicate yields multiple definitions for a single location.
The kind
is a string representing what kind of use it is:
"M"
for function and method calls"T"
for uses of types"V"
for variable accesses"X"
for macro accesses"I"
for import / include directives
Import path
import definitions
Top definitionOf(Top e, string kind)