 Jens Bennedsen 2001Multimedie programmering3B.1 Specifikationer Betingelser, specifikationer og JavaDoc

 Jens Bennedsen 2001Multimedie programmering3B.2 Type og forekomst Objekt er en ting der har en tilstand der kan variere over tid. Variationen kan foregå ved at objektet modtager nogle beskeder (operationer) Objektet indkapsler tilstand og operationer Et objekt er en ting der har: –tilstand –grænseflade –Indkapsling klasseObjektets grænseflade er beskrevet i dets klasse

 Jens Bennedsen 2001Multimedie programmering3B.3 Agent Hvad sker der, når jeg forsøger at sende en buket blomster til Alice i Svendborg?

 Jens Bennedsen 2001Multimedie programmering3B.4 Interaktion Vi opfatter objekterne som agenter, der kan foretage en række handlinger –Beskrevet i objektets grænseflade (klassen) Vi skal beskrive samarbejdet mellem objekterne:

 Jens Bennedsen 2001Multimedie programmering3B.5 Agenter og krav Agenten kan have nogle krav til sine omgivelser –F.eks. vil blomsterhandleren ikke lave en buket til –120 kr. Agenten lover at opfylde nogle ting –F.eks. sender blomsterhandleren en buket til Alice

 Jens Bennedsen 2001Multimedie programmering3B.6 Klasser og krav En klasse’s tilstand kan påvirkes via kald af operationer –Kravene fra klassen bliver til krav til den måde operationerne bliver kaldt på. –Typisk krav til parametrene eller til rækkefølgen af kald Klassen ”gør noget” ved de værdier den returnerer fra operationer –Det klassen lover bliver til udsagn om returværdien fra operationerne

 Jens Bennedsen 2001Multimedie programmering3B.7 Pre- og post conditions De ting der skal være opfyldt for at en operation giver mening kaldes en operations Precondition De ting operationen skal opfylde kaldes dens Postcondition

 Jens Bennedsen 2001Multimedie programmering3B.8 Roller class Session … duration pre: start og end er kaldt før post: Varigheden af udlejningen returneres... end Session Anvender skal opfylde kravene til operationen kan forvente det operationen gør Implementør skal opfylde det operationen gør kan forvente kravene til operationen AnvenderImplementør Pre betingelseSkal opfyldeKan antage Post betingelseKan antageSkal opfylde

 Jens Bennedsen 2001Multimedie programmering3B.9 JavaDoc JavaDoc er et værktøj til at beskrive kontrakten Class GeometricTurtle... Method Summary voidpolygonpolygon(int sides, int length) Draws a polygon with sides, each side has the length of length pre: sides>2, length>0 post: The polygon is drawn /** * Draws a polygon with sides, each side has the length * of length * pre: sides>2, length>0 * post: The polygon is drawn */ public void polygon(int sides, int length) {

 Jens Bennedsen 2001Multimedie programmering3B.10 Data abstraktion Data skjul er en filosofi, hvor anvenderen kun benytter den offentlige grænseflade til at ændre et objekts tilstand Dette betyder at implementøren har mulighed for at ændre HVORDAN han/hun har tænkt sig at implementere opfyldelsen af post betingelsen (men ikke mulighed for at ændre på HVAD operationen gør)

 Jens Bennedsen 2001Multimedie programmering3B.11 Abstrakte datatyper og Java

 Jens Bennedsen 2001Multimedie programmering3B.12 Beskrivelsesniveauer Der er (mindst) fire niveauer af beskrivelse af operationer på klasser: –navn –pre- og post betingelse –interaktion –invariant HVAD HVORDAN