Documente Academic
Documente Profesional
Documente Cultură
-
-
4. Principiul Liskov.
- Daca pentru fiecare obiect o1 al tipului S exista un obiect o2 al tipului T astfel incat
pentru orice program P, comportamentul lui P este neschimbat cand o1 inlocuieste o2
atunci S este copil al lui T.
- Preconditiile sa nu fie mai puternice decat in metoda clasei de baza
- Postconditiile sa nu fie mai slabe decat in metoda clasei de baza