Example: Add new query predicate to PathGraph

Author: RasmusWL

Diff for: cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and

Diff for: swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll

@@ -3158,6 +3158,8 @@ module Impl<FullStateConfigSig Config> {
       key = "semmle.label" and val = n.toString()
     }
 
+    additional query predicate example(string s) { none() }
+
     /**
      * Holds if `(arg, par, ret, out)` forms a subpath-tuple, that is, flow through
      * a subpath between `par` and `ret` with the connecting edges `arg -> par` and