Re: Return unconstrained types in ZFP

[Stephen Leake <stephen_leake@stephe-leake.org>]

"Rego, P." <pvrego@gmail.com> writes:

> I am trying to implement, for an ATmega2560 (Arduino Mega) micro-controller using ZFP in GNAT-AVR, an USART unconstrained Get string like
>       function Get (Port : USART_Port_Type; Size : Unsigned_8) return
>       String_U8;

Is "Size" a maximum here, or is the result expected to be exactly Size
bytes long?

Another alternative is to use a procedure:

      procedure Get 
         (Port      : in USART_Port_Type; 
          Data      :    out String_U8; 
          Data_Last :    out Unsigned_8);

Then the user must allocate space for Data:

declare
   Data      : String_U8 (1 .. Size);
   Data_Last : Unsigned_8;
begin
   Get (Port, Data, Data_Last);
   ... use Data
end;

This way, you don't need to implement the runtime code.

It is more of a burden for the user, but that's the point of ZFP; it's
easier to implement, harder to use.

-- 
-- Stephe