This post originated from an RSS feed registered with Java Buzz
by Angsuman Chakraborty.
Original Post: Questions: On Design By Contract Inheritance Issue..?
Feed Title: Simple Thoughts on Java
Feed URL: http://sedoparking.com/search/registrar.php?domain=®istrar=sedopark
Feed Description: News and views as a Software Architect and Entepreneur on Java and related Technologies.
Questions for all Design By Contract practitioners -
If my class ( E ) implements three interfaces (A, B & C) and extends class D, each with its own pre-conditions and post-conditions and some invariants.
Class E also has few pre-conditions and post-conditions and some invariants.
Pre-conditions can be weakened. So presumably it is an OR clause binding all the pre-conditions of A, B, C, D & E. The question is in what order?
Post-conditions can be strengthened.
So presumably I should AND all the pre-conditions of A, B, C, D & E. Is that correct?
Nothing I could find aboout inheritance of Invariants. ...
Previous Topic
