ich habe eine Frage zur Wohldefiniertheit. Wenn ich eine Implementierung auf die drei in der Vorlesung benannten Exceptions überprüfe, ist das dann in jedem Fall ausreichend für volle Punktzahl?
Vielleicht als Erläuterung, wie ich auf diese Frage komme:
In der Vorlesung wurde der Korrektheitsbeweis geführt und hierbei sprachen wir über Wohldefiniertheit. Hierbei fiel mir auf, dass a.length eine Integer ist, welche ebenfalls überlaufen kann, was dann eine "NegativeArraySizeException" (oder so ähnlich

Vielen Dank bereits im Voraus!