Is Storage Subpool Example tested?

Is Storage Subpool Example tested?

[ytomino]

Hello.

I'm trying to compile http://ada-auth.org/standards/12rm/html/RM-13-11-6.html , but there are some errors.

Perhaps, 

1. "use type System.Storage_Pools.Subpools.Subpool_Handle;" is missing.

2. 2nd parameter of Set_Pool_of_Subpool is "in out", but access value is given.

3. Downcast as MR_Subpool is missing in
> Result.Start := Pool.Next_Allocation;

4. ".Start" is missing in
> Pool.Next_Allocation := Pool.Markers(Pool.Current_Pool);

(And, I had to replace some 'Unchecked_Access to 'Unrestricted_Access, but this is GNAT's feature. I don't care it.)

BTW, Do you have a interesting idea to use subpools?
For instance, I like Matthew Heaney's System.Initialization. ( http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0001-1.txt?rev=1.17 )
It seems to be able to implement by user with subpool.

 P := System.Initialization.New_Object (Storage);

is able to be rewritten like below

 P := new (Make_Subpool_Using_Given_Address (Storage'Address)) Object_Type;

However, Delete_Object is difficult. :-)

Re: Is Storage Subpool Example tested?

[Randy Brukardt]

"ytomino" <aghia05@gmail.com> wrote in message 
news:17281761.1787.1335388694731.JavaMail.geo-discussion-forums@pbcrp8...
> Hello.
>
> I'm trying to compile 
> http://ada-auth.org/standards/12rm/html/RM-13-11-6.html , but there are 
> some errors.

Please send any problems with the Standard (including in the examples), to 
Ada-Comment as explained in any recent version of the Ada standard.

And no, I didn't have a compiler that supported subpools when I wrote that. 
Indeed, I don't think I had any Ada compiler when I wrote that (I think I 
created that example in the middle of the night between days of an ARG 
meeting, on my underpowered Ubuntu laptop - there might be GNAT somewhere on 
there, but I don't know about it if it exists). I know we fixed some errors 
in it, but I don't think anyone actually ran it on an implementation (since 
it predates an implementation by years).

                      Randy.

Re: Is Storage Subpool Example tested?

[ytomino]

On Thursday, April 26, 2012 12:03:14 PM UTC+9, Randy Brukardt wrote:
> 
> Please send any problems with the Standard (including in the examples), to 
> Ada-Comment as explained in any recent version of the Ada standard.

Well, I don't know the standard process of Ada, at all.
Ada-Comment as you say seems a mailing list. mail-address is probably written in http://www.ada-auth.org/standards/ada12.html .
First, how to subscribe and read it?

> And no, I didn't have a compiler that supported subpools when I wrote that. 
> Indeed, I don't think I had any Ada compiler when I wrote that (I think I 
> created that example in the middle of the night between days of an ARG 
> meeting, on my underpowered Ubuntu laptop - there might be GNAT somewhere on 
> there, but I don't know about it if it exists). I know we fixed some errors 
> in it, but I don't think anyone actually ran it on an implementation (since 
> it predates an implementation by years).

OK.
It's accidental that I tried it. 

Re: Is Storage Subpool Example tested?

[Randy Brukardt]

"ytomino" <aghia05@gmail.com> wrote in message 
news:22176229.2198.1335415028662.JavaMail.geo-discussion-forums@pbts20...
> On Thursday, April 26, 2012 12:03:14 PM UTC+9, Randy Brukardt wrote:
>>
>> Please send any problems with the Standard (including in the examples), 
>> to
>> Ada-Comment as explained in any recent version of the Ada standard.
>
> Well, I don't know the standard process of Ada, at all.
> Ada-Comment as you say seems a mailing list. mail-address is probably 
> written in http://www.ada-auth.org/standards/ada12.html .
> First, how to subscribe and read it?

See http://www.ada-auth.org/standards/12rm/html/RM-0-2.html for how to send 
comments to the list.

There used to be a page explaining how to join the list on AdaIC, but it 
seems to have vanished. To join the list, send a message "join ada-comment" 
to listserv@ada-auth.org from the e-mail address that you want to post from.

                                       Randy.




>> And no, I didn't have a compiler that supported subpools when I wrote 
>> that.
>> Indeed, I don't think I had any Ada compiler when I wrote that (I think I
>> created that example in the middle of the night between days of an ARG
>> meeting, on my underpowered Ubuntu laptop - there might be GNAT somewhere 
>> on
>> there, but I don't know about it if it exists). I know we fixed some 
>> errors
>> in it, but I don't think anyone actually ran it on an implementation 
>> (since
>> it predates an implementation by years).
>
> OK.
> It's accidental that I tried it. 

Re: Is Storage Subpool Example tested?

[ytomino]

On Friday, April 27, 2012 9:32:41 AM UTC+9, Randy Brukardt wrote:
> 
> There used to be a page explaining how to join the list on AdaIC, but it 
> seems to have vanished. To join the list, send a message "join ada-comment" 
> to listserv@ada-auth.org from the e-mail address that you want to post from.

Thank you.
I could subscribe to ada-comment mailing list.

> > On Thursday, April 26, 2012 12:03:14 PM UTC+9, Randy Brukardt wrote:
> >>
> >> Please send any problems with the Standard (including in the examples), 
> >> to
> >> Ada-Comment as explained in any recent version of the Ada standard.

And, I sent the mail about RM 13.11.6.
I hope that there is no my bad manners.