DEFINITIONS
Instruction. Déclaration des options du module.
Syntaxe
NomDuModule IdentifiantObjetOption DEFINITIONS ModeEtiquettageOption ModeExtensionOption ::=
BEGIN
ExportationsOption
ImportationsOption
ListeDAffectationsOption
END
Description
L'instruction DEFINITIONS permet de déclarer les options du module :
- Le mode d'étiquettage.
Par défaut, il est explicite. Mais il est préférable de le déclarer automatique.
- Le mode d'extension.
Par défaut, il est non automatique.
Exemple
-- Le module possede les options recommandees.
MonModule {iso member-body(2) ups(1) essai(1)} DEFINITIONS AUTOMATIC TAGS ::=
BEGIN
...
END
Voir aussi
AUTOMATIC pour déclarer le mode d'étiquettage automatique.
EXTENSIBILITY pour le mode d'extension automatique.