In a message dated Fri, 25 Aug 2006, jerry gay writes:
perhaps trey meant "subclasses can add constraints as well as functionality" instead of "subclasses can remove functionality as well as adding it."just a guess. ~jerry
Ok... same thing from a DBC perspective. Subclasses can add functionality (by AND'ing postconditions), or remove constraints (by OR'ing preconditions), but they can't traditionally remove functionality or add constraints. I just want to read about how that works.
Trey
