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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c9d14a9b4208ef0b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-16 06:40:11 PST
From: "news.realtime.net" <idbaxter@semdesigns.com>
Newsgroups: comp.lang.ada
References: <3CE02EE1.8FEBD4DE@despammed.com>
 <abpcfc$9ve$06$1@news.t-online.com> <3CE03784.DD40698E@despammed.com>
 <3CE14210.AC3FC998@despammed.com> <zakE8.2533$gD6.4485@sccrnsc01>
 <3CE2875B.F2A54C0D@despammed.com> <usn4ticmy.fsf@wanadoo.fr>
 <3CE2DF3C.682F07C4@despammed.com>
Subject: Re: XML generator
Date: Thu, 16 May 2002 08:50:04 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
NNTP-Posting-Host: t1-30.realtime.net
Message-ID: <3ce3b6ba$1@giga.realtime.net>
X-Trace: giga.realtime.net 1021556410 t1-30.realtime.net (16 May 2002 08:40:10
 -0500)
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.cidera.com!Cidera!giga.realtime.net
Xref: archiver1.google.com comp.lang.ada:24187
Date: 2002-05-16T08:50:04-05:00
List-Id: <comp.lang.ada>


"Wes Groleau" <wesgroleau@despammed.com> wrote in message
news:3CE2DF3C.682F07C4@despammed.com...
>
>
> To be more specific, I have to do:
>
> --> ASIS --> info in memory --[a]--> XML file
>
> so I am looking for code that does transformation [a]
> in a more logical way than what I already have.

We build code analysis and generation tools.  One tool
we are completing internally is a DTD "compiler".
     in: DTD,
     out:  native-target-language data structures/code for:
           a)  XML structures specified by DTD
           b) DTD-specific XML parser (fast!)
           c) DTD-specific XML generation.

The essential scheme defines one class per XML element
to hold the XML data.   Data access is direct,
rather than through a DOM interface.
Top level "parse XML for this specific DTD"
producing a tree of class instances",
and top-level "generate DTD-specific XML from this
tree of class instances" are generated.
We've done this for Java and COBOL.
We could easily do the same for Ada or Ada95.
Not open source, though.

This may be of considerable help, but it
seems to me that you wanted something
that guaranteed that you were producing
"correct" XML for a particular DTD.
(If you fill in the class tree properly,
you'll certainly get that).   But if your
concern is to verify that your application
always generates the correct XML (or
class structures), then what you appear
to want is an analyzer for your application,
that can find the series of XML-fragment
generation events and prove that all
sequences valid in your code will
compose those fragments correctly.
That's MUCH harder.   Our general tools
are designed to help with such tasks,
but that is probably pushing the envelope
of our ambitions.


Ira Baxter, PhD  CTO Semantic Designs
www.semdesigns.com   512-250-1018