Lecture overview -- Keyboard shortcut: 'u'  Previous page: Udbyttet af kontrakter i programudviklings processen -- Keyboard shortcut: 'p'  Next page: Andre anvendelser af assertions [Section] -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Play sound for this page -- Keyboard shortcut: 'y'  Page 29 : 31
Forelæsningsnoter i Objekt-orienteret Programmering
Designkontrakter og ansvarsfordeling
Assertions i objekt-orienterede programmeringssprog

Eiffel er et objekt-orienterede programmeringssprog som understøtter assertions. Den primære inspirationskilde til materialet i dette afsnit er således Bertrand Meyer, som har lavet Eiffel

Idéerne i denne lektion understøttes direkte i det objekt-orienterede programmeringssprog Eiffel

Eiffel er designet af Bertrand Meyer, som også er forfatter til artiklen 'Applying Design by Contract'

  • Assertions og kontrakter i andre objekt-orienterede sprog

    • Simulere ideerne ved brug af boolske funktioner

    • Understøttes ved anvendelse af en preprocessor

    • Angives ved brug af kommentarer

I Java er der desværre ingen understøttelse af kontrakter og assertions

Der findes dog flere forsøg på at påklistre assertions og kontrakter til Java via præ-processorer