colinlema wrote:
> Would forcing them to also define an assigner, as a validity
> constraint, be sufficient?
No, because assigners are for "remote" assignments,
of the form:
a.b := c
They don't come into play when we have:
a := b
--
Eric Bezault
mailto:
ericb@...
http://www.gobosoft.com------------------------------------
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/
