comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Visibility issue
Date: Thu, 17 Sep 2020 17:00:35 +0200	[thread overview]
Message-ID: <rjvtmg$14vv$1@gioia.aioe.org> (raw)
In-Reply-To: a6a6053d-7ed9-47fa-a021-00bee31df07an@googlegroups.com

On 17/09/2020 15:31, Daniel wrote:
> El miércoles, 16 de septiembre de 2020 a las 23:48:34 UTC+2, Simon Wright escribió:
>> I still don't understand _why_.
> ¿Why a tagged type in a callback function to send data to users?
> It wasn't my decision. It's an imposed requirement.
> (...yes sometimes I don't understand some requirements/limitations neither.)
> 
>> Purely from the visibility aspect,
>>
>> package API is
>> function F return Integer;
>> private
>> Secret : constant := 42;
>> end API;
>>
>> private package API.Impl is
>> Altered : constant := Secret / 2;
>> end API.Impl;
>>
>> with API.Impl;
>> package body API is
>> function F return Integer is (Impl.Altered);
>> end API;
> 
> ok Lets try to fit this requirement:
>> "There will be one or more internal packages not visible to users where information is created. Preferably not in API hierarchy"

1. API.Impl is not in the public hierarchy of API.

2. Alternatively rename API.Impl into API_Impl. Move all secrets from 
API to API_Impl. Use API_Impl with the body of API.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2020-09-17 15:00 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-09-11 10:37 Visibility issue Daniel
2020-09-11 11:51 ` Maxim Reznik
2020-09-11 20:11   ` Daniel
2020-09-11 14:23 ` Jeffrey R. Carter
2020-09-11 20:17   ` Daniel
2020-09-11 22:36     ` Jeffrey R. Carter
2020-09-14 10:47       ` Daniel
2020-09-14 16:10         ` Jeffrey R. Carter
2020-09-15 19:11           ` Daniel
2020-09-15 20:03             ` Jeffrey R. Carter
2020-09-11 21:05 ` Dmitry A. Kazakov
2020-09-14 11:33   ` Daniel
2020-09-14 14:42     ` Dmitry A. Kazakov
2020-09-15 19:35       ` Daniel
2020-09-16  7:14         ` Dmitry A. Kazakov
2020-09-16 10:23           ` Daniel
2020-09-16 10:58             ` Dmitry A. Kazakov
2020-09-16 14:35               ` Daniel
2020-09-16 14:49                 ` Jeffrey R. Carter
2020-09-16 15:05                 ` Dmitry A. Kazakov
2020-09-16 20:09                   ` Daniel
2020-09-16 21:48                     ` Simon Wright
2020-09-17 13:31                       ` Daniel
2020-09-17 15:00                         ` Dmitry A. Kazakov [this message]
2020-09-17 15:32                           ` Daniel
2020-09-17 16:47                             ` Dmitry A. Kazakov
2020-09-18  8:05                         ` Simon Wright
2020-09-14 16:18 ` Simon Wright
2020-09-17 15:58 ` Jere
2020-09-17 16:10 ` Jere
2020-09-18  8:08   ` Simon Wright
2020-09-17 21:47 ` Shark8
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox