If you can't read please download the document
Upload
tony-lucca
View
763
Download
3
Embed Size (px)
DESCRIPTION
Un semplice esempio di open closed principle, con riferimenti a design by contract, liskov substitutin principle, equals, considerazioni e riferiment
Citation preview
2. Esempio
3. Esempio
4. Ipotizziamo alcune soluzioni 5. Esempio
6. Ipotizziamo alcune soluzioni 7. Ipotizziamo una estensione (del dominio) 8. Esempio
9. Ipotizziamo alcune soluzioni 10. Ipotizziamo una estensione (del dominio) 11. Quale soluzione tra quelle proposte Open Closed (ovvero consente l'estensione senza necessitare di modifiche)? 12. Dominio?
13. @Pre("@value>=0")// dbc framework Contract4j public Natural(int value) { this.value=value; } public Natural(int value) { if (value