Class NullnessSkipDirsTest

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

public class NullnessSkipDirsTest extends CheckerFrameworkPerDirectoryTest
JUnit tests for the Nullness Checker -- testing -AskipFiles command-line argument.
  • Constructor Details

    • NullnessSkipDirsTest

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

    • getTestDirs

      public static String[] getTestDirs()
      Returns the directories containing test code.
      Returns:
      the directories containing test code
    • 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