Service provider module dependency resolving webrev

[Alan Bateman]

On 19/06/2012 15:33, Paul Sandoz wrote:
> Hi,
>
> http://cr.openjdk.java.net/~psandoz/jigsaw/resolver-services/webrev/
>
> - "permits" does not affect the resolving of service provider modules dependencies
>
> - service provider modules dependencies are resolved after the explicit dependencies have been successfully resolved.
>
>    - if service provider modules or their dependencies are service consumer modules then the correspond service provide modules
>      are resolved after the explicit dependences and so on.
>
I haven't tried your patch but I wonder about cases where the service 
provide modules have transient dependencies on modules that are in the 
initial chosen set, something like:

M
   requires X;
   requires service S;

P
   requires X @ 1.0
   provides service S with S1;

X @ 1.0

X @ 2.0

With today's implementation then M, P, and X at 1.0 will be chosen.

If I understand the proposal then M and X at 2.0 will be initially chosen 
and then P and its dependencies will need to be worked out. With the 
proposal then does this result in the same answer or will it fail 
because X at 1.0 and X2.0 cannot be the same configuration?

-Alan.