postcondition

Une définition du Jargon Français.
Aller à : Navigation, rechercher

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