Re: Logical constants

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2017-10-02 21:07, Victor Porton wrote:

> What should be argument mode for an object for which a handler (of some kind
> of event or some callback) is set?
> 
> Set_Handler_*(Object, ...);
> 
> Currently I am thinking about
> 
> procedure Set_BNode_ID_Handler
>    (World: Raptor_World_Type_Without_Finalize'Class;
>     Handler: access BNode_ID_Handler'Class);
> 
> World is a main object of a library, to keep there user settings.
> 
> Handler is a generator of a blank node ID (that is a unique string starting
> from underscore, like "_ax123").
> 
> Should Set_BNode_ID_Handler be considered as modifying World object?

Likely so.

One of two arguments should be dispatching. If handler is a proxy object 
it should be passed without access and copied inside. If handler is not 
a proxy then it should be "not null access", unless null value is used 
to remove the handler.

Now if all handlers are siblings then it goes as:

    type Abstract_Handler is ... abstract ...;
    procedure Set
              (  Handler : not null access Abstract_Handler;
                 World   : in out ...'Class
              )  is abstract;

    type BNode_Handler is new Abstract_Handler with ...;
    overriding
       procedure Set
                 (  Handler : not null access BNode_Handler;
                    World   : in out ...'Class
                 );

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