Add non-null constraints when in a Jspecify @NullMarked module/package

[SentryMan]

• When a Validation class is in a @NullMarked module/package/type, all field constraints are augmented with a non-null check unless @Nullable is specified

Given a class like:

@Valid
@NullMarked
public record JSpecifyNotNull(String basic, String withMax, @Nullable String withCustom) {}

the following is generated:

@Generated("avaje-validator-generator")
public final class JSpecifyNotNullValidationAdapter implements ValidationAdapter<JSpecifyNotNull> {

  private final ValidationAdapter<String> basicValidationAdapter;
  private final ValidationAdapter<String> withMaxValidationAdapter;
  private final ValidationAdapter<JSpecifyNotNull> jspecifyNotNullValidationAdapter;

  public JSpecifyNotNullValidationAdapter(ValidationContext ctx) {
    this.basicValidationAdapter = 
        ctx.<String>adapter(NonNull.class, Map.of("message","{avaje.NotNull.message}"));

    this.withMaxValidationAdapter = 
        ctx.<String>adapter(NonNull.class, Map.of("message","{avaje.NotNull.message}"));

    this.jspecifyNotNullValidationAdapter = 
        ctx.<JSpecifyNotNull>adapter(NonNull.class, Map.of("message","{avaje.NotNull.message}"));

  }

  @Override
  public boolean validate(JSpecifyNotNull value, ValidationRequest request, String field) {
    if (field != null) {
      request.pushPath(field);
    }
    var _$basic = value.basic();
    basicValidationAdapter.validate(_$basic, request, "basic");

    var _$withMax = value.withMax();
    withMaxValidationAdapter.validate(_$withMax, request, "withMax");

    if (!request.hasViolations()) {
      jspecifyNotNullValidationAdapter.validate(value, request, field);
    }


    if (field != null) {
      request.popPath();
    }
    return true;
  }
}

[rbygrave]

Yeah, very nice!!