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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: accessibility check failed
Date: Sun, 29 Nov 2015 11:37:04 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <n3fgg0$p2i$1@dont-email.me>
References: <3d45e3ed-16ca-4018-bf7b-62830acaca03@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 29 Nov 2015 18:34:42 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="caa759af2a9c666aec02942f6fe5abd6";
	logging-data="25682"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/Bzg9ZmyiUrDmy8y37NGjWrkO5IYY+ags="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
In-Reply-To: <3d45e3ed-16ca-4018-bf7b-62830acaca03@googlegroups.com>
Cancel-Lock: sha1:qoGBH4I86ELas7hhXXU2BPVJpmE=
X-Enigmail-Draft-Status: N1110
Xref: news.eternal-september.org comp.lang.ada:28594
Date: 2015-11-29T11:37:04-07:00
List-Id: <comp.lang.ada>

On 11/29/2015 11:03 AM, Serge Robyns wrote:
> I'm facing a "mysterious" accessibility check failed error.
> 
> I'm having the following function:
> 
>    overriding function Get_Client
>      (Self        : not null access T_Data_Store;
>       Client_Name : in              T_Client_Name)
>       return T_Client'Class

If you avoid both programming by extension and anonymous access-to-object types
your code will be simpler, clearer, and you will avoid mysterious error msgs.

If you further follow the design rule of no public access types things will be
even better.

-- 
Jeff Carter
"Ah, go away or I'll kill ya."
Never Give a Sucker an Even Break
100