Java/Kotlin: Add Diagnostics.qll

java/ql/lib/semmle/code/java/Diagnostics.qll

@@ -0,0 +1,46 @@
+/**
+ * Provides classes representing warnings generated during compilation.
+ */
+
+import java
+
+/** A compiler-generated error, warning or remark. */
+class Diagnostic extends @diagnostic {
+  /** Gets the compilation that generated this diagnostic. */
+  Compilation getCompilation() { diagnostic_for(this, result, _, _) }
+
+  /**
+   * Gets the program that generated this diagnostic.
+   */
+  string getGeneratedBy() { diagnostics(this, result, _, _, _, _, _) }
+
+  /**
+   * Gets the severity of the message, on a range from 1 to 5: 1=remark,
+   * 2=warning, 3=discretionary error, 4=error, 5=catastrophic error.
+   */
+  int getSeverity() { diagnostics(this, _, result, _, _, _, _) }
+
+  /** Gets the error code for this compiler message. */
+  string getTag() { diagnostics(this, _, _, result, _, _, _) }
+
+  /** Holds if `s` is the error code for this compiler message. */
+  predicate hasTag(string s) { this.getTag() = s }
+
+  /**
+   * Gets the error message text associated with this compiler
+   * diagnostic.
+   */
+  string getMessage() { diagnostics(this, _, _, _, result, _, _) }
+
+  /**
+   * Gets the full error message text associated with this compiler
+   * diagnostic.
+   */
+  string getFullMessage() { diagnostics(this, _, _, _, _, result, _) }
+
+  /** Gets the source location corresponding to the compiler message. */
+  Location getLocation() { diagnostics(this, _, _, _, _, _, result) }
+
+  /** Gets a textual representation of this diagnostic. */
+  string toString() { result = this.getMessage() }
+}