Interger <* Comparable<Integer> #258

New Issue

pl · 2018-03-28T22:22:29Z

pl commented

2018-03-28 22:22:29 +00:00

Problem: Für Integer <. A wird vermutlich für in greater { Integer, Comparable, Comparable<? extends Integer>, Comparable<? extends Comparable>, usw.} erzeugt.

Lösungsansatz (geht aber nicht)
für rekursiven Klassendeklarations-Vererbungen sollte für

Integer <. A

immer nur A = Integer und A = Comparable generiert werden.

Wenn dann

A <. Comparable<? extends Comparable>

gelöst werden muss, wird mit den adapt-Regeln eine Lösung gefunden.

Aber mit

Comparable<? extends Integer> <. A

klappt es nicht mehr.

Problem: Für Integer <. A wird vermutlich für in greater { Integer, Comparable<Integer>, Comparable<? extends Integer>, Comparable<? extends Comparable<Integer>>, usw.} erzeugt. Lösungsansatz (geht aber nicht) für rekursiven Klassendeklarations-Vererbungen sollte für Integer <. A immer nur A = Integer und A = Comparable<Integer> generiert werden. Wenn dann A <. Comparable<? extends Comparable<Integer>> gelöst werden muss, wird mit den adapt-Regeln eine Lösung gefunden. Aber mit Comparable<? extends Integer> <. A klappt es nicht mehr.

pl commented

2018-05-28 14:29:40 +00:00

Das Problem ist behoben, in dem rekursive Aufruf in der Methode greater ausgeschlosen sind.

Das reduziert Lösungen

Integer <. Comparable<Comparable>

müsste über adapt gehen

Aber
Integer <. a
Comparable <. a

würde zu einem Fehler führen, da

Integer <. a wird zu a =. Integer,

dann wird

Comparable <. a zu Comparable <. Integer

=> Fehler

Das Problem ist behoben, in dem rekursive Aufruf in der Methode greater ausgeschlosen sind. Das reduziert Lösungen Integer <. Comparable<Comparable<Integer>> müsste über adapt gehen Aber Integer <. a Comparable<Integer> <. a würde zu einem Fehler führen, da Integer <. a wird zu a =. Integer, dann wird Comparable<Integer> <. a zu Comparable<Integer> <. Integer => Fehler

Sign in to join this conversation.