END
Instruction. Marque le début des définitions du module.
Syntaxe
NomDuModule IdentifiantObjetOption DEFINITIONS ModeEtiquettageOption ModeExtensionOption ::=
BEGIN
ExportationsOption
ImportationsOption
ListeDAffectationsOption
END
Description
L'instruction END ferme la liste des définitions du module.
Exemple
-- Le module possede les options recommandees.
MonModule {iso member-body(2) ups(1) essai(1)} DEFINITIONS AUTOMATIC TAGS ::=
BEGIN
...
END
Voir aussi
DEFINITIONS pour déclarer les options du module.
BEGIN pour ouvrir le bloc des définitions du module.