Re: Issue: redefinition without the original

[James Clark <jjc@jclark.com>]

> Another example.
>
> A.rng
> <grammar>
>   <define name="foo" combine="choice">
>     <element A/>
>   </define>
> </grammar>
>
> B.rng
> <grammar>
>   <include grammar="A.rng"/>
>   <include grammar="C.rng">
>     <define name="foo" combine="choice">
>       <element B/>
>     </define>
>   </include>
>   <include grammar="D.rng"/>
> </grammar>
>
> C.rng
> <grammar>
>   <define name="foo" combine="choice">
>     <element C/>
>   </define>
> </grammar>
>
> D.rng
> <grammar>
>   <define name="foo" combine="choice">
>     <element D/>
>   </define>
> </grammar>
>
>
>
> What will be the result of this definition? Will it be (A|B|D)? I guess
> so.

Yes.

> I wonder how we can formally define the semantics of the define/redefine.

I think we can define in terms of rules for performing a series of syntactic
transformations.

James