7.1.1.1 Tehtävä contracts | COMP.CS.140 Ohjelmointi 3: Rajapinnat ja tekniikat

Kysymys 1 4 pistettä

Sopimussuunnittelussa

rajapinnan palvelut määritellään sopimuksena, jossa käyttäjälle ja toteuttajalle syntyy omat vastuunsa

toteuttajan vastuulla on tarkistaa, että palvelua on kutsuttu oikein

käyttäjän velvollisuus on miettiä, mitä rajapinta lupaa tehdä

aliluokka voi toteuttaa halutessaan kantaluokkaa tiukemman sopimuksen

kutsujan vastuulla on, miten rajapintaa saa kutsua

toteuttajan vastuulla on, että sopimuksen mukaisesti kutsuttu palvelu toteutuu

Kysymys 2 2 pistettä

Esiehto

ei sido palvelun kutsujaa

tarkistetaan aina toteutuksessa

määrittää, mitä asioita tulee olla voimassa, kun rajapinnan palvelua kutsutaan

Kysymys 3 2 pistettä

Jälkiehto

ei sido palvelun toteuttajaa

voi jäädä toteutumatta ilman, että käyttäjä huomaa tilannetta

määrittää, mitä asioita tulee olla voimassa palvelun suorituksen päätyttyä

Kysymys 4 2 pistettä

Luokkainvariantti

on voimassa luokan olioille aina koko ohjelman suorituksen ajan

on merkityksellinen olion metodien kutsujalle

on voimassa luokan olioille aina ennen ja jälkeen metodien kutsuja