Re: Comparing DS_HASH_TABLE objects

>>>>> "Helmut" == Helmut Brandl <[email protected]> writes:

    Helmut> But why have different operators of object equality and
    Helmut> reference equality in the first place? Why not

    Helmut>   a = b -- test for object equality $a = $b -- test for
    Helmut> address equality (i.e. reference equality)

    Helmut> since we have already the address operator in Eiffel?

My guess is that $ was added later.

What interest me is what should happen when two agents are compared
for equality.
Currently we have {FUNCTION}.is_equal defined which gives you a sort
of partial test for equality of functions. This strikes me as a little
odd.

I use {ROUTINE}.is_equal in postconditions for specifying the
semantics of Vision2 actions (such as pushing a button). But this is a
little overly restrictive (you ought to be able to redefine an action
to use any agent equivalent to the one specified, but this requires a
theorem prover, I think).
-- 
Colin Adams
Preston Lancashire


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

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/