Predicate getADefinition
Gets a definition for ‘use’.
This exists primarily for testing use getPreferredDefinition()
instead.
Import path
import analysis.DefinitionTracking
Definition getADefinition(Expr use)
Gets a definition for ‘use’.
This exists primarily for testing use getPreferredDefinition()
instead.
import analysis.DefinitionTracking
Definition getADefinition(Expr use)