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

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

doNotTypecheck

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