"postcondition" meaning in Français

{
  "antonyms": [
    {
      "word": "précondition"
    }
  ],
  "categories": [
    {
      "kind": "other",
      "name": "Dérivations en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Lemmes en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Mots en français préfixés avec post-",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Noms communs en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en italien",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "dérivé de condition, avec le préfixe post-."
  ],
  "forms": [
    {
      "form": "postconditions",
      "tags": [
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "word": "programmation par contrat"
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français des mathématiques",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "La postcondition de la somme de deux nombres positifs est que cette somme doit être positive."
        }
      ],
      "glosses": [
        "Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique."
      ],
      "id": "fr-postcondition-fr-noun-Ht9CqVVS",
      "topics": [
        "mathematics"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "name": "Lexique en français de la programmation",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie."
        }
      ],
      "glosses": [
        "En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction."
      ],
      "id": "fr-postcondition-fr-noun-JeNtBIPj",
      "topics": [
        "programming"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\pɔst.kɔ̃.di.sjɔ̃\\"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-postcondition.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/e0/LL-Q150_(fra)-WikiLucas00-postcondition.wav/LL-Q150_(fra)-WikiLucas00-postcondition.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/e0/LL-Q150_(fra)-WikiLucas00-postcondition.wav/LL-Q150_(fra)-WikiLucas00-postcondition.wav.ogg",
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-postcondition.wav"
    },
    {
      "audio": "LL-Q150 (fra)-LoquaxFR-postcondition.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0f/LL-Q150_(fra)-LoquaxFR-postcondition.wav/LL-Q150_(fra)-LoquaxFR-postcondition.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0f/LL-Q150_(fra)-LoquaxFR-postcondition.wav/LL-Q150_(fra)-LoquaxFR-postcondition.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-postcondition.wav"
    }
  ],
  "tags": [
    "feminine"
  ],
  "translations": [
    {
      "lang": "Italien",
      "lang_code": "it",
      "tags": [
        "feminine"
      ],
      "word": "postcondizione"
    }
  ],
  "word": "postcondition"
}

{
  "antonyms": [
    {
      "word": "précondition"
    }
  ],
  "categories": [
    "Dérivations en français",
    "Lemmes en français",
    "Mots en français préfixés avec post-",
    "Noms communs en français",
    "Traductions en italien",
    "français"
  ],
  "etymology_texts": [
    "dérivé de condition, avec le préfixe post-."
  ],
  "forms": [
    {
      "form": "postconditions",
      "tags": [
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "word": "programmation par contrat"
    }
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Nom commun",
  "senses": [
    {
      "categories": [
        "Exemples en français",
        "Lexique en français des mathématiques"
      ],
      "examples": [
        {
          "text": "La postcondition de la somme de deux nombres positifs est que cette somme doit être positive."
        }
      ],
      "glosses": [
        "Condition appliquée à la fin d’un calcul et permettant de valider le résultat d’une fonction mathématique."
      ],
      "topics": [
        "mathematics"
      ]
    },
    {
      "categories": [
        "Lexique en français de la programmation"
      ],
      "examples": [
        {
          "text": "Les postconditions vont permettre de continuer la poursuite du programme ou lever une exception quand la postcondition n’est pas remplie."
        }
      ],
      "glosses": [
        "En programmation, propriété attachée à une fonction et vérifiée à la fin de l’exécution de cette fonction."
      ],
      "topics": [
        "programming"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\pɔst.kɔ̃.di.sjɔ̃\\"
    },
    {
      "audio": "LL-Q150 (fra)-WikiLucas00-postcondition.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/e0/LL-Q150_(fra)-WikiLucas00-postcondition.wav/LL-Q150_(fra)-WikiLucas00-postcondition.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/e/e0/LL-Q150_(fra)-WikiLucas00-postcondition.wav/LL-Q150_(fra)-WikiLucas00-postcondition.wav.ogg",
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-WikiLucas00-postcondition.wav"
    },
    {
      "audio": "LL-Q150 (fra)-LoquaxFR-postcondition.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0f/LL-Q150_(fra)-LoquaxFR-postcondition.wav/LL-Q150_(fra)-LoquaxFR-postcondition.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/0f/LL-Q150_(fra)-LoquaxFR-postcondition.wav/LL-Q150_(fra)-LoquaxFR-postcondition.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-postcondition.wav"
    }
  ],
  "tags": [
    "feminine"
  ],
  "translations": [
    {
      "lang": "Italien",
      "lang_code": "it",
      "tags": [
        "feminine"
      ],
      "word": "postcondizione"
    }
  ],
  "word": "postcondition"
}