Package org.checkerframework.framework.test.junit

Class ReturnsReceiverLombokTest

java.lang.Object

org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

org.checkerframework.framework.test.junit.ReturnsReceiverLombokTest

public class ReturnsReceiverLombokTest
extends CheckerFrameworkPerDirectoryTest

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

Constructor	Description
ReturnsReceiverLombokTest(List<File> testFiles)

Method Summary

Modifier and Type	Method	Description
void	checkResult(TypecheckResult typecheckResult)	Check that the TypecheckResult did not fail.
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.
void	run()	Run the tests.

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

adjustTypecheckResult, customizeOptions

Methods inherited from class java.lang.Object

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

Constructor Details

ReturnsReceiverLombokTest

public ReturnsReceiverLombokTest(List<File> testFiles)

Method Details

run

public void run()

Description copied from class: CheckerFrameworkPerDirectoryTest

Run the tests.

Overrides:

run in class CheckerFrameworkPerDirectoryTest

getTestDirs

public static String[] getTestDirs()

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