NOM — féminin
/pɔstkɔ̃disjɔ̃/
Syllabes : pɔst.kɔ̃.di.sjɔ̃
Orthocode : post.con.di.tion
Fréquence
0.0
composite /M
0.0
FrWaC
Fréquences par million de mots. Composite = moyenne géométrique des sources disponibles. En savoir plus
Définitions
-
1.
Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique.
La postcondition de la somme de deux nombres positifs est que cette somme doit être positive.
-
2.
En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction.
Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie.
Étymologie
dérivé de condition, avec le préfixe post-.
Antonymes
Dérivés
Formes fléchies
| Forme | Phonétique | Traits | Syllabes | Orthocode |
|---|---|---|---|---|
| postcondition | /pɔstkɔ̃disjɔ̃/ | commun, feminin, singulier | pɔst.kɔ̃.di.sjɔ̃ | post.con.di.tion |
| postconditions | /pɔstkɔ̃disjɔ̃/ | commun, feminin, pluriel | pɔst.kɔ̃.di.sjɔ̃ | post.con.di.tions° |