2727import java .lang .reflect .InvocationTargetException ;
2828import java .util .stream .IntStream ;
2929import java .util .stream .Stream ;
30+ import org .jspecify .annotations .Nullable ;
3031import org .junit .jupiter .api .extension .ExtensionContext ;
3132import org .junit .jupiter .params .provider .Arguments ;
3233import org .junit .jupiter .params .provider .ArgumentsProvider ;
@@ -151,6 +152,7 @@ protected AbstractCompilersProvider() {
151152 }
152153
153154 @ Override
155+ @ SuppressWarnings ("deprecation" )
154156 public Stream <? extends Arguments > provideArguments (ExtensionContext context ) {
155157 return IntStream
156158 .rangeClosed (minVersion , maxVersion )
@@ -159,6 +161,18 @@ public Stream<? extends Arguments> provideArguments(ExtensionContext context) {
159161 .map (Arguments ::of );
160162 }
161163
164+ // Do not @Override as this does not exist prior to JUnit 5.13.
165+ // Use a generic Object for the ParameterDeclarations argument as that
166+ // also does not exist prior to JUnit 5.13, and we do not want to trigger
167+ // NoClassDefFoundExceptions on older versions of JUnit.
168+ @ SuppressWarnings ("override" )
169+ public Stream <? extends Arguments > provideArguments (
170+ @ Nullable Object parameters ,
171+ ExtensionContext context
172+ ) {
173+ return provideArguments (context );
174+ }
175+
162176 /**
163177 * Configure this provider with parameters from annotations.
164178 *
0 commit comments