weitgehend gelöst mit 9e78c6e91c46874238195bd4ab1b8bec0f356a1a
Kleiner Rest, sollte auch beendet werden, wenn Tab geschlossen wird. Michael prüft, ob das einfach zu erledigen ist.
OverloadingTIMain.jav:
import java.util.Vector; import java.util.Stack;
class OverloadingTIMain { void main() { var v; new O1().mm(v); } }
mit O1.java:
import java.util.Vector; …
Die Bullets werden erst gelöscht, wenn die erneute Typinferenz erfolgt ist. Sie sollten aber sofort bein DRÜCKEN DES SAVE-Bottons geloscht werden.
Am unteren Fensterrand wird Typereconstruction weiter angezeigt.
Es ist zu klären, ob nur die Anzeige falsch ist oder ob die Threads nicht gecancelt werden.
Hier könnte es ein Problem mit der Schnittstelle geben. Das sollten wir miteinander abstimmen.
Alle Bullets sollten gelöscht werden, dadurch wird deutlich, dass die Typinferenz tatsächlch neu gestratet wurde.
Die Registrierung der Threads müsste erfolgt sein. Allerdings ist nicht klar erkennbar, ob beim Drücken des SAVE-Bottons die Threads wirklich beendet werden.
Bitte nochmals überprüfen.
branch: bigRefactoring commit: 084b54d2955275125bb6a1c4cd598ddf5822840f
passiert wenn folgender Typ ausgewählt wird.
public java.util.Vector<java.lang.Object> vectorAdd(java.util.Vector<…