productionrecap

productionrecap — A cross-reference to an EBNF production.

Synopsis

productionrecap ::=

  • empty

Description

A productionrecap is a cross-reference to a production.

Processing expectations

A productionrecap is rendered exactly like the production to which it refers. The purpose of the productionrecap element is to allow a productionset to contain copies of productions defined elsewhere. This frequently makes it easier for readers to understand.

Parents

These elements contain productionrecap: productionset.

Last revised by Norman Walsh on (git hash: 4460ecff4b65268b558037cbda9fadcfb9e3e09a 7c5a17532e372309975fdbdf572c92cf383a8b5d d8336abc499f0c937e6dbe0a81964bf398e6987d)