"Alexander Kogtenkov" <kwaxer@...
> Emmanuel STAPF wrote:
> > What were are really looking for is some kind of immutable string so
> > that we could use the `=' in the post-condition and be sure no one is
> > going to change the returned value.
> C++ solves this problem by adding a keyword "const". This way one
> cannot call a feature on the const object if this feature can modify the
> object (the non-modifying features are also marked with const).
This may not be the best forum for discussing an open-ended problem like
immutable Eiffel objects. Would anyone like to pick this up with me over
Apologies for the stupid Yahoo ad below.
Do You Yahoo!?
Yahoo! Sports - Coverage of the 2002 Olympic Games