osate/osate2-core — Issue #41: Reference on private items not forbidden
Author: jftilman
Created: 2012-02-16 16:47:12+00:00
State: open

With respect to §4.2 (N9) of the standard, writing two packages:

package Package1
private
system S1
end S1;
end Package1;

and

package Package2
private
with Package1;
system S2 extends Package1::S1
end S2;
end Package2;

should not work, because S1 is in the private section of Package1.
Osate does not claim and resolves the reference.