Hogeschool HZ Zeeland 19 augustus 2003augustus 2003 Data Structuren & Algoritmen Week 5
Hogeschool HZ Zeeland Onderwerpen ADT’s? Pre- en postcondities
Hogeschool HZ Zeeland Beschrijving van een ADT Betekenis: Abstract Data Type Definitie: interface tussen client programs en de implementatie van concrete Datatypen
Hogeschool HZ Zeeland Concrete datatypen ‘Echte’, bestaande datatypen Deze zijn gedefinieerd door: – de programmeertaal (primitive types) integer long float double boolean char – de programmeur (user defined types) Person class
Hogeschool HZ Zeeland Twee mogelijkheden Een overzicht maken van alles wat public is (moet worden) van een implementatie van een concrete datatype Definiëren van een interface
Hogeschool HZ Zeeland Specificatie compleet? Als we de interface zo hebben gedefiniereerd, kunnen we dit dan offshoren met zekerheid van gewenst resultaat?
Hogeschool HZ Zeeland Onderwerpen ADT’s? Pre- en postcondities
Hogeschool HZ Zeeland Nut van pre-en postconditie Systematisch beschrijven van ‘de rest’, bij de specificatie van een ADT.
Hogeschool HZ Zeeland Precondities Overzicht van de (beperkingen) toestand voor een operatie – Parameters – Data
Hogeschool HZ Zeeland Postcondities Overzicht van de nieuwe toestand na het uitvoeren van een operatie – Return waarde – Data
Hogeschool HZ Zeeland Bij een interface JavaDoc is een mogelijkheid
Hogeschool HZ Zeeland Einde…