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: a07f3367d7,dbbbb21ed7f581b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Operation can be dispatching in only one type
Date: Thu, 19 Nov 2009 17:43:15 -0600
Organization: Jacob Sparre Andersen
Message-ID: <he4l6l$18s$1@munin.nbi.dk>
References: 
 <025105f2-5571-400e-a66f-ef1c3dc9ef32@g27g2000yqn.googlegroups.com>
 <94e76749-c49c-45aa-b7dc-386da0d71c66@e4g2000prn.googlegroups.com>
 <1u0im1tdws15u.1n9v9rz7bu4t4$.dlg@40tude.net>
 <adaa8b66-1394-45f9-a822-48f0bfb5c2cb@u16g2000pru.googlegroups.com>
 <39kf90ha60px$.d7746cf5cx6h.dlg@40tude.net>
 <691d6892-bc5e-4d81-8025-c36556bf2593@13g2000prl.googlegroups.com>
 <1h9hilcg5i6il.12edpgu4szw1h.dlg@40tude.net>
 <b8b7c578-b069-43e9-bdfa-962c43a0308c@t11g2000prh.googlegroups.com>
 <1wtsriaxu0s4s$.ikwnnz5teukp$.dlg@40tude.net> <he23dv$k4c$1@munin.nbi.dk>
 <wccmy2j462v.fsf@shell01.TheWorld.com>
 <223c52f9-50b6-4ff8-bf73-ecb9523b50d9@h40g2000prf.googlegroups.com>
 <wcctywq1ezh.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1258674197 1308 69.95.181.76 (19 Nov 2009 23:43:17 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 19 Nov 2009 23:43:17 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Xref: g2news1.google.com comp.lang.ada:8160
Date: 2009-11-19T17:43:15-06:00
List-Id: <comp.lang.ada>

"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message 
news:wcctywq1ezh.fsf@shell01.TheWorld.com...
> Adam Beneschan <adam@irvine.com> writes:
...
>> Since I'm too lazy to look, I'm hoping you know this off the top of
>> your head: is there anything in the AI's about preconditions that
>> would allow something to be caught when P is called rather than later
>> in the body of P?  I thought there were also some proposed attributes
>> that could test accessibility levels.
>
> Such things have been discussed.  We're probably going to have
> preconditions, and I seem to recall discussing some way to query the
> necessary accessibility-level info.

Memberships most likely will be extended to include accessibility checks. 
But I can't off-hand figure out how that could be used to do a library-level 
accessibility check short of declaring a named library-level access type to 
use in the membership. In that case, you probably should have just used the 
named type in the parameter in the first place and need no precondition (at 
least for that).

                             Randy.