[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 environment. > 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 ... regards, -- 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