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.
  • Constructor Details

    • ReturnsReceiverLombokTest

      public ReturnsReceiverLombokTest(List<File> testFiles)
  • Method Details