Vous êtes ici :  Lexique informatique > P > postcondition :

postcondition

n. f.

Article lié à celui-ci :  assertion.

[programmation] assertion placée dans le code source de sorte qu'elle soit évaluée juste avant un point de sortie de fonction [NM].

Articles voisins :  POS < position squatting < POSIX < POST < postcardware < postcondition > poste de travail > Postel, Jonathan > poster > posteur > postfixe .
Dern. modif. : 22-06-2001.

Tous droits réservés Roland Trique - Le Jargon Français.