[EBNF]productionrecap

$Revision: 1666 $

$Date: 2002-06-12 07:19:37 -0400 (Wed, 12 Jun 2002) $

productionrecap — A cross-reference to an EBNF production

Synopsis

Content Model

productionrecap ::=
EMPTY

Attributes

Common attributes

Name

Type

Default

linkendIDREFRequired

Description

This element is only available if you are using the EBNF Module.

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.

Attributes

linkend

[EBNF]FIXME: