25 lines
475 B
Java
Executable File
25 lines
475 B
Java
Executable File
/* Subtype Menge<Pair<a,b>> OK */
|
|
|
|
/* Subtype Menge<? extends Pair<a,b>> */
|
|
|
|
/* Korrekt */
|
|
|
|
/* Menge<Subtype<Integer>> Menge<? extends Menge<? extends Pair<a,b>>> */
|
|
|
|
/* Super, FUNKTIONIERT!!! */
|
|
|
|
/* Menge<List<? super Integer>> Menge<? super Menge<a>> */
|
|
|
|
/* redureSup Test: FUNKTIONIERT!!! */
|
|
|
|
class Number {}
|
|
class Integer extends Number {}
|
|
|
|
class List<a> { }
|
|
|
|
class Menge<a> extends List<a> { }
|
|
|
|
class Pair<a,b> { }
|
|
|
|
|
|
class Subtype<a> extends Menge<Pair<a,Integer>> { } |