Re: Ada 2012 and type access to in out functions

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 11 Oct 2011 14:00:37 +0200, David Sauvage  
<david.sauvage@adalabs.com> a écrit:

> Using GNAT GPL 2011, I try to define a type that is an access to an in
> out function, and the following example code [1] is illegal for the
> compiler.
>
> Is it an Ada 2012 restriction on using in out functions, a GNAT GPL
> 2011 limitation or a bug ?
>
> Cheers,
>
> [1]
> -- gnatmake -gnat12 in_out_function_access_type.adb
> procedure In_Out_Function_Access_Type is
>
>    function Validate (Status : in out Boolean) return String
>    is
>    begin
>       Status := True;
>       return "command";
>    end Validate;
>
>    type Callback is access function (Status : in out Boolean) return
> String;
>    -- illegal  functions can only have "in" parameters.
>    -- build successfully if the above line is commented
> begin
>    null;
> end In_Out_Function_Access_Type;

Possibly not already implemented in GNAT 2011 so.

Sorry, can't test right now, as I don't have my Ada 2012 compiler (GNAT  
too), on hand. I just can tell you in/out parameters for functions are  
valid Ada 2012.

-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit