From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,33fc00a6ce6be410
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!cycny01.gnilink.net!cyclone1.gnilink.net!spamkiller.gnilink.net!gnilink.net!trnddc08.POSTED!20ae255c!not-for-mail
Newsgroups: comp.lang.ada
From: Anonymous Coward <bogus_addy@bogus_domain.net>
Subject: not null access procedure (was: Re: Dynamic String)
References: <AJs6f.26037$Pe2.505823@twister2.libero.it>
 <1130753721.639869.322210@g43g2000cwa.googlegroups.com>
 <GmsjuSZVw+h+@eisner.encompasserve.org>
 <1130832161.671656.88230@o13g2000cwo.googlegroups.com>
 <1130875772.717413.45520@g14g2000cwa.googlegroups.com>
Message-Id: <slrndmg9d1.bmv.bogus_addy@tango.mindfuq.org>
User-Agent: slrn/0.9.7.4 (Linux)
Date: Wed, 02 Nov 2005 00:34:15 GMT
NNTP-Posting-Host: 141.149.78.234
X-Complaints-To: abuse@verizon.net
X-Trace: trnddc08 1130891655 141.149.78.234 (Tue, 01 Nov 2005 19:34:15 EST)
NNTP-Posting-Date: Tue, 01 Nov 2005 19:34:15 EST
Xref: g2news1.google.com comp.lang.ada:6101
Date: 2005-11-02T00:34:15+00:00
List-Id: <comp.lang.ada>

In article <1130875772.717413.45520@g14g2000cwa.googlegroups.com>, Matthew Heaney wrote:
> 
> Ada 2005 will indeed include a standard container library.  You can
> find the latest AI-302 draft (released just a couple of days ago)
> here:
> 
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-20302.TXT?rev=1.23

I noticed some syntax in the package specification of that link above,
which is unfamiliar to me:

   procedure Update_Element
     (Container : in out Vector;
      Index     : in     Index_Type;
      Process   : not null access procedure (Element : in out Element_Type));

What is meant by this "not null"?  Is this available in ADA95, or new
to ADA05?

I also had a more general question with access procedures.  Does an
access procedure still have scope in the package it is defined in?
Will it be able to access other subprograms and variables that it
normally would, when it is executed by the container package,
considering the container package has no visibility into its user?