Show description

Php’) ; # Échange les valeurs de ses paramètres. php’) ; # Écrit les valeurs des paramètres. php /** * Échanger les valeurs de "$a" et "$b".  Cette procédure est donc déclarée à l’aide du mot function. L’exécution du script principal qui appelle cette procédure et la procédure ecrire donne les résultats suivants : Principal avant échange : A = 17 Principal après échange : A = 17 B = 21 B = 21 ce qui, manifestement, n’est pas ce qui est attendu. com © ENI Editions - All rigths reserved - Jonifar lina 31 Principal Échanger Échanger Principal avant avant après après échange échange échange échange : : : : A A A A = = = = 17 17 21 17 B B B B = = = = 21 21 17 21 Ainsi, on constate que la procédure d’échange s’acquitte correctement de sa tâche et réalise bien ce qui a été prouvé plus haut.

La section suivante propose quelques exercices pour mettre en pratique ce qui a été vu dans les sections précédentes.  Seules les quelques notions étudiées dans ce chapitre sont nécessaires pour donner une solution complète à ces exercices, même si, parfois, il existe une solution meilleure que celle actuellement accessible. Chaque exercice doit être entièrement spécifié, la réalisation de l’algorithme proposé doit être complète et, s’il y a lieu, démontrée. Certains énoncés sont volontairement imprécis et donc permettent, parfois, différentes interprétations.

Ainsi, ce résultat est VRAI si et seulement si la contenance actuelle du réservoir est nulle et alors le réservoir est vide. Lorsque la contenance n’est pas nulle, Résultat prend la valeur FAUX, ce qui indique que le réservoir n’est pas vide. La fonction estPlein est définie de la même façon. 0 Algorithme estPlein # r est-il plein ?  C’est ce qu’exprime l’affectation de la variable Résultat qui prend pour valeur celle du prédicat à droite du symbole d’affectation.  Encore une fois, la signature de la fonction, complétée de la précondition et de la postcondition suffit à la définir.