Grenzen
Was man damit nicht absichern kann
Absicherung korrekter Programmablauf
(API-Benutzung):
Port port = ...
if ( ... ) {
// richtig
port.init();
}
else {
// falsch
...
}
port.getXyz();
wird nicht erkannt
demzufolge:
Einschränkung auf Prüfungen an Methoden-Grenzen
(Aufruf-Seite - aufgerufene Seite)
oder unveränderliche Werte mit jeweils
eigenen Typ für jeden Programmzustand
also unveränderliche Werte benutzen
und auf Schleifen verzichten (Rekursion)
oder sichere Operationen
(Tic Tac Toe Beispiel)