Class NullnessTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.checker.test.junit.NullnessTest
JUnit tests for the Nullness Checker with the Initialization Checker.
Since the Initialization Checker cannot be run by itself, this covers
- test cases for the Nullness Checker that depend on the Initialization Checker (in directory
nullness-initialization
), - test cases for the Nullness Checker that should behave the same regardless of whether
initialization checking is on or off (in directory
nullness
; these are run both by this test and by theNullnessAssumeInitializedTest
, - test cases for the Initialization Checker that do not involve any nullness annotations (in
directory
initialization
)
-
Field Summary
Fields inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
checkerNames, checkerOptions, classpathExtra, testDir, testFiles
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
checkResult
(TypecheckResult typecheckResult) Check that theTypecheckResult
did not fail.static String[]
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.CheckerFrameworkPerDirectoryTest
adjustTypecheckResult, customizeOptions, run
-
Constructor Details
-
NullnessTest
Create a NullnessTest.- Parameters:
testFiles
- the files containing test code, which will be type-checked
-
-
Method Details
-
getTestDirs
-
resolveTestDirectory
Resolves the test root directory from the optionalTestRootDirectory
annotation or falls back to the default ofcurrentDir/tests
.- Returns:
- the resolved directory
-
checkResult
Check that theTypecheckResult
did not fail.- Parameters:
typecheckResult
- result to check
-