OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Subject: [relax-ng] Re: Description of Jing's validation algorithm

Sorry for the belated comments. It took me sometime to settle in a new

> OneOrMore and Text are straightforward:
> deriv (OneOrMore p) n cx =
>   group (deriv p n cx) (choice (OneOrMore p) Empty)
> deriv Text (TextNode _) _ = Text

I think Text is not so straightforward. I once thought 

deriv Text (TextNode _) _ = Empty

and I saw another person (I guess in xml-dev) that understood it in this
way. So I guess it's worth mentioning that the residual of Text is still
Text, not Empty.

Also, it might worth mentioning in the error handling section that
employing the "panic mode" technique is a good way to conceal a poor
error recovery.

I still need to read streaming part of the algorithm ...

Kohsuke KAWAGUCHI                          +1 607 257 0037
Sun Microsystems                   kohsuke.kawaguchi@sun.com

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]

Powered by eList eXpress LLC