Class NullnessNullMarkedTest

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

public class NullnessNullMarkedTest extends CheckerFrameworkPerDirectoryTest
JUnit tests for the Nullness checker.
  • Constructor Details

    • NullnessNullMarkedTest

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