| Interface | Description |
|---|---|
| TestConfiguration |
A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.
|
| Class | Description |
|---|---|
| CheckerFrameworkTest |
To use this class you must do two things:
Create exactly 1 constructor in the subclass with exactly 1 argument
of type java.io.File.
|
| 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.
|
| SimpleOptionMap |
SimpleOptionMap is a very basic Option container.
|
| TestConfigurationBuilder |
Used to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard
builder pattern.
|
| TestSuite |
TestSuite runs a test class once for each set of parameters returned by its method marked with
@Parameters |
| 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 |
|---|---|
| TestSuite.Name |