Class CalledMethodsNoDelombokTest

java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.checker.test.junit.CalledMethodsNoDelombokTest

public class CalledMethodsNoDelombokTest extends CheckerFrameworkPerDirectoryTest
This test suite exists to demonstrate and keep a record of the unsoundness that occurs when Lombok and the Checker Framework are run in the same invocation of javac.
  • Constructor Details

    • CalledMethodsNoDelombokTest

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

    • getTestDirs

      public static String[] getTestDirs()
    • run

      public void run()
      copy-pasted code from CheckerFrameworkPerDirectoryTest.run(), except that we change the annotation processors to ANNOTATION_PROCS
      Overrides:
      run in class CheckerFrameworkPerDirectoryTest
    • 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