Re: Protected Adjust?

[sjw <simon.j.wright@mac.com>]

On Apr 17, 8:52 am, Dimonax <dimo...@nospam.net> wrote:
> How does one encapsulate a Controlled type inside a Protected type such
> that Initialize, Finalize, and Ajust can be done concurrently?

> package mutators is

>         Protected Type Mutual_Excluder is
>                 -- This procedure is called by Initialize --
>                 procedure Create(Item : in Item_Type);
>
>                 -- This procedure is called by Adjust. --
>                 procedure Update(Item : in out Item_Pointer);
>
>                 -- This procedure is called by Finalize --
>                 procedure Destroy(Item : in out Item_Pointer);

There are no instances of Mutual_Excluder so how do these procedures
get called?

> The goal of this excercise is to be able to use the Adjust procedure from
> different tasks exclusively.

Initialize, Adjust, Finalize are only relevant as part of the
implementation of creation/assignment/copying/destruction. I don't see
how you propose to use mutators.Mutable in practice, it's hard to
comment further without some sort of use case.