Hogeschool HZ Zeeland 19 augustus 2003augustus 2003 Data Structuren & Algoritmen Week 5.

Presentatie over: "Hogeschool HZ Zeeland 19 augustus 2003augustus 2003 Data Structuren & Algoritmen Week 5."— Transcript van de presentatie:

1 Hogeschool HZ Zeeland 19 augustus 2003augustus 2003 Data Structuren & Algoritmen Week 5

2 Hogeschool HZ Zeeland Onderwerpen ADT’s? Pre- en postcondities

3 Hogeschool HZ Zeeland Beschrijving van een ADT Betekenis: Abstract Data Type Definitie: interface tussen client programs en de implementatie van concrete Datatypen

4 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

5 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

6 Hogeschool HZ Zeeland Specificatie compleet? Als we de interface zo hebben gedefiniereerd, kunnen we dit dan offshoren met zekerheid van gewenst resultaat?

7 Hogeschool HZ Zeeland Onderwerpen ADT’s? Pre- en postcondities

8 Hogeschool HZ Zeeland Nut van pre-en postconditie Systematisch beschrijven van ‘de rest’, bij de specificatie van een ADT.

9 Hogeschool HZ Zeeland Precondities Overzicht van de (beperkingen) toestand voor een operatie – Parameters – Data

10 Hogeschool HZ Zeeland Postcondities Overzicht van de nieuwe toestand na het uitvoeren van een operatie – Return waarde – Data

11 Hogeschool HZ Zeeland Bij een interface JavaDoc is een mogelijkheid

12 Hogeschool HZ Zeeland Einde…