État du poste

Qu'est-ce que la post-condition?

Post Condition est une instruction ou un ensemble d'instructions décrivant le résultat d'une action si elle est vraie lorsque l'opération a terminé sa tâche.

L'instruction Post Conditions indique ce qui sera vrai lorsque l'action aura terminé sa tâche.

Exemple:

Pour identifier la racine carrée d'un nombre, la condition préalable est que le nombre soit supérieur à zéro. La condition POST est que la racine carrée du nombre soit affichée sur la console.