Forelæsningsnoter i Objekt-orienteret Programmering Designkontrakter og ansvarsfordeling
Eksempel på klasseinvarianter: Trekantshierarkiet
Vi har tidligere studeret hierarkiet af trekanter. Først nu hvor vi er bevæbnet med klasseinvarianter kan
vi på en tilfredsstillende måde karakterisere specialiseringen i dette klassehierarki
Invarianter i klassehierarkiet af trekanter:
Generel trekant: 3 sider og 3 vinkler Vinkelsum er 180 grader
Ligebenet trekant: Invariant generel trekant To sider er lige lange
Retvinklet trekant: Invariant-generel Phytagoras
Ligesidet trekant: Invariant-ligebenet Tredie side har samme længde som de to andre