Constraint-Expression

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)
Anfang weiter