Procedure Valider();
Si des objets ont des contraintes en attente de validation, alors ces contraintes sont vérifiées au moment de la validation. Si une de ces contraintes est mise en défaut, alors la validation n'est pas possible, les modifications sur les objets sont annulées et l'exception ValidationImpossible est envoyée.
La validation est transmise à toutes les connexions vers les bases de données qui sont liées à la transaction.
Une fois les modifications validées avec les succès, celles-ci sont visibles pour les autres tâches.
Type TA ITransactionnel Defaut
/****************************/
C : Caractere;
Constructeur();
Fin Type
Principal
/*******/
Variable
/******/
T : TA;
Debut
T.C="coucou";
TachePrincipale.TransactionCourante.Valider();
/* On valide la modification. */
Ecran.Ecrire(T.C+"\n");
T.C="hello";
TachePrincipale.TransactionCourante.Invalider();
/* On invalide la modification. */
Ecran.Ecrire(T.C+"\n");
...
Fin Principal
- | - | - | - | - | - | - | - | - |