#182 Enhance numbering of EBNF productions

output: all formats
open
nobody
XSL (122)
5
2011-08-08
2011-08-08
No

This patch adds a new parameter, ebnf.continuous.numbering. The default value of this parameter is true which results in the behaviour without this patch: all the EBNF productions in a document are numbered sequentially, regardless of whether they occur in the same or separate productionset elements. If this parameter is set to false, the numbering of productions restarts at 1 for each new productonset element.

Discussion

  • James Bostock

    James Bostock - 2011-08-18

    Removed old patch and added updated version that corrects a few omissions from the original.

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks