Re: Comparing DS_HASH_TABLE objects

Colin Paul Adams wrote:
>  double_3 (a_value: INTEGER): INTEGER is
>    -- Double `a_value'
>  do
>    Result := a_value * a_value
>  ensure
>   definition: Result = a_value * a_value
>  end
>
> this represents a mathematical function equivalent to the first
> two.

I assume you meant to add the values rather than multiply them, right?
     Result := a_value + a_value

Nice example of a contract and its implementation both sharing the same 
bug, by the way!

- Peter



------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/gobo-eiffel/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:[email protected] 
    mailto:[email protected]

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/