Predicate interestingElement
Holds if e is a source or a target of jump-to-definition.
Import path
import definitionspredicate interestingElement(Element e)Holds if e is a source or a target of jump-to-definition.
import definitionspredicate interestingElement(Element e)