Kenniskring Noord-Holland

Design by Contract voor Delphi gebruikt in de taal Eiffel.
Het is een methode om er voor te zorgen dat van ontworpen classen van te voren, en onafhankelijk van de implementatie, bekend is wat deze verwacht en wat deze produceerd. Bij gebruik van een classe sluit je als het ware een contract met de de classe, en schending van dit contract is een "bug". Delphi (Object Pascal) kent deze feature niet standaard in de taal, maar Ruud heeft hiervoor een framework ontworpen. Dit is met voorbeelden gedemostreerd.
Links:

Eiffel is een (volledig) object georiënteerde taal.
Belangrijk verschil tussen Eiffel en andere talen is dat de taal volledig "staticly typed" is. D.w.z. dat type cast errors tijdens runtime niet kunnen voorkomen. Daarnaast is een belangrijke component van de taal het zogenaamde "design by contract" Door af te spreken wat een classe (en de methode in die classen) verwachten en wat de gebruiker er van mag verwachten krijgt de term "bug" een hele nieuwe betekenis.
Links: