Fehlerbehandlung und Robustheit
Invariantentest
Praxis:
- ...den Zustand wohldefiniert machen, kann nur der Code des Objektes
selbst
- die Invariante kann also zumindest als Code realisiert werden, der den
Zustand eines Objektes auf 'Wohldefiniertheit' prüft bzw. vor Abweichungen
davon schützt bzw. Abweichungen davon deutlich kenntlich macht
- häufige Realisierung: Pre- und Postconditions (noch?) nicht im
Sprachumfang)
- Precondition prüft Zustand des Objektes und Wert der Argumente beim
Eintritt in den Code einer Methode; Postcondition prüft den Zustand des
Objektes (evtl. auch den Rückgabewert) vor Verlassen der Methode