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

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

Syntaxe

IMPLICIT

Description

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

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 implicites signifie que le codage Basic Encoding Rules (BER) substitue au code universel du type employé le numéro écrit entre caractères crochet ouvrant et crochet fermant.

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

Exemple

MonModule DEFINITIONS ::=

BEGIN

-- Definition d'une séquence 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.