Logiske udtryk samt pre- og postbetingelser

Designkontrakter og ansvarsfordeling - slide 6 : 31

Logiske udtryk samt pre- og postbetingelser

Et logisk udtryk er et udtryk af typen boolean

En prebetingelse af en operation er et logisk udtryk, som skal være opfyldt umiddelbart før operationen kaldes

En postbetingelse af en operationer et logisk udtryk, som skal være opfyldt umiddelbart efter at operation er udført

Prebetingelse
- En prebetingelse udtrykker, om det er meningsfyldt at kalde operationen med de givne parametre
- Prebetingelsen's opfyldelse er en forudsætning for at operationen kan kaldes
Postbetingelse
- En postbetingelse udtrykker at operationen returnerer et bestemt resultat eller har en bestemt effekt, når denne kaldes med de givne parametre som opfylder prebetingelsen
- Postbetingelsen fastlægger betydningen af operationen

Logiske udtryk kaldes ofte for assertions på engelsk og udsagn på dansk