Block a user
Überschreiben von Methoden mit primitiven Typen
Komischer Bug mit Interfaces
Foreach Typinferenz Probleme mit Wildcard Typen
Imports von importierten Klassen werden nicht berücksichtigt
Type cast nicht implementiert
@Override Annotation führt zu Exception
Wildcards nicht implementiert
Methoden bekommen immer den Access Modifier "PUBLIC"
Statische Methoden anderer Klassen können nicht aufgerufen werden
Für das Debuggen von Typinferenzfehlern wäre es schön, neben der Zeilenzahl, in der der Constraint entstanden ist, auch die Datei, um die es sich handelt, ausgegeben zu bekommen
Created attachment 39
Beispielfall
Aufruf der toString() Funktion bei java.util.ArrayList und java.util.LinkedList führt zu einer TypeInferenceException, wenn man sie einer Variable vom Supe…
Created attachment 38
Beispielfall
Aufruf der toString() Funktion bei java.util.ArrayList und java.util.LinkedList führt zu einer TypeInferenceException, wenn man sie einer Variable vom Supe…
Created attachment 37
Beispielfall
If-Schleifen, die ohne Block mit einem Statement geschrieben werden, funktionieren manchmal (z.B. bei returns) failen aber z.B. bei Zuweisungen.
Im Beispi…
Created attachment 36
Fehlerfall
Wenn eine For-Schleife innerhalb eines If-Blocks steht, führt das zur einer java.lang.ArrayIndexOutOfBoundsException
Beispiel im Anhang
Created attachment 35
Beispiel
Der + Operator funktioniert für die Datentypen (String x Integer) bzw. (Integer x String) nicht.
Vielleicht kann man präventiv direkt noch die Definitionen f…
Created attachment 34
Beispiel
Bei der Verwendung von Character wird eine NotImplementedException geworfen