Jump-to-definition links

import python
import analysis.DefinitionTracking

external string selectedSourceFile();

from NiceLocationExpr use, Definition defn, string kind, string f
where
  defn = definitionOf(use, kind) and
  use.hasLocationInfo(f, _, _, _, _) and
  getFileBySourceArchiveName(selectedSourceFile()).getAbsolutePath() = f
select use, defn, kind

Description

Generates use-definition pairs that provide the data for jump-to-definition in the code viewer.