Re: GNAT.Source_Info Volatile and SPARK

[Kevin Chadwick <kc-usenet@chadwicks.me.uk>]

\r>> Doh...Of course I can't wrap Line, ha ha. If I want the right line.
>
>Perhaps
>
>private with Gnat.Source_Info;
>
>package Source_Line_Info with SPARK_Mode is
>    function Line ... with Global => null;
>private -- Source_Line_Info
>    pragma SPARK_Mode (Off);
>
>    function Line ... renames Gnat.Source_Info.line;
>end Source_Line_Info;
>
>(Untested)

Interesting, Thanks. I might just use random identifiers. With the added
 benefit of knowing it will work with any runtime, any platform and any
 compilation options.

-- 
Regards, Kc