Bessere Designs durch Design by Contract
Wir schließen dieses Kapitel mit dem Blick auf einen Programmieransatz, der als Design by Contract ([DesignByContract]) bezeichnet wird und ursprünglich von Bertrand Meyer für die Sprache Eiffel entwickelt wurde (vgl. [Eiffel], [Hunt2000]; siehe auch Kapitel 4). Design by Contract gibt es schon um die 20 Jahre; es ist inzwischen etwas aus der Mode gekommen, aber immer noch sehr nützlich, wenn man über Anwendungsdesign nachdenkt.
Wenn man den »Kontrakt« eines Moduls betrachtet, kann man drei Arten von Bedingungen spezifizieren. Erstens kann man die Eingaben festlegen, die erforderlich sind, damit das Modul einen Service erfolgreich ausführen kann (z.B. beim Aufruf des Moduls). Diese Beschränkungen werden ...
Get Programmieren mit Scala now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
