Class AinferNullnessJaifsValidationTest

java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.checker.test.junit.ainferrunners.AinferNullnessJaifsValidationTest

public class AinferNullnessJaifsValidationTest extends CheckerFrameworkPerDirectoryTest
Tests whole-program type inference with the aid of .jaif files. This test is the second pass, which ensures that with the annotations inserted, the errors are no longer issued.
  • Constructor Details

    • AinferNullnessJaifsValidationTest

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