Class Diagnostic
A compiler-generated error, warning or remark.
Import path
import semmle.code.java.DiagnosticsDirect supertypes
Predicates
| getCompilation | Gets the compilation that generated this diagnostic. |
| getCompilationInfo | Gets the compilation information for this diagnostic. |
| getFullMessage | Gets the full error message text associated with this compiler diagnostic. |
| getGeneratedBy | Gets the program that generated this diagnostic. |
| getLocation | Gets the source location corresponding to the compiler message. |
| getMessage | Gets the error message text associated with this compiler diagnostic. |
| getSeverity | Gets the severity of the message. |
| getTag | Gets the error code for this compiler message. |
| hasTag | Holds if |
| toString | Gets a textual representation of this diagnostic. |