Quoting colinlema <
clemahieu@...>:
> Are your assertions within other contracts? Contracts don't get
> checked nested-ly.
This is the likely reason.
But, just in case, I have fallen into the trap of writing narrower
preconditions, which are masked by the condition inherited.
--
Peter Horan Faculty of Science and Technology
peter@... Deakin University
+61-4-0831 2116 (Voice) Geelong, Victoria 3217, AUSTRALIA
+61-3-5227 2028 (FAX)
http://www.eit.deakin.edu.au/~peter-- The Eiffel guarantee: From specification to implementation
-- (
http://www.cetus-links.org/oo_eiffel.html)
------------------------------------
Yahoo! Groups Links
<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/eiffel_software/<*> Your email settings:
Individual Email | Traditional
<*> To change settings online go to:
http://groups.yahoo.com/group/eiffel_software/join (Yahoo! ID required)
<*> To change settings via email:
mailto:
eiffel_software-digest@...
mailto:
eiffel_software-fullfeatured@...
<*> To unsubscribe from this group, send an email to:
eiffel_software-unsubscribe@...
<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/
