Anfang weiterJetzt benutzen wir unser handgemachtes Constraint
/** * Methode mit Array-Zugriff * * @param index Array-Index als constraint-gesicherter int-Wert */ public void arrayAccess( finalintNonNegativeInt index ) { array[ index ].irgendwas... }