Typhierarchie als Halbordnung

Durch extends/implements entsteht eine Halbordnung auf Typen

Bsp. class C; class D extends C; class E extends C definiert Relation (≤) = {(C, C),(D, C),(D, D),(E, C),(E, E)} mathend000# auf T = {C, D, E} mathend000#

Relation 2 mathend000# auf T2 mathend000#:

(t1, t2)≤2(t1', t2') : $ \iff$t1t1'∧t2t2' mathend000#

es gilt (D, D)≤2(C, C);(D, D)≤2(C, D);(C, D)≤2(C, C);(E, C)≤2(C, C) mathend000#.



Johannes Waldmann 2014-03-31