postcondition

[USA]/ˌpəʊst.kənˈdɪʃ.ən/
[UK]/ˌpoʊst.kənˈdɪʃ.ən/

Översättning

n.Ett tillstånd som måste vara sant efter att en viss operation eller process har slutförts.

Fraser & Kollokationer

postcondition check

eftervillkor kontroll

postcondition violation

eftervillkor överträdelse

postcondition effect

eftervillkoreffekt

postcondition definition

eftervillkorsdefinition

postcondition assertion

eftervillkorspåstående

postcondition evaluation

eftervillkorsevaluering

postcondition model

eftervillkorsmodell

postcondition logic

eftervillkorslogik

postcondition rule

eftervillkorregel

postcondition example

eftervillkorexempel

Exempelsatser

the postcondition must be clearly defined in the contract.

Efterkravet måste vara tydligt definierat i avtalet.

we need to verify the postcondition after executing the function.

Vi behöver verifiera efterkravet efter att funktionen har körts.

understanding the postcondition helps in debugging the code.

Att förstå efterkravet hjälper till att felsöka koden.

each test case should specify its expected postcondition.

Varje testfall bör specificera sitt förväntade efterkrav.

the postcondition ensures that the system remains stable.

Efterkravet säkerställer att systemet förblir stabilt.

developers should always check the postcondition after a method call.

Utvecklare bör alltid kontrollera efterkravet efter ett metodanrop.

failure to meet the postcondition can lead to unexpected results.

Om efterkravet inte uppfylls kan det leda till oväntade resultat.

the postcondition of the algorithm is crucial for its correctness.

Efterkravet för algoritmen är avgörande för dess korrekthet.

documentation should include the postcondition for each function.

Dokumentationen bör inkludera efterkravet för varje funktion.

in software design, the postcondition defines the state after execution.

Inom programvarudesign definierar efterkravet tillståndet efter exekvering.

Ladda ner appen för att låsa upp allt innehåll

Vill du lära dig ordförråd mer effektivt? Ladda ner DictoGo-appen och ta del av fler funktioner för att memorera och repetera ordförråd!

Ladda ner DictoGo nu