C++: add method qldoc in Diagnostics.qll

2025-12-18 01:33:15 +01:00 · 2020-04-13 14:58:30 -07:00
parent d065389a6b
commit f24c4e51c5
1 changed files with 1 additions and 0 deletions
--- a/cpp/ql/src/semmle/code/cpp/Diagnostics.qll
+++ b/cpp/ql/src/semmle/code/cpp/Diagnostics.qll
@@ -11,6 +11,7 @@ class Diagnostic extends Locatable, @diagnostic {
  /** Gets the error code for this compiler message. */
  string getTag() { diagnostics(underlyingElement(this), _, result, _, _, _) }

+  /** Holds if `s` is the error code for this compiler message. */
  predicate hasTag(string s) { this.getTag() = s }

  /**