Package org.checkerframework.framework.test.test.junit

Class AlternateTestRootPerFileWithFilesTest

java.lang.Object

org.checkerframework.framework.test.CheckerFrameworkPerFileTest

org.checkerframework.framework.test.test.junit.AlternateTestRootPerFileWithFilesTest

public class AlternateTestRootPerFileWithFilesTest
extends CheckerFrameworkPerFileTest

Tests the explicit tests root configuration.

Field Summary

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

checker, checkerOptions, testDir, testFile

Constructor Summary

Constructors

Constructor	Description
AlternateTestRootPerFileWithFilesTest(File testFile)

Method Summary

Modifier and Type	Method	Description
void	checkResult(TypecheckResult typecheckResult)	Check that the TypecheckResult did not fail.
static List<File>	getTestFiles()
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.CheckerFrameworkPerFileTest

customizeOptions, run

Methods inherited from class java.lang.Object

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

Constructor Details

AlternateTestRootPerFileWithFilesTest

public AlternateTestRootPerFileWithFilesTest(File testFile)

Parameters:

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

Method Details

getTestFiles

public static List<File> getTestFiles()

checkResult

public void checkResult(TypecheckResult typecheckResult)

Check that the TypecheckResult did not fail.

Parameters:

typecheckResult - result to check

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