Il documento discute il principio Open/Closed, secondo cui le entità software dovrebbero essere aperte per estensioni ma chiuse per modifiche. Vengono presentati esempi di implementazione e test di classi in Java, evidenziando l'importanza della sostituibilità e dell'equivalenza tra oggetti di diverse classi. Infine, si approccia il concetto di Liskov Substitution e la violazione della transitività nell'implementazione degli equali.

1. Open Closed T. software entities (classes, modules, functions, etc.) should be open for extension, but closed for modification

2. Esempio Una particolare classe semplice (Naturali, ovvero numeri interi positivi)

3. Esempio Una particolare classe semplice (Naturali, ovvero numeri interi positivi)

4. Ipotizziamo alcune soluzioni

5. Esempio Una particolare classe semplice (Naturali, ovvero numeri interi positivi)

6. Ipotizziamo alcune soluzioni

7. Ipotizziamo una estensione (del dominio)

8. Esempio Una particolare classe semplice (Naturali, ovvero numeri interi positivi)

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? gestisco denaro contante (quindi solo positivi)

13. @Pre(&quot;@value>=0&quot;) // dbc framework Contract4j public Natural(int value) { this.value=value; } public Natural(int value) { if (value<0) { throw new InitException(&quot;non negativo: &quot;+value); } this.value=value; } oppure: Costruttore

14. Aspettative @Test public void zeroEqualsZero() { Natural zero = new Natural(0); Natural anotherZero = new Natural(0); Assert.assertEquals(zero,anotherZero); }

15. Soluzione 1 @Override public boolean equals(Object o) { if (this == o) return true; if (o == null || getClass () != o. getClass ()) return false; Natural natural = (Natural) o; if (value != natural.value) return false; return true; } @Override public int hashCode() { return value; }

16. Soluzione 2 @Override public boolean equals(Object o) { if (this == o) return true; if (!(o instanceof Natural)) return false; Natural natural = (Natural) o; if (value != natural.value) return false; return true; } @Override public int hashCode() { return value; }

17. Aspettative @Test public void zeroEqualsZero() { Natural zero = new Natural(0); Natural anotherZero = new Natural(0); Assert.assertEquals(zero,anotherZero); } Soluzione 1. equals con getClass() OK Soluzione 2. equals con instanceof OK

18. Estensione Valori negativi

19. “sì alle estensioni! no alle modifiche!” public class Relative extends Natural { @Pre // precondizione rilassata public Relative(int value) { this.value = value; } .... }

20. “sì alle estensioni! no alle modifiche!” public class Relative extends Natural { @Pre // precondizione rilassata public Relative(int value) { this.value = value; } .... } La precondizione è rilassata. Preconditions cannot be strengthened in a subtype. (Postconditions cannot be weakened in a subtype.)

21. Correlazioni-osservazioni Natural super classe di Relative

22. Correlazioni-osservazioni Natural super classe di Relative

23. Natural sotto insieme di Relative (o, che è lo stesso, è isomorfo ad un suo sottoinsieme)

24. Correlazioni-osservazioni Natural super classe di Relative

25. Natural sotto insieme di Relative (o, che è quasi lo stesso, è isomorfo ad un suo sottoinsieme)

26. Morfismo : (astrazione di un processo che trasforma una struttura astratta in un'altra mantenendo alcune caratteristiche &quot;strutturali&quot; della prima (wikipedia))

27. Correlazioni-osservazioni Natural super classe di Relative

28. Natural sotto insieme di Relative (o, che è quasi lo stesso, è isomorfo ad un suo sottoinsieme)

29. Morfismo : (astrazione di un processo che trasforma una struttura astratta in un'altra mantenendo alcune caratteristiche &quot;strutturali&quot; della prima (wikipedia))

30. “Is A” != “sottoClasse di” (ricordate “Quadrato-Rettangolo”?)

31. Concretamente @Test public void testMixEquals() throws Exception { Natural unoNat = new Natural(1); Relative unoRel = new Relative(1); Assert.assertEquals(unoNat,unoRel); } Soluzione 1. equals con getClass() fallisce Soluzione 2. equals con instanceof va a buon fine

32. Concretamente @Test public void testMixEquals() throws Exception { Natural unoNat = new Natural(1); Relative unoRel = new Relative(1); Assert.assertEquals(unoNat,unoRel); } Sto sostituendo all'1 di Nat, l'1 di Rel (Liskov?)

33. if S is a subtype of T, then objects of type T in a program may be replaced with objects of type S without altering any of the desirable properties of that program What is wanted here is something like the following substitution property: If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T. Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a subtype of T. L.S.P. Varie definizioni

34. Nuova estensione public class ColoredRelative extends Relative { public static String NEUTRO=&quot;neutro&quot;; public static String GRIGIO=&quot;grigio&quot;; public static String NERO=&quot;nero&quot;; private static String DEFAULT=NEUTRO; protected String colore=DEFAULT; public ColoredRelative(int value) { super(value); } ...

35. Violazione transitività @Test public void testTransViolation() throws Exception { Relative due = new Relative(2); ColoredRelative dueNeuter = new ColoredRelative(2); ColoredRelative dueNero = new ColoredRelative(2,ColoredRelative.NERO); Assert.assertFalse(dueNero.equals(dueNeuter)); Assert.assertEquals(due,dueNeuter); Assert.assertEquals(due,dueNero); }

36. Soluzione 3 Equals...

37. http://www.angelikalanger.com/Articles/JavaSolutions/SecretsOfEquals/Equals.html

38. Conclusione Un costruttore non vuoto protected

39. Equals “non standard” (a slices)

40. Evoluzione su (L.S.P) Sostituibilità come “uguale comportamento” (e niente questioni di “equals”)

41. Distinzione tra metodi osservativi e metodi modificativi (tramite annotations)

42. Sollecitare l'oggetto della classe padre sui suoi metodi che ne modificano lo stato

43. Verificare che la stessa sollecitazione su oggetti di sottoclasse verifichi lo stesso comportamento “visibile” (observers)

44. Evoluzione (equals) Equivalenza (uguaglianza) cross-classing in senso più esteso (esempio: tra implementazioni differenti ma “uguali” di numeri complessi: forma polare e forma cartesiana) nz

45. Links www.objectmentor.com/resources/articles/ocp.pdf

46. http://www.artima.com/weblogs/viewpost.jsp?thread=4744

47. http://www.artima.com/intv/bloch17.html

48. http://www.objectmentor.com/resources/articles/lsp.pdf

49. http://www.angelikalanger.com/Articles/JavaSolutions/SecretsOfEquals/Equals-2.html