Anfang weiterDuale Wirkung der Constraints
Laufzeit-Wirkung an Schnittlinie zwischen sicherem Bereich und unsicherem Bereich Compiler-Wirkung im sicheren Bereich // unsicherer Breich if ( ZENTRALE.test( contextObj ) ) // Laufzeit-Wirkung // Parameter-Wert ist ungeprüft // Prüfung kann fehlschlagen { // sicherer Bereich // Compiler-Wirkung // Prüfungen schlagen nicht mehr fehl } // unsicherer Breich