Class AinferNullnessAjavaValidationTest


public class AinferNullnessAjavaValidationTest extends AinferValidatePerDirectoryTest
Tests whole-program type inference with ajava files. This test is the second pass, which ensures that with the ajava files in place, the errors that those annotations remove are no longer issued.
  • Constructor Details

    • AinferNullnessAjavaValidationTest

      public AinferNullnessAjavaValidationTest(List<File> testFiles)
      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