Jetzt benutzen wir unser handgemachtes Constraint /** * Methode mit Array-Zugriff * * @param index Array-Index als unterspezifierter int-Wert */ public void arrayAccess( final int index ) { array[ index ].irgendwas... }