| Interface | Description |
|---|---|
| TestConfiguration |
A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.
|
| Class | Description |
|---|---|
| CheckerFrameworkPerDirectoryTest |
Compiles all test files in a test directory together.
|
| CheckerFrameworkPerFileTest |
Compiles all test files individually.
|
| 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, TestConfigurationBuilder follows the standard
builder pattern.
|
| TestUtilities | |
| 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 |