All Classes and Interfaces

Class	Description
AinferGeneratePerDirectoryTest	A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of this class) to do inference using the -Ainfer option, and a "validation test" (of class AinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.
AinferValidatePerDirectoryTest	A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of class AinferGeneratePerDirectoryTest) to do inference using the -Ainfer option, and a "validation test" (of this class) to check that files typecheck after those inferences are taken into account.
CheckerFrameworkPerDirectoryTest	Compiles all test files in a test directory together.
CheckerFrameworkPerFileTest	Compiles all test files individually.
CheckerFrameworkWPIPerDirectoryTest	A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of class AinferGeneratePerDirectoryTest) to do inference using the -Ainfer option, and a "validation test" (of class AinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.
CompilationResult	CompilationResult represents the output of the compiler after it is run.
DiagnosticKind	The kinds of errors that can be encountered during typechecking.
ImmutableTestConfiguration	Represents all of the information needed to execute the Javac compiler for a given set of test files.
JavaDiagnosticReader	This class reads expected javac diagnostics from a single file.
PerDirectorySuite	PerDirectorySuite runs a test class once for each set of javaFiles returned by its method marked with @Parameters
PerDirectorySuite.Name	Name
PerFileSuite	PerDirectorySuite runs a test class once for each set of parameters returned by its method marked with @Parameters
PerFileSuite.Name	Name
SimpleOptionMap	SimpleOptionMap is a very basic Option container.
TestConfiguration	A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.
TestConfigurationBuilder	Used to create an instance of TestConfiguration.
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.
TestRootDirectory	Defines the path to the directory which holds test java files.
TestUtilities	Utilities for testing.
TypecheckExecutor	Used by the Checker Framework test suite to run the framework and generate a test result.
TypecheckResult	Represents the test results from typechecking one or more Java files using the given TestConfiguration.