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.4 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	SUBJ_ALL_CAPS autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,3eabbf2a3ff52bd
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!not-for-mail
From: =?iso-8859-15?Q?Yannick_Duch=EAne_=28Hibou57=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: [ANN]VTD-XML 2.9
Date: Sun, 15 Aug 2010 20:32:41 +0200
Organization: Ada At Home
Message-ID: <op.vhhsgrq1xmjfy8@garhos>
References: 
 <eb41821b-729d-4d81-9d19-894d36c8dcef@k17g2000prf.googlegroups.com>
 <ce9a5$4c682b85$433a4efa$9247@API-DIGITAL.COM>
NNTP-Posting-Host: RZkTY5NyuNCeyE5VNfPAfQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.61 (Win32)
Xref: g2news1.google.com comp.lang.ada:13353
Date: 2010-08-15T20:32:41+02:00
List-Id: <comp.lang.ada>

Le Sun, 15 Aug 2010 20:01:33 +0200, Marc A. Criley <mcNOSPAM@mckae.com> =
a  =

=E9crit:

> On 08/15/2010 02:46 AM, dontcare wrote:
>> VTD-XML 2.9, the next generation XML Processing API for SOA and Cloud=

>> computing, has been released. Please visit   =

>> https://sourceforge.net/projects/vtd-xml/files/
>> to download the latest version.
>
> Not exactly sure why this was announced here, since there's nothing  =

> really "Ada" about it.
Funny, I also came to it a few days ago. I was also thinking for long to=
  =

create a kind of by-byte-adresse map of XML files (if there is a standar=
d  =

that's better, will not have to create my own).

Beside of that, yes, how does it relate to Ada ? Same question for me.


-- =

There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.