[EBNF]constraintdef

$Revision: 1666 $

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

constraintdef — The definition of a constraint in an EBNF production

Synopsis

Content Model

constraintdef ::=
(title,
 (%admon.mix;))

Attributes

Common attributes

Parameter Entities

The following parameter entities contain constraintdef:

Parameter Entities
%bookcomponent.content;%component.mix;%compound.class;
%divcomponent.mix;%ebnf.block.hook;%refcomponent.mix;

Description

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

A ConstraintDef contains a description of a constraint that cannot be expressed in the grammar (generally logical rather than syntactic constraints).

Processing expectations

Formatted as a displayed block.

Examples

For examples, see productionset.