Class NullnessSafeDefaultsSourceCodeTest

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

public class NullnessSafeDefaultsSourceCodeTest extends CheckerFrameworkPerDirectoryTest
JUnit tests for the Nullness checker when using safe defaults for unannotated source code.
  • Constructor Details

    • NullnessSafeDefaultsSourceCodeTest

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