Package org.checkerframework.framework.test.junit

Class ReflectionTest

java.lang.Object

org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

org.checkerframework.framework.test.junit.ReflectionTest

public class ReflectionTest
extends CheckerFrameworkPerDirectoryTest

Tests the reflection resolution using a simple type system.

Field Summary

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

checkerNames, checkerOptions, classpathExtra, testDir, testFiles

Constructor Summary

Constructors

Constructor	Description
ReflectionTest(List<File> testFiles)

Method Summary

Modifier and Type	Method	Description
void	checkResult(TypecheckResult typecheckResult)	Check that the TypecheckResult did not fail.
List<String>	customizeOptions(List<String> previousOptions)	Override this method if you would like to supply a checker command-line option that depends on the Java files passed to the test.
protected String	getFullPath(File javaFile, String filename)
static String[]	getTestDirs()
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.CheckerFrameworkPerDirectoryTest

adjustTypecheckResult, run

Methods inherited from class java.lang.Object

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

Constructor Details

ReflectionTest

public ReflectionTest(List<File> testFiles)

Parameters:

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

Method Details

getTestDirs

public static String[] getTestDirs()

customizeOptions

public List<String> customizeOptions(List<String> previousOptions)

Description copied from class: CheckerFrameworkPerDirectoryTest

Override this method if you would like to supply a checker command-line option that depends on the Java files passed to the test. Those files are available in field CheckerFrameworkPerDirectoryTest.testFiles.

If you want to specify the same command-line option for all tests of a particular checker, then pass it to the CheckerFrameworkPerDirectoryTest(java.util.List<java.io.File>, java.util.List<java.lang.String>, java.lang.String, java.util.List<java.lang.String>, java.lang.String...) constructor.

Overrides:

customizeOptions in class CheckerFrameworkPerDirectoryTest

Parameters:

previousOptions - the options specified in the constructor of the test previousOptions is unmodifiable

Returns:

a new list of options or the original passed through

getFullPath

protected String getFullPath(File javaFile,
 String filename)

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