1 minute, 47 seconds

Designkontrakter og ansvarsfordeling - slide 13 : 31

Ansvarsfordeling specificeret med pre- og postbetingelser 

Pre- og postbetingelser kan bruges til at specificere ansvarsfordelingen mellem klasser og operationer i et objekt-orienteret program

 

• Opfyldelse af pretingelsen
  • Kalderen's ansvar

  • Klienten's ansvar i et objekt-orienteret program

• Opfyldelse af postbetingelsen
  • Den kaldte operation's ansvar

  • Forsyneren's ansvar i et objekt-orienteret program