Package org.checkerframework.framework.test.diagnostics


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