Class NullnessGenericWildcardTest

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

public class NullnessGenericWildcardTest extends CheckerFrameworkPerDirectoryTest
JUnit tests for the Nullness checker for issue #511.
  • Constructor Details

    • NullnessGenericWildcardTest

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