public abstract class AinferGeneratePerDirectoryTest extends CheckerFrameworkWPIPerDirectoryTest
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.checkerNames, checkerOptions, classpathExtra, testDir, testFiles| Modifier | Constructor and Description |
|---|---|
protected |
AinferGeneratePerDirectoryTest(List<File> testFiles,
Class<? extends AbstractProcessor> checker,
String testDir,
String... checkerOptions)
Creates a new checker test.
|
doNotTypecheckadjustTypecheckResult, customizeOptions, runprotected AinferGeneratePerDirectoryTest(List<File> testFiles, Class<? extends AbstractProcessor> checker, String testDir, String... checkerOptions)
TestConfigurationBuilder.getDefaultConfigurationBuilder(String, File, String,
Iterable, Iterable, List, boolean) adds additional checker options.
testFiles - the files containing test code, which will be type-checkedchecker - the class for the checker to usetestDir - the path to the directory of test inputscheckerOptions - options to pass to the compiler when running tests