Discussion:Principe de substitution de Liskov
Apparence
Postconditions[modifier le code]
Je ne comprends pas cette partie : "Mais ceci violerait la postcondition des setter du rectangle qui spécifie que l'on puisse modifier hauteur et largeur indépendamment." C'est une postcondition plus forte, donc on respecte le principe de ne pas affaiblir les postconditions. Non ?