| Interface | Description |
|---|---|
| TestConfiguration |
A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.
|
| 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.
|
| ImmutableTestConfiguration |
Represents all of the information needed to execute the Javac compiler for a given set of test
files.
|
| PerDirectorySuite |
PerDirectorySuite runs a test class once for each set of javaFiles returned by its method marked
with
@Parameters |
| PerFileSuite |
PerDirectorySuite runs a test class once for each set of parameters returned by its method marked
with
@Parameters |
| SimpleOptionMap |
SimpleOptionMap is a very basic Option container.
|
| TestConfigurationBuilder |
Used to create an instance of TestConfiguration.
|
| 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.
|
| Annotation Type | Description |
|---|---|
| PerDirectorySuite.Name | |
| PerFileSuite.Name |