Package org.checkerframework.framework.test.diagnostics

package org.checkerframework.framework.test.diagnostics
  • Class
    Description
    DiagnosticKind
    The kinds of errors that can be encountered during typechecking.
    JavaDiagnosticReader
    This class reads expected javac diagnostics from a single file.
    TestDiagnostic
    Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler.
    TestDiagnosticLine
    Represents a list of TestDiagnostics, which was read from a one line of a file.
    TestDiagnosticUtils
    A set of utilities and factory methods useful for working with TestDiagnostics.