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 |
|
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.
|