[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] demexp DTD and CDuce use

From: David MENTRE
Subject: [Demexp-dev] demexp DTD and CDuce use
Date: Mon, 01 Nov 2004 13:58:22 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hello Serge,

I have updated demexp DTD and XML example in
demexp--development--0.3--patch-90. However, I have only done manual
checks and not mechanical ones, so there is probably a lot of errors and
mistakes. The produced file passes the dtd2cduce check (i.e. 
"dtd2cduce . srv/demexp.dtd" gives a result).

I would appreciate if you could review chapter 14 of
srv/demexp-server-book.[dvi|pdf] and give me your opinion on it, as you
are our XML expert. Do not hesitate to criticize the use of tags and
attributes, if you find something not nice or homogeneous (of course,
everybody on demexp-dev is invited to do so). I think that we should
also write an XML Schema for our DTD, in order to refine the data types
(e.g. ids are natural integers).

On the CDuce side, I have compiled and installed CDuce on my
machine. I'm also starting to understand the cduce language.

You once asked me what interface I would expect from the CDuce part,
here is a start of answer:

 - open an XML demexp file, for reading or writing;

 - functions to read or write the XML document, one *part* at a time
   (e.g. a participant, a question, etc.);

 - close the XML document with necessary check or closing tag.

I would like to avoid the load of the whole XML document if it is

Have a nice end of weekend,
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]