Class AlternateTestRootPerFileWithFilesTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerFileTest
org.checkerframework.framework.test.test.junit.AlternateTestRootPerFileWithFilesTest
Tests the explicit tests root configuration.
-
Field Summary
Fields inherited from class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
checker, checkerOptions, testDir, testFile
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
checkResult
(TypecheckResult typecheckResult) Check that theTypecheckResult
did not fail.protected File
Resolves the test root directory from the optionalTestRootDirectory
annotation or falls back to the default ofcurrentDir/tests
.Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
customizeOptions, run
-
Constructor Details
-
AlternateTestRootPerFileWithFilesTest
- Parameters:
testFile
- the files containing test code, which will be type-checked
-
-
Method Details
-
getTestFiles
-
checkResult
Check that theTypecheckResult
did not fail.- Parameters:
typecheckResult
- result to check
-
resolveTestDirectory
Resolves the test root directory from the optionalTestRootDirectory
annotation or falls back to the default ofcurrentDir/tests
.- Returns:
- the resolved directory
-