CPP:Add preliminary local jump to def queries

Author: alexet

cpp/ql/src/definitions.qll

@@ -132,7 +132,7 @@ private predicate constructorCallTypeMention(ConstructorCall cc, TypeMention tm)
  *  - `"X"` for macro accesses
  *  - `"I"` for import / include directives
  */
-Top definitionOf(Top e, string kind) {
+cached Top definitionOf(Top e, string kind) {
   (
     // call -> function called
     kind = "M" and

cpp/ql/src/localDefinitions.ql

@@ -0,0 +1,21 @@
+/**
+ * @name Jump-to-definition links
+ * @description Generates use-definition pairs that provide the data
+ *              for jump-to-definition in the code viewer.
+ * @kind definitions
+ * @id cpp/jump-to-definition
+ */
+
+import definitions
+
+external string selectedSourceFile();
+
+cached File getEncodedFile(string name) {
+        result.getAbsolutePath().replaceAll(":", "_") = name
+}
+
+
+
+from Top e, Top def, string kind
+where def = definitionOf(e, kind) and e.getFile() = getEncodedFile(selectedSourceFile())
+select e, def, kind

cpp/ql/src/localReferences.ql

@@ -0,0 +1,21 @@
+/**
+ * @name Jump-to-definition links
+ * @description Generates use-definition pairs that provide the data
+ *              for jump-to-definition in the code viewer.
+ * @kind definitions
+ * @id cpp/jump-to-definition
+ */
+
+import definitions
+
+external string selectedSourceFile();
+
+cached File getEncodedFile(string name) {
+        result.getAbsolutePath().replaceAll(":", "_") = name
+}
+
+
+
+from Top e, Top def, string kind
+where def = definitionOf(e, kind) and def.getFile() = getEncodedFile(selectedSourceFile())
+select e, def, kind