EXPLICIT - Déclaration locale de la numéroration des étiquettes

Attribut. Déclaration locale de la numéroration des étiquettes.

Syntaxe

EXPLICIT

Description

L'instruction EXPLICIT permet de spécifier que la numérotation des étiquettes est explicite.

Quand une étiquette est déclarée implicite, pour elle et pour toutes les étiquettes des propriétés qui suivent, le mode de numérotation devient automatique sauf pour celles déclarées comme étant explicite.

Cette règle s'arrête de s'appliquer dès lors qu'une étiquette de niveau universel est rencontrée et après celle-ci.

Rendre la numérotation des étiquettes explicites signifie que le codage Basic Encoding Rules (BER) écrit toujours un triplet (Préambule, Taille, Valeur) encapsulant la valeur stricto sensus.

En pratique, il est recommandé de ne pas utiliser cette instruction compte tenu que :

Exemple

MonModule DEFINITIONS ::=

BEGIN

-- Definition d'une sequence avec trois propriétes.
MonEnsemble ::= SEQUENCE
END

Voir aussi

SEQUENCE pour déclarer une séquence. SET pour déclarer un ensemble. CHOICE pour déclarer un choix.