Class NullnessTest


public class NullnessTest extends CheckerFrameworkPerDirectoryTest
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 the NullnessAssumeInitializedTest,
  • test cases for the Initialization Checker that do not involve any nullness annotations (in directory initialization)
  • Constructor Details

    • NullnessTest

      public NullnessTest(List<File> testFiles)
      Create a NullnessTest.
      Parameters:
      testFiles - the files containing test code, which will be type-checked
  • Method Details

    • 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