Pre- og postkonditioner

her er nogen eksempler ..
http://gbit.dk/prepost.pdf
kort
pre .. noget der skal være sandt før kaldet
post .. noget er vil være sandt efter kaldet

jeg vil lige supplere loadet's kommentar med et eksempel.

Lad os tage en metode som returnerer et resultset efter en given query.

@pre ville så være: en connection skal være forbundet, tilgængelig og ikke null, sammen med query'en som skulle være tilgængelig og ikke null.

@post vill så være: et resultset ville være udfyldt med data fra den givne query.

Når man laver algoritmer er det ofte med et bestemt input i baghovedet.
Hvis man f.eks. skal lave en algoritme der dividerer 2 tal med hinanden,
så er det rart at kunne forudsætte at nævner ikke må være 0

Det kan gøre ved en pre betingelse. Dvs. for at algoritmen giver et korrekt resultat så skal pre betingelser være opfyldt.

Algoritme divider (t, n)
pre: t og n er heltal, n != 0
post: t heltalsdivideret med n

ja ok, bedre eksempel end mit.

Man kunne også forestille sig følgende:

Algoritme foo (x)
// pre: x er et type_x object
// post: x = null

Altså at input er et object og resultatet af algoritmen (eller metoden, om man vil) er at input bliver sat til null.

Pre betingelser giver information om input til en metode.
Post betingelser giver information om output af en metode.

lukketid?

Hvis vi nu lægger nogle svar, kan det være at spørgsmålet bliver lukket.

springer over, kiggede bare lidt i gamle spm.

Jeg ved ikke om jeg gør mig kvalificeret til at modtage point, så det vil jeg lade dig om at bestemme :-)

Svar ! ;-)

lukketid :) ?