Re: with child: access to parent

["Marc A. Criley" <mcqada@earthlink.net>]

Pat Rogers wrote:
> 
> "Peter Hermann" <ica2ph@iris16.csv.ica.uni-stuttgart.de> wrote in message
> news:9pc3jp$old$1@infosun2.rus.uni-stuttgart.de...
> > We happened to detect following non-expected
> > language permission (at least by gnat3.13p):
> >
> > --------------------
> > with pak.child;
> > procedure mytest is
> > begin
> >    pak.hugo:=1;
> >    end;
> > --------------------
> > package pak is
> >    hugo :integer;
> >    end pak;
> > --------------------
> > package pak.child is
> > end;
> > --------------------
> >
> > This may be perfectly legal but
> > I can not find the appropriate rule
> > in the LRM.
> 
> 10.1.2 Context Clauses - With Clauses
> 
> 6     A library_item is mentioned in a with_clause if it is denoted by a
> library_unit_name or a prefix in the with_clause.

Which means that

with pak.child;

is equivalent to:

with pak;
with pak.child;


Marc A. Criley
Senior Staff Engineer
Quadrus Corporation
www.quadruscorp.com