Class ReturnsReceiverLombokTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.junit.ReturnsReceiverLombokTest
Tests the returns receiver checker's lombok integration, the test files in
tests/returnsreceiverlombok package will be delomboked into tests/returnsreceiverdelomboked
package before running the test and the returns receiver checker will run on the generated codes.
-
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
.void
run()
Run the tests.Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
adjustTypecheckResult, customizeOptions
-
Constructor Details
-
ReturnsReceiverLombokTest
-
-
Method Details
-
run
public void run()Description copied from class:CheckerFrameworkPerDirectoryTest
Run the tests.- Overrides:
run
in classCheckerFrameworkPerDirectoryTest
-
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
-