$Revision: 1666 $
$Date: 2002-06-12 07:19:37 -0400 (Wed, 12 Jun 2002) $
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.