Sopimuspohjainen Sopimuspohjainen olio-ohjelmointi olio-ohjelmointi

(1)

Sopimuspohjainen Sopimuspohjainen olio-ohjelmointi olio-ohjelmointi

Jouni Smed Jouni Smed Kevät 2007 Kevät 2007

Yleistä Yleistä

Laajuus: 5 op. (3 ov.)Laajuus: 5 op. (3 ov.)

Esitiedot: Olio-ohjelmoinninEsitiedot: Olio-ohjelmoinnin perusteet (tai ent. Ohjelmointi I) perusteet (tai ent. Ohjelmointi I)



Ilmoittautuminen:Ilmoittautuminen:

https://www.it.utu.fi/kurssi-ilmo/

ilmoittautuminen päättyy ilmoittautuminen päättyy 8.3.20078.3.2007!!

Kotisivu: Kotisivu: http://vco.ett.utu.fi/moodle/course/http://vco.ett.utu.fi/moodle/course/

view.php?id=13 view.php?id=13

kurssiavain: spoo2007kurssiavain: spoo2007

Korvaavuus Korvaavuus

Ohjelmointi II poistunutOhjelmointi II poistunut

nykyisestä tutkintorakenteesta nykyisestä tutkintorakenteesta

Ohjelmointi II =Ohjelmointi II =

Sopimuspohjainen olio-ohjelmointi Sopimuspohjainen olio-ohjelmointi ++

Olio-ohjelmoinnin jatkokurssiOlio-ohjelmoinnin jatkokurssi

OOJ järjestetään syksyllä 2007OOJ järjestetään syksyllä 2007

Luennot Luennot

5.3.5.3.––4.4.20074.4.2007

LuentoajatLuentoajat

maanantaisin 12maanantaisin 12––14 salissa 14 salissa αα

5.3, 12.3 ja 19.35.3, 12.3 ja 19.3

keskiviikkoisin keskiviikkoisin 1414––1616 salissa salissa αα

torstaisin torstaisin 1010––1212 salissa salissa αα

Demonstraatiot 1(2) Demonstraatiot 1(2)

Neljä demonstraatiokertaaNeljä demonstraatiokertaa

Ryhmät maanantaisin 10Ryhmät maanantaisin 10––12,12, 1212––14, 1414, 14––16 ja 1616 ja 16––1818

PäivätPäivät

demot 1: 26.3demot 1: 26.3

demot 2: 2.4demot 2: 2.4

demot 3: 16.4demot 3: 16.4

demot 4: 23.4demot 4: 23.4

Demonstraatiot 2(2) Demonstraatiot 2(2)

Ei osallistumispakkoa!Ei osallistumispakkoa!

Ei minimirajoja!Ei minimirajoja!

Ei kirjallisia vastauksia!Ei kirjallisia vastauksia!

(2)

Kurssin arvostelu Kurssin arvostelu



Arvostelu perustuu 30 pisteeseenArvostelu perustuu 30 pisteeseen



Tentissä jaossa 28 pistettäTentissä jaossa 28 pistettä



Demonstraatioissa jaossa 4 pistettäDemonstraatioissa jaossa 4 pistettä

kullakin kerralla 1 kokonainen pistekullakin kerralla 1 kokonainen piste



Ei demopakkoa:Ei demopakkoa:

0% demoja 0% demoja ⇒⇒ max. 28 pistettämax. 28 pistettä

Kurssin arvostelu 2(2) Kurssin arvostelu 2(2)

Hyväksytty kurssi vaatiiHyväksytty kurssi vaatii yhteensä 15 pistettä yhteensä 15 pistettä

ArvosanaArvosana

[15, 18) [15, 18) ⇒⇒ 11

[18, 21) [18, 21) ⇒⇒ 22

[21, 24) [21, 24) ⇒⇒ 33

[24, 27) [24, 27) ⇒⇒ 44

[27, 32] [27, 32] ⇒⇒ 55

Tentit Tentit

 TenttipäivätTenttipäivät 1.

1. toukokuussa 2007?toukokuussa 2007?

2.

2. kesäkuussa 2007?kesäkuussa 2007?

3.3. syyskuussa 2007?syyskuussa 2007?



 Varmista tenttiaika ja -paikkaVarmista tenttiaika ja -paikka

http://www.it.utu.fi/opetus/tentit/

 Muista ilmoittautua ajoissa!Muista ilmoittautua ajoissa!

Kurssikirja 1(2) Kurssikirja 1(2)

Smed, Hakonen, Raita:

Sopimuspohjainen olio-ohjelmointi Sopimuspohjainen olio-ohjelmointi Java-kielellä

Java-kielellä, 2007., 2007.

ISBN 978-952-92-1776-2 ISBN 978-952-92-1776-2

http://staff.cs.utu.fi/staff/jouni.smed/SHR07-SPOO.pdf http://staff.cs.utu.fi/staff/jouni.smed/SHR07-SPOO.pdf

SPOO-kurssiin tulevat kirjan SPOO-kurssiin tulevat kirjan luvut

luvut



§1: johdanto, Java-§1: johdanto, Java- kielestä

kielestä

§2: rutiinin määrittely§2: rutiinin määrittely



§3: luokka§3: luokka



§4: luokkakonaisuus§4: luokkakonaisuus



§5.1§5.1––§5.4:§5.4:

periytymisen käyttö periytymisen käyttö



§6.1§6.1––§6.3: alustus,§6.3: alustus, samuus

samuus



§7.1: geneerisyyden§7.1: geneerisyyden käyttö

käyttö



§8.2: kokoelmaluokat§8.2: kokoelmaluokat

Kurssiaikataulu 1(2) Kurssiaikataulu 1(2)

Perusoperaatiot Perusoperaatiot 22.3 to

22.3 to 9.9.

Periytymisen käyttö Periytymisen käyttö 21.3 ke

21.3 ke 8.

8.

Esimerkki, testauksesta Esimerkki, testauksesta 19.3 ma

19.3 ma 7.7.

Luokkakokonaisuuden muodostaminen Luokkakokonaisuuden muodostaminen 15.3 to

15.3 to 6.

6.

Sisäisen esitysmuodon eheys Sisäisen esitysmuodon eheys 14.3 ke

14.3 ke 5.

5.

Luokan muodostaminen Luokan muodostaminen 12.3 ma

12.3 ma 4.4.

Erikoistilanteiden käsittely Erikoistilanteiden käsittely 8.3 to

8.3 to 3.

3.

Sopimuspohjaisuus Sopimuspohjaisuus 7.3 ke

7.3 ke 2.2.

Alustus, Javasta, rutiinin määrittely Alustus, Javasta, rutiinin määrittely 5.3 ma

5.3 ma 1.

1.

Aihe Aihe Pvm

Pvm Kerta Kerta

(3)

Kurssiaikataulu 2(2) Kurssiaikataulu 2(2)

4. demonstraatiot 4. demonstraatiot 23.3 ma

23.3 ma (iv)

(iv)

16.3 ma (iii)

(iii)

Esimerkkejä, lopetus Esimerkkejä, lopetus 4.4 ke

4.4 ke 12.

12.

2.4 ma (ii)

(ii)

Kokoelmat Kokoelmat 29.3 to

29.3 to 11.11.

Geneerisyyden käyttö, kokoelmat Geneerisyyden käyttö, kokoelmat 28.3 ke

28.3 ke 10.

10.

26.3 ma (i)(i)

Aihe Aihe Pvm

Pvm Kerta Kerta

1. Johdanto 1. Johdanto

1.1. Java-kielestäJava-kielestä

2.2. Käytetyistä merkkinnöistäKäytetyistä merkkinnöistä

Javan versiohistoria Javan versiohistoria

3777 3777 3279 3279 29912991 18421842 1520 1520 504 504 212 212

Luokkia Luokkia

202 202 166 166 135135 7676 59 59 23 23 8 8

Pakkauksia Pakkauksia

joulukuu 2006 joulukuu 2006 6.0

6.0

geneerisyys geneerisyys syyskuu 2004

syyskuu 2004 5.0

5.0

assert assert helmikuu 2002

helmikuu 2002 1.41.4

toukokuu 2000 toukokuu 2000 1.31.3

Collections Collections joulukuu 1998

joulukuu 1998 1.2

1.2

sisäluokat sisäluokat helmikuu 1997

helmikuu 1997 1.1

1.1

toukokuu 1996 toukokuu 1996 1.0

1.0

Erityistä Erityistä Julkaistu

Julkaistu Versio

Versio

Kääntäminen ja ajaminen Kääntäminen ja ajaminen

javac MunKoodi.java javac MunKoodi.java

javac -Xlint MunKoodi.java javac -Xlint MunKoodi.java java -enableassertions MunKoodi java -enableassertions MunKoodi

Javadoc Javadoc

Hae kurssin kotisivulta tiedostotHae kurssin kotisivulta tiedostot common.jd

common.jd ja ja project.jdproject.jd

javadoc @common.jd @project.jd javadoc @common.jd @project.jd

Javadocin perustäkyt Javadocin perustäkyt

ristiviittaus ristiviittaus

@see

paluuarvon esittely paluuarvon esittely

@return

parametrin esittely parametrin esittely

@param

poikkeuksen esittely poikkeuksen esittely

@throws

mukana versiosta mukana versiosta

@since

versio versio

@version

tekijä tekijä

@author

(4)

common.jd

common.jd-tiedostossa -tiedostossa esiteltyjä lisätäkyjä esiteltyjä lisätäkyjä

työn alla työn alla

@.toDo

lähdekoodilinkki lähdekoodilinkki

@.download

tekijän yhteystiedot tekijän yhteystiedot

@.correspondence

abstraktiofunktio abstraktiofunktio

@.abstractionFunction

luokkainvariantti luokkainvariantti

@.classInvariant

loppuehto loppuehto

@.post

alkuehto alkuehto

@.pre

project.jd

project.jd-tiedosto -tiedosto

-windowtitle '

-windowtitle 'Projektin otsikkoProjektin otsikko'' -doctitle '

-doctitle 'Dokumentin otsikkoDokumentin otsikko'' -overview

-overview mahdollinen-projektin-yleiskuvaus.htmlmahdollinen-projektin-yleiskuvaus.html -bottom '© 2007

-bottom '© 2007 Etunimi SukunimiEtunimi Sukunimi. All. All Rights Reserved.Conforms to Rights Reserved.Conforms to JavaTM 2 API JavaTM 2 API Specification Version 6.0'

Specification Version 6.0' EsimerkkiTiedosto1.java EsimerkkiTiedosto1.java EsimerkkiTiedosto2.java EsimerkkiTiedosto2.java

Käytetyistä Käytetyistä

määrittelymerkinnöistä määrittelymerkinnöistä

Loogiset operaatiotLoogiset operaatiot

Implikaatio: Implikaatio: ==>==>

Ekvivalenssi: Ekvivalenssi: <==><==>

Universaalikvanttori: Universaalikvanttori: FORALLFORALL

Eksistenssikvanttori: Eksistenssikvanttori: EXISTSEXISTS

Arvo ennen rutiinikutsua: Arvo ennen rutiinikutsua: OLDOLD

Rutiinin paluuarvo: Rutiinin paluuarvo: RESULTRESULT

Loogiset operaatiot Loogiset operaatiot

||||

oikosulkeva disjunktio oikosulkeva disjunktio

&&

oikosulkeva konjunktio oikosulkeva konjunktio

^ poissulkeva disjunktio ^

poissulkeva disjunktio

|| disjunktio

disjunktio

&

konjunktio konjunktio

! negaatio !

negaatio

Merkintä Merkintä Operaatio

Operaatio

Implikaatio Implikaatio ==> ==>

Ilmaisee riittävää taiIlmaisee riittävää tai välttämätöntä edellytystä välttämätöntä edellytystä

p

p ==> ==> qq = =_def_def ( (!!pp)) | | qq

Ekvivalenssi

Ekvivalenssi <==> <==>

Tosi jos ja vain jos ehtojenTosi jos ja vain jos ehtojen totuusarvot ovat samat totuusarvot ovat samat

p

p <==> <==> qq = =_def_def !(!(pp ^ ^ qq))

(5)

Universaalikvanttori:

FORALL FORALL

FORALL(

FORALL(alkioalkio : : kokoelmakokoelma;; totuusarvolauseke totuusarvolauseke)) FORALL(

FORALL(muuttujamuuttuja : : muuttujanmuuttujan totuusehto

totuusehto; ; totuusarvolauseketotuusarvolauseke))

Esimerkki Esimerkki

/**

* @.pre FORALL(mj : lauma;

* mj.equals(

* mj.equals(""CowCow"")))) * @.post true

* @.post true */ */

public void

public void muut( muut(StringString[] lauma)[] lauma) /**/**

* @.pre FORALL(i : 0 <= i < lauma.length;

* lauma[i].equals(

* lauma[i].equals(""CowCow"")))) * @.post true

* @.post true */

*/

public void

public void muut( muut(StringString[] lauma)[] lauma)

Eksistenssikvanttori:

EXISTS EXISTS

EXISTS

EXISTS((alkioalkio : : kokoelmakokoelma;; totuusarvolauseke totuusarvolauseke)) EXISTS

EXISTS((muuttujamuuttuja : : muuttujanmuuttujan totuusehto

totuusehto; ; totuusarvolauseketotuusarvolauseke))

Esimerkki Esimerkki

/**

* @.pre EXISTS(mj : parvi;

* mj.equals("Chicken * mj.equals("Chicken””)))) * @.post true

* @.post true */ */

public void

public void kotkot(kotkot(StringString[] parvi)[] parvi) /**

/**

* @.pre EXISTS(i : 0 <= i < parvi.length;

* parvi[i].equals("Chicken * parvi[i].equals("Chicken””)))) * @.post true

* @.post true */

*/

public void

public void kotkot(kotkot(StringString[] parvi)[] parvi)

Arvo ennen rutiinikutsua:

Arvo ennen rutiinikutsua: OLD OLD

/**/**

* @.pre true * @.pre true

* @.post this.equals(OLD(this)) * @.post this.equals(OLD(this)) */

*/

public void

public void konservoi() konservoi()

Rutiinin paluuarvo:

Rutiinin paluuarvo: RESULT RESULT

/**

* @.pre s != null * @.pre s != null

* @.post RESULT.length == t.length &

* FORALL(i : 0 <= i < t.length;

* RESULT[i] ==

* t[(t.length - 1) - i]) * t[(t.length - 1) - i]) */

*/

public int

public int[] käännä([] käännä(intint[] t)[] t)

(6)

UML-merkinnöistä 1(2) UML-merkinnöistä 1(2)

riippuvuus riippuvuus

assosiaatio (suunnattu) assosiaatio (suunnattu) toteutus

toteutus yleistys yleistys Notaatio

Notaatio MerkitysMerkitys

UML-merkinnöistä 2(2) UML-merkinnöistä 2(2)

KanaKana luokkaluokka

abstrakti luokka abstrakti luokka Lintu

Lintu

rajapintaluokka rajapintaluokka Lentäväinen

Lentäväinen Notaatio

Notaatio MerkitysMerkitys

«interface»

Lentäväinen Lentäväinen

«abstract»

Lintu Lintu Virallinen Virallinen notaatio notaatio

Esimerkki Esimerkki

Asiantuntija Asiantuntija

Kissa Kissa Koira

Koira

Comparable Comparable

Lemmikki Lemmikki

Henkilö Henkilö