Re: Ada is getting more popular!

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 10/14/10 1:00 AM, ramon_garcia wrote:
> It is simply that I need to perform low level tasks, such as accessing
> a memory mapped file.

Since you can't get a pointer to unconstrained from a constrained
object(*), but you can bring data and processing subprograms
together. The different solution will remove GNAT dependences.

(Yes, copying might happen if an out parameter is initialized
by assigning components from another array. But the scenario
is different below.)

Use case:
If a pointer to unconstrained would be intended for obtaining
access to the data array (with correct bounds), this access
determines the use case, what is to be done with what.

Then instead of asking for a pointer at the "client" side,
invert control.

Have the client provide a callback procedure that takes an
unconstrained array, to be passed to the "server" side (where
the data record is defined now). Either use generics or
use access subprogram types (similar to updating subprograms
of Ada.Containers.*).

Example:

   -- client side:
   procedure Want_Bytes (Data : in out Buffer);
    -- perform some action on the bytes in Data
    -- Note: Data needs *not* be copied

   -- server side:
   generic
      with procedure do_something (data : in out Buffer);
   procedure process;
    -- instances will invoke do_something with a data buffer


   -- client side:
   procedure step is new Process (do_something => Want_Bytes);


   -- server side, body:
   procedure process is
   begin
      do_something (a_t.data);
   end process;

   -- client side:
   step;


This is plain Ada and will very likely avoid copying.
No pointers or aliases are needed.  It's efficient, too.

Extending, so as to have a container record from just anywhere,

   -- server side:
   generic
      with procedure do_something (data : in out Buffer);
   procedure Process (Info : in out Container);
    -- instances will invoke do_something, passing Info.data

    ...
   step (my_container_object);
__
(*) http://www.adapower.com/index.php?Command=Class&ClassID=Advanced&CID=213

>> I get the impression that Mr ramon_garcia is trying to use Ada as C.
>>
>> Better to use Ada as Ada, makes life simpler :)
>>
>> --Nasser
>