package tests; import java.io.File; import java.util.List; import org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest; import org.junit.runners.Parameterized.Parameters; /** JUnit tests for the Nullness checker when reflection resolution is enabled */ public class NullnessReflectionTest extends CheckerFrameworkPerDirectoryTest { public NullnessReflectionTest(List<File> testFiles) { super( testFiles, org.checkerframework.checker.nullness.NullnessChecker.class, "nullness", "-AresolveReflection", "-Anomsgtext"); } @Parameters public static String[] getTestDirs() { return new String[] {"nullness-reflection"}; } }