postcondition

Une définition du Jargon Français.

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].