From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:3344:: with SMTP id
 k65-v6mr3675053itk.10.1535967590463;
        Mon, 03 Sep 2018 02:39:50 -0700 (PDT)
X-Received: by 2002:aca:2b06:: with SMTP id i6-v6mr292433oik.0.1535967590054;
 Mon, 03 Sep 2018 02:39:50 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!2.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed8.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer04.fr7!futter-mich.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w19-v6no3696261itb.0!news-out.google.com!z5-v6ni2874ite.0!nntp.google.com!w19-v6no3696259itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 3 Sep 2018 02:39:49 -0700 (PDT)
In-Reply-To: <ec0c3094-12a3-47c7-adf6-af5559c61c86@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a01:c50e:ac00:b900:8dac:9987:ec16:1da5;
 posting-account=C8J7NQoAAAD_ybGY7--QIRi6KpLjoH1Z
NNTP-Posting-Host: 2a01:c50e:ac00:b900:8dac:9987:ec16:1da5
References: <eec01618-ee08-4f7e-be3d-cb16ef2beb4b@googlegroups.com>
 <ec0c3094-12a3-47c7-adf6-af5559c61c86@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f14ca418-d3e3-4f9f-b4ae-9e6851930199@googlegroups.com>
Subject: Re: Where to find Ravenscar compatible ADT Containers (List, Vector,
 stack)
From: Daniel Norber <danielnorberto@gmail.com>
Injection-Date: Mon, 03 Sep 2018 09:39:50 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2122
X-Received-Body-CRC: 2947238044
Xref: reader02.eternal-september.org comp.lang.ada:54314
Date: 2018-09-03T02:39:49-07:00
List-Id: <comp.lang.ada>

El martes, 28 de agosto de 2018, 16:48:12 (UTC+2), Shark8  escribi=C3=B3:
> On Tuesday, August 28, 2018 at 6:06:20 AM UTC-6, Daniel Norber wrote:
> >
> > Someone know a modern ADA2012 third party ADT that compliances Ravensca=
r?.
> > Seems like ADA forgot Ravenscar users when they released 2005 container=
s.
>=20
> You could try the Ada.Containers.Formal_* containers, IIRC they are desig=
ned to work with full SPARK and should work with Ravenscar. The other item =
you might want to check out is the red-black tree (Ada.Containers.Red_Black=
_Trees) that some of the Formal_* containers use in GNAT.

Thank you. You save my day with Formal_* containers.