The ECMA standard allows the use of object test in assertions. Therefore
a precondition
require
{o:A} exp -- exp resulting in a detached type
is completely valid. The expression {o:A} exp has the side effect of
assigning a value to the object test local o.
What happens, if precondition monitoring is switched off. Will get o its
value (i.e. silently executing the precondition, even if switched off)?
Helmut
------------------------------------
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/
