I've recently been handed a Object-Z specification for a (small)
application a and told I need to program it. I've always wanted to use
Eiffel and this seemed like the perfect applicable to cut my teeth on.
I'm running into one problem in that the specification uses map
modeling (or more specifically partial functions). It seems like the
hash table class would be the best choice for this, except it doesn't
have any features for range subtraction, which essentially is a remove
were you pass it an item and it removes all the keys associated with
that item.
Now, I'm suppose to follow this specification as closely as possible,
is there any other Eiffel classes I should be looking at? Or should I
make my own class that inherits from the hash table and implements
these missing features.
------------------------------------
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/
