Class AlternateTestRootPerFileWithFilesTest

java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerFileTest
org.checkerframework.framework.test.test.junit.AlternateTestRootPerFileWithFilesTest

public class AlternateTestRootPerFileWithFilesTest extends CheckerFrameworkPerFileTest
Tests the explicit tests root configuration.
  • Constructor Details

    • AlternateTestRootPerFileWithFilesTest

      public AlternateTestRootPerFileWithFilesTest(File testFile)
      Parameters:
      testFile - the files containing test code, which will be type-checked
  • Method Details

    • getTestFiles

      public static List<File> getTestFiles()
    • checkResult

      public void checkResult(TypecheckResult typecheckResult)
      Check that the TypecheckResult did not fail.
      Parameters:
      typecheckResult - result to check
    • 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