Re: Redefinition of named <start>

[Kohsuke KAWAGUCHI <kohsuke.kawaguchi@eng.sun.com>]

> So I expected the <y><y/></y> instance to be valid, but Jing wants <x><y/></x>.
> 
> What is the correct behavior?

I think the correct behavior should be accepting <y><y/></y>, as you
expected. You can fix this problem by modifying the source code of Jing
as follows:

(line 982, PatternReader.java)
>     void sendPatternToParent(Pattern p) {
>       if (name != null)
>         setPattern(grammar.makePatternRef(name), p);
>       setPattern(grammar.startPatternRef(), p);
>     }

to

>     void sendPatternToParent(Pattern p) {
>       if (name != null) {
>         Pattern ref = grammar.makePatternRef(name);
>         setPattern(ref,p);
>         p = ref;
>       }
>       setPattern(grammar.startPatternRef(), p);
>     }

Hope this helps.


regards,
--
Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems                   kohsuke.kawaguchi@sun.com