Re: Providers ordering
Santiago Pericas-Geertsen
Hi Markus,
toggle quoted messageShow quoted text
The precedence of application-defined vs. built-in providers has already been established and cannot be changed at this point (but should be clarified better as mentioned by others). Conceptually, we have two ordered sets and we only consider the built-in set iff the application-defined set is empty after filtering. In my view, the introduction of @Priority should only apply to application-defined providers —which are in fact the ones that developers can add annotations to. — Santiago
|
|