Package org.checkerframework.framework.test

Class AinferGeneratePerDirectoryTest

java.lang.Object

org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest

org.checkerframework.framework.test.AinferGeneratePerDirectoryTest

public abstract class AinferGeneratePerDirectoryTest
extends 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 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.

Field Summary

Fields inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

checkerNames, checkerOptions, classpathExtra, testDir, testFiles

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AinferGeneratePerDirectoryTest(List<File> testFiles, Class<? extends AbstractProcessor> checker, String testDir, String... checkerOptions)	Creates a new checker test.

Method Summary

Modifier and Type	Method	Description
void	checkResult(TypecheckResult typecheckResult)	Check that the TypecheckResult did not fail.
protected File	resolveTestDirectory()	Resolves the test root directory from the optional TestRootDirectory annotation or falls back to the default of currentDir/tests.

Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest

doNotTypecheck, hasSkipComment

Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

adjustTypecheckResult, customizeOptions, run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AinferGeneratePerDirectoryTest

protected AinferGeneratePerDirectoryTest(List<File> testFiles,
 Class<? extends AbstractProcessor> checker,
 String testDir,
 String... checkerOptions)

Creates a new checker test. Use this constructor when creating a generation test.

TestConfigurationBuilder.getDefaultConfigurationBuilder(String, File, String, Iterable, Iterable, List, boolean) adds additional checker options.

Parameters:

testFiles - the files containing test code, which will be type-checked

checker - the class for the checker to use

testDir - the path to the directory of test inputs

checkerOptions - options to pass to the compiler when running tests

Method Details

resolveTestDirectory

protected File resolveTestDirectory()

Resolves the test root directory from the optional TestRootDirectory annotation or falls back to the default of currentDir/tests.

Returns:

the resolved directory

checkResult

public void checkResult(TypecheckResult typecheckResult)

Check that the TypecheckResult did not fail.

Parameters:

typecheckResult - result to check