post-conditions

7calore

5risposta

Non può indebolire precondizioni e rafforzando postcondizioni violano anche Liskov principio di sostituzione?

precondizione effettivo di un sottotipo è creato combinando (utilizzando logico OR) precondizioni di un tipo di base e precondizioni di un sottotipo, il che rende il presupposto risultantemeno restrit

inheritance lsp preconditions post-conditions 2013-05-08

---