Ad-Hoc-Polymorphie und Typhierarchie

Auflösung von p (new D(), new D()) bzgl.

static void p (C x, D y);
static void p (C x, C y);
static void p (E x, C y);

• bestimme die Menge P der zum Aufruf passenden Methoden

  (für diese gilt: statischer Typ der Argumente ≤ⁿ Typ der formalen Parameter)

• bestimme die Menge M der minimalen Elemente von P

  (Def: m ist minimal falls ¬∃p∈P : p < m )

• M muß eine Einermenge sein, sonst ist Überladung nicht auflösbar