2003:27 - Karlstads universitet

En modul m är en modul (här i meningen subtyp) av en annan modul n endast om varje metod
som tillhör modul n även tillhör m, se Figur 2.1.
m
Figur 2.1 En modul m är en modul av en annnan modul n endast om varje metod som
tillhör modul n även tillhör m
Vidare bör läsaren förstå innebörden av vad som sker med en modul när en av dess
operationer förändras. När en operation förändras medför det att dess modul definieras om.
Eftersom en modul definierar en typ så definieras även en ny typ och det är därför som det är
intressant att diskutera subtyper. Däremot kan en operations metod förändras utan att varken
operationen förändras eller modulen måste definieras om. För övrigt kan en modul också
befinna sig i olika tillstånd. Egentligen oändligt många tillstånd eftersom en modul kan ha
olika metoder. Ett tillstånd kännetecknas som en fas i implementationen.
2.3 Förvillkor och eftervillkor
Ett speciellt viktigt begrepp i den här uppsatsen är villkor. De två villkor som används är för-
och eftervillkor, precondition respektive postcondition, varav här oftast används
förkortningarna pre respektive post. En metod har två villkor och med ett förvillkor menas
det villkor som måste vara uppfyllt före anrop till metoden. Ett eftervillkor är det villkor som
skall vara uppfyllt efter exekveringen av metoden. En metod kan till exempel kräva som
förvillkor att en variabel x ska vara större än eller lika med ett. En klient måste då uppfylla:
pre x ≥1.
Under förutsättning att klienten uppfyller förvillkoret, garanterar metoden i sin tur
att eftervillkoret x > 10 kommer att uppfyllas. Eftervillkoret för metoden är då: post x > 10 .
För att hålla isär förvillkor från eftervillkor, villkor för en metod från en annnan metod, är det
nödvändigt att använda index. Vanligast i uppsatsen är att pre för T, skrivs som
6
n
m
pre T , där m