Re: Protected types and visibility of their internals

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 8 Lip, 23:03, "Randy Brukardt" <ra...@rrsoftware.com> wrote:

> I think you are asking the wrong question. The question is "Where should the
> protected type be declared?". Since there are no operations that are
> specific to protected types, there is very little reason to make those a
> visible type.
>
> Thus, I would generally structure the package with a private type and the
> protected type (if any) declared in the private part. Something like:
>
>  package P2 is
>      type Priv is tagged limited private;
>      procedure Foo (Obj : in out Priv);
>  private
>     type Some_Type is ...
>     protected type PT is
>         procedure Foo;
>    private
>       X : Some_Type;
>    end PT;
>    type Priv is tagged limited record
>         Lock : PT;
>    end record;
> end P2;

Yes, it works for me. In addition, this allowed me to hide some
additional operations of the protected type, which are not supposed to
be used by public, but are necessary in interactions with other
components. Putting the whole protected type in private part of the
package is a clean way to do this.

"Every computing problem can be solved with additional level of
indirection." :-)

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com