$Revision: 1.3 $
$Date: 2002/06/12 11:18:29 $
productionrecap — A cross-reference to an EBNF production
productionrecap ::= EMPTY
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 Productions defined elsewhere. This frequently makes it easier for readers to understand.
These elements contain productionrecap: productionset.