On 30.04.2017 17:47, Alan Bateman wrote:
On 30/04/2017 12:10, Stephan Herrmann wrote:

:

Java 9 could make "API leaks" either illegal or ineffective and thus rule out
an entire category of ill-formed programs, which to-date must unfortunately
be accepted by module-unaware compilers:

  (A) Java 9 has the opportunity to say that the declaration of m1 is illegal,
  because it publicly exposes a non-accessible type, which is broken in
  every regard.
FWIW, this is -Xlint:exports when using javac, e.g: public class in a 
non-exported package:

src/m/p/C1.java:4: warning: [exports] class C2 in module m is not exported
    public q.C2 hello() { return null; }
            ^
1 warning

or a non-public class in an exported package:

src/m/p/C1.java:4: warning: [exports] class C2 in module m is not accessible to 
clients that require this module
    public C2 hello() { return null; }
           ^
1 warning

-Alan

Thanks for the hint.

My obvious question: Is this specified (where?), or javac's own deliberation?
Even if the latter, it would be great to see a list of jigsaw related lints.

This is a step in the direction I was hoping for, but by issuing just a warning
and still accepted the program, this does not help to avoid the extra complexity
in language & tools.

best,
Stephan

Reply via email to