$Revision$
$Date$
productionrecap — A cross-reference to an EBNF production
productionrecap ::= EMPTY
Name |
Type |
Default |
linkend | IDREF | Required |
This element is only available if you are using the EBNF Module.
A ProductionRecap
is a cross reference to
a Production
.
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
Production
s defined elsewhere. This frequently
makes it easier for readers to understand.