comp.lang.ada
 help / color / mirror / Atom feed
From: "news.realtime.net" <idbaxter@semdesigns.com>
Subject: Re: XML generator
Date: Thu, 16 May 2002 08:50:04 -0500
Date: 2002-05-16T08:50:04-05:00	[thread overview]
Message-ID: <3ce3b6ba$1@giga.realtime.net> (raw)
In-Reply-To: 3CE2DF3C.682F07C4@despammed.com


"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





  reply	other threads:[~2002-05-16 13:50 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-13 21:23 XML generator Wes Groleau
2002-05-13 21:51 ` Ingo Marks
2002-05-13 22:00   ` Wes Groleau
2002-05-14 16:57     ` Wes Groleau
2002-05-15  2:59       ` Steve Doiel
2002-05-15 16:05         ` Wes Groleau
2002-05-15 16:44           ` Pascal Obry
2002-05-15 16:59             ` Marin David Condic
2002-05-15 22:20             ` Wes Groleau
2002-05-16 13:50               ` news.realtime.net [this message]
2002-05-16 14:30               ` Marin David Condic
2002-05-17  1:15                 ` Aidan Skinner
2002-05-17 13:40                   ` Marin David Condic
2002-05-18  2:32                     ` Aidan Skinner
2002-05-20 14:38                       ` Marin David Condic
2002-05-20 16:20                       ` Stephen Leake
2002-05-20 17:11                       ` Wes Groleau
2002-05-20 18:13                         ` Marin David Condic
2002-05-21 14:59                           ` Pascal Obry
2002-05-21 17:43                             ` Marin David Condic
2002-05-17 13:47                 ` Wes Groleau
2002-05-22  9:43                   ` Georg Bauhaus
2002-05-22 17:31                     ` Wes Groleau
2002-05-16  1:55           ` Steve Doiel
2002-05-16  9:49             ` Emmanuel Briot
2002-05-16 17:09             ` Wes Groleau
2002-05-19  2:54       ` David Botton
2002-05-19 20:26         ` achrist
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox