public class RecentlyUsedList - Jfokus

More documents

Recommendations

Info

given: expectedSize = size() + (contains(newItem) ? 0 : 1) precondition: newItem != null postcondition: get(0).equals(newItem) && size() == expectedSize public class RecentlyUsedList { public void add(String newItem) ... public String get(int index) ... ... } What would a class inheriting from RecentlyUsedList be permitted and disallowed from doing? precondition: index >= 0 && index < size() postcondition: returns != null
Other Contract Approaches • Design by Contract can be useful, but has limitations • The specification of Object.equals is assertion-based but not methodcentric • Operational complexity, re-entrancy, resource usage, etc., often need to be part of the contract • Tests can be used to define a contract
Page 1 and 2: Good Object- Oriented Development K
Page 4: There is one consequence of conside
Page 7: Affordances • The degrees of free
Page 10: Don't ever invite a vampire into yo
Page 13 and 14: public class RecentlyUsedList { pub
Page 15 and 16: Refactoring (noun): a change made t
Page 17 and 18: Construction Time Again • A const
Page 19: postcondition: returns >= 0 postcon
Page 23 and 24: @Test public void test() { Recently
Page 25 and 26: @Test public void initialListIsEmpt
Page 27 and 28: Root Core Code External Wrapper Wra
Page 29 and 30: Root Core Code Usage Interface Doub
Page 31: Hardwire from Below Parameterize fr
Page 34 and 35: Parameter Objects • Many kinds of
Page 36 and 37: Client 1 Context Expression evaluat
Page 38 and 39: generalisation commonality variatio
Page 40 and 41: Sandwich Layering Pure Interface La
Page 42 and 43: William Cook, "On Understanding Dat
Page 44 and 45: Liskov Substitution Principle A typ
Page 46 and 47: public class RecentlyUsedList { pub
Page 49 and 50: Infrastructure + Services + Domain
Page 51 and 52: Selfish Objects • Focusing on wha
Page 53 and 54: The Many Values of Value • The te
Page 55: Complementary Perspectives • The
Page 58 and 59: Events. An event is an individual h
Page 60 and 61: Systems of Values • Operations, r
Page 62 and 63: Whole Value Besides using the handf
Page 64 and 65: Patterns of Value CELL VALUE VALUE
Page 67 and 68: Referential transparency and refere
Page 69: • Anaemia Value Object Smells •
Page 72 and 73:
public final class Date implements
Page 74 and 75:
Page 76 and 77:
When it is not necessary to change,
Page 78 and 79:
Page 80 and 81:
Language Defines a Context • Desi
Page 82 and 83:
Reflexivity: I am me. Symmetry: If
Page 84 and 85:
@Test public void identically_const
show all

public class RecentlyUsedList - Jfokus

Create successful ePaper yourself

Delete template?

Save as template?