Authoritative definition of module dependencies, relationships and contents

[Victor Rudometov]

On 27-Mar-17 23:56, Alan Bateman wrote:
> On 27/03/2017 19:34, Volker Simonis wrote:
>
>> 3. Is it acceptable for an "independent implementation" to add
>> additional "requires" and/or "requires transitive" edges from a
>> standard module to another standard module?
> I assume this will be covered by the documentation for certifying a 
> Java SE 9 implementation.
>
> However just to say that if you change module M to `requires 
> transitive X` then you expose the X API to whoever requires M. So I 
> expect `requires transitive` (or "implied readability" as it is 
> termed) will feature in the module graph equivalent of the signature 
> test.

This is absolutely right. JCK ModuleGraph test makes sure independent 
implementation does not add new 'requires transitive' or 'exports' 
statements.

Thanks.
Victor.