On 19/11/2016 19:19, fo...@univ-mlv.fr wrote:
Apart the fact that the method should be called packages(), no :)
Also the implementation makes the order of the calls important, i.e. contains()
has to be called after all the other methods.
If you move the code that checks that a package can not be at the same time in
concealed packages and in opens or exports in build(), the problem disappear.
The ordering shouldn't matter, exports("p").contains("p.internal") and
contains("p.internal").exports("p") will both declare an exported
package and a non-exported package. Also exports("p").contains("p") and
contains("p").exports("p") should both fail with ISE. Ditto for
opens("p").contains("p") and contains("p").opens("p")
-Alan.