From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Kevin Chadwick <kc-usenet@chadwicks.me.uk>
Newsgroups: comp.lang.ada
Subject: Re: GNAT.Source_Info Volatile and SPARK
Date: Sat, 9 Dec 2023 15:13:28 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <ul206o$28dqn$1@dont-email.me>
References: <ukvn87$1r9gq$1@dont-email.me> <ul1srg$27ssd$1@dont-email.me>
 <ul1tri$28240$1@dont-email.me> <ul1v95$2735i$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 9 Dec 2023 15:13:28 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="f6e9be193d3e804a84a12316ab678d7e";
	logging-data="2373463"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/vrO/JAtkPU3LcgSZyVn5exSlZ9Z8R50g="
User-Agent: PhoNews/3.13.2 (Android/13)
Cancel-Lock: sha1:pD0Q10uNzQxNm68XqRTQsxP8iCE=
In-Reply-To: <ul1v95$2735i$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:65898
List-Id: <comp.lang.ada>


>> 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