Module DiagnosticsReporting
Provides classes for working with errors and warnings recorded during extraction.
Import path
import semmle.go.DiagnosticsReportingImports
| go | Provides classes for working with Go programs. |
Predicates
| reportableDiagnostics | Holds if an extraction error or warning occurred that should be reported to end users, with the error message |