Hi,<div><br></div><div><div class="gmail_quote">On 25 October 2011 14:34, Emmanuel Bernard <span dir="ltr"><<a href="mailto:emmanuel@hibernate.org" target="_blank">emmanuel@hibernate.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Your email made me think of a potential solution.<br>
<br>
We could use the service loader pattern to declare a constraint implementor service that would list the bindings between a constraint and its implementation.<br>
<br>
Add in implementation jars<br>
<br>
META-INF/services/javax.validation.ConstraintValidator<br>
<br>
where `javax.validation.ConstraintValidator` contains the list of fully qualified class names of constraint implementations.<br>
<br>
>From the class, we can infer the @Constraint being validated.<br>
<br>
I think this works very well:<br>
<br>
- this list is compiled when ValidatorFactory is built<br>
- this list can be equally built by the compiler and thus the annotation processor has equal knowledge<br>
<br>
The only gotcha I can see is that in modular environments like OSGi and co. They tend to hide such files from the classpath. So discovering the various resources named `META-INF/services/javax.validation.ConstraintValidator` might be flaky.<br>
That's an open subject in any case (ie. making BV run better in modular environments).<br>
<br>
Any one with better knowledge of OSGi or any other modular environment want to shred some lights?<font color="#888888"><br></font></blockquote><div><br></div><div>I'm not an OSGi expert but I've already implemented such mechanism to discover BV implementations, with a custom ValidationProviderResolver, in OSGi. For this test I've used the following design, one bundle for the api and one bundle per implementation (the common use case). </div>
<div><br></div><div>In OSGi, the bundle resources are hidden to others bundle. To get something like that working you need to iterate on all bundles and check if the `META-INF/services/javax.validation.ConstraintValidator` is present with the bundle classloader. The main issue here is to deal with dynamism but that's not the goal :-) One drawback with that approach is that you expose your implementations which tend to be hidden in a modular world.</div>
<div><br></div><div>IMHO, if the mechanism used to discover the ConstraintValidator implementations is pluggable, it should work.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<font color="#888888">
Emmanuel<br>
</font><div><br>
On 24 oct. 2011, at 22:08, Gunnar Morling wrote:<br>
<br>
</div><div><div></div><div>> Hi,<br>
><br>
>> - we would need to scan libs - talk to the CDI guys, this is not a trivial problem and at least forces people to put META-INF/bean.xml files in their JARs<br>
><br>
> Would probably be the simplest solution for constraint authors and<br>
> users, but I agree that this would be everything but easy. So I guess<br>
> this approach is out of scope at least for BV 1.1.<br>
><br>
>> - we would need to list all bindings in an XML DD (this solution already exists in BV 1.0)<br>
><br>
> Right, that works. One problem I still see from the POV of a<br>
> constraint author is that as of BV 1.0 each constraint mapping must be<br>
> imported in validation.xml. So a constraint library author could<br>
> create distinct JARs for constraints and validators but the user still<br>
> would need to import the mapping XML files.<br>
><br>
> I think that's a general thing which we should cover in BV 1.1: enable<br>
> the creation of re-usable constraint libraries which can easily be<br>
> thrown into a project. Maybe this would en passant address the cycle<br>
> problem.<br>
><br>
>> - we would need to list all binding via a programmatic API (that solution does break compile time checking BTW)<br>
><br>
> Why would that break compile-time type-safety?<br>
><br>
> --Gunnar<br>
><br>
><br>
> 2011/10/24 Emmanuel Bernard <<a href="mailto:emmanuel@hibernate.org" target="_blank">emmanuel@hibernate.org</a>>:<br>
>> I personally am not bothered by this especially when comparing the drawbacks of alternatives:<br>
>> - we would need to scan libs - talk to the CDI guys, this is not a trivial problem and at least forces people to put META-INF/bean.xml files in their JARs<br>
>> - we would need to list libs in an XML DD<br>
>> - we would need to list all bindings in an XML DD (this solution already exists in BV 1.0)<br>
>> - we would need to list all binding via a programmatic API (that solution does break compile time checking BTW)<br>
>> - we would rely one some naming convention (not type-safe and require package scanning which is not trivial either esp in funny environments that use custom URL protocols)<br>
>> - we would rely on the container to provide the information - which means SE becomes a second class citizen<br>
>><br>
>> We can imagine less evil solutions like a "factory" class declared in the XML DD and describing the binding programmatically but I'm not yet convinced of the benefits. For that we would need to explore the programmatic configuration topic first though.<br>
>><br>
>> Emmanuel<br>
>><br>
>> On 23 oct. 2011, at 20:10, Gunnar Morling wrote:<br>
>><br>
>>> Hello experts,<br>
>>><br>
>>> one thing about BV I'm somewhat uncomfortable with is the (cyclic)<br>
>>> dependency between constraint annotation types and their validators.<br>
>>> This is, validators are referenced from constraints within the<br>
>>> @Constraint meta-annotation, while constraint types are referenced by<br>
>>> the type parameter in validator impl's.<br>
>>><br>
>>> In particular this makes it impossible to clearly distinguish between<br>
>>> the public API of a constraint library (the annotation types) and its<br>
>>> implementation (the validators), e.g. by creating two distinct JARs.<br>
>>><br>
>>> Therefore I'd personally prefer if there was only a reference from the<br>
>>> validators to the constraints, but not the other way around. This of<br>
>>> course raises the question how it would be determined which validators<br>
>>> exist for a given constraint. One could think of using XML descriptors<br>
>>> or some scanning-based approach. I guess from a technical POV this<br>
>>> problem is somewhat related to what's to be done in CDI (finding bean<br>
>>> implementations, processing qualifier annotations etc.).<br>
>>><br>
>>> That said, I'd be very interested in your opinion on this topic. Do<br>
>>> you think this is something we should address or do you think this<br>
>>> sort of cycle is acceptable?<br>
>>><br>
>>> Thanks,<br>
>>><br>
>>> --Gunnar<br>
>>> _______________________________________________<br>
>>> beanvalidation-dev mailing list<br>
>>> <a href="mailto:beanvalidation-dev@lists.jboss.org" target="_blank">beanvalidation-dev@lists.jboss.org</a><br>
>>> <a href="https://lists.jboss.org/mailman/listinfo/beanvalidation-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/beanvalidation-dev</a><br>
>><br>
>><br>
>> _______________________________________________<br>
>> beanvalidation-dev mailing list<br>
>> <a href="mailto:beanvalidation-dev@lists.jboss.org" target="_blank">beanvalidation-dev@lists.jboss.org</a><br>
>> <a href="https://lists.jboss.org/mailman/listinfo/beanvalidation-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/beanvalidation-dev</a><br>
>><br>
> _______________________________________________<br>
> beanvalidation-dev mailing list<br>
> <a href="mailto:beanvalidation-dev@lists.jboss.org" target="_blank">beanvalidation-dev@lists.jboss.org</a><br>
> <a href="https://lists.jboss.org/mailman/listinfo/beanvalidation-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/beanvalidation-dev</a><br>
<br>
<br>
_______________________________________________<br>
beanvalidation-dev mailing list<br>
<a href="mailto:beanvalidation-dev@lists.jboss.org" target="_blank">beanvalidation-dev@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/beanvalidation-dev" target="_blank">https://lists.jboss.org/mailman/listinfo/beanvalidation-dev</a><br>
</div></div></blockquote></div><br></div><div>--Kevin</div>