Yes, you're correct.
What confused me was that when I isolated the offending line of code,
preconditions and a check statement just above that line then were
checked. I failed to realize that in one case I was calling the
feature and in the other it was part of a contract. Thanks for the
reminder.
BTW, I like that word, "nested-ly".
jjj
>
> Are your assertions within other contracts? Contracts don't get
> checked nested-ly.
>
------------------------------------
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/
