Es funktioniert, wenn man die Argumenttypen unqualifiziert
Matrix mul(Vector<Vector> m) { ...
angeben sind. Wenn man Sie aber qualifiziert angibt
Matrix mul(java.util.Vector<java.…
Wenn man Sorting.jav um folgende Methode ergänzt, dann terminiert die Codegenerierung nicht mehr
sort(in){ var firstHalf = in; var secondHalf = in; return merge(sort(firstHalf), sort(sec…
Könnte mit commkt 315b6172a006fb46ab1f460c3b5defbf9efa3f9b geloest sein.
branch: bytecode2 commit: 72e128d3f3a9cb5a3070be79183ef5c2ae616f17
Fields funktionieren nicht, wenn sie ungetypt mit Initialisierung gegeben sind
Bsp.:
LambdaField.jav
public class Lambda…
commit: 7d9976e638c4fe7bd1f7f787e8647cd81a42eac2
Der Returntyp von subList in der Methode sort (Merge.jav) ist ein GenericRefType anstatt eines TypePlaceholders
sort(in){ var firstHalf = i…
Bereits bei start der Unifikation gibt es einen Constraint
M <. java.util.Collection<? extends E>
den es eigentlich nicht geben sollte.
Zudem ist der der Wildcard als RefType mit typeName …
Wenn man dann ein Argument einsetzt:
import java.util.List; import java.lang.Integer; import java.util.Collection;
class Merge {
merge(a, b) { a.addAll(b); return a; }
s…