Constraint von Hand gemacht

Ein unsicherer int-Wert

arrayAccess( // Exception wenn int-Wert negativ unsafeInt new NonNegativeInt( unsafeInt ) ); Eine constraint-Verletzung tritt jetzt viel näher an der Verursacherstelle auf, nicht erst beim Array-Zugriff.
Anfang weiter