Conditions d’une opération
Vous pouvez définir les conditions d’une opération sous la forme de contraintes.
L'onglet Contraintes de la fenêtre de propriétés de l'opération vous permet de spécifier :
• La Pré-Condition, qui doit être vérifiée avant que l'opération ne s'exécute.
• Le Corps, qui doit être vérifié lors de l’exécution de l’opération.
• La Post-Condition qui doit être vérifiée après l'exécution de l'opération.
Si une condition n'est pas respectée, une exception est générée.
Voir aussi :
"Les contraintes".