productionrecap
productionrecap — A cross-reference to an EBNF production.
Synopsis
productionrecap ::=
- empty
Attributes
Common attributes and common linking attributes.
No additional attributes.
Additional Constraints
- @linkend on productionrecap must point to a production.
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.
Attributes
Common attributes and common linking attributes.
- any attribute
Any attribute in any other explicit namespace
Parents
1 element contains productionrecap. × ⏵