org.checkerframework.framework.test.diagnostics

Interfaces

• JavaDiagnosticReader.DiagnosticCodec

Classes

• JavaDiagnosticReader
• TestDiagnostic
• TestDiagnosticLine
• TestDiagnosticUtils

Enums

• DiagnosticKind