Gobo Eiffel Kernel Library
Copyright (c) 2005, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/06/04 19:52:33 $
$Revision: 1.4 $
-- Are obj1 and obj2 considered equal?
-- Are obj1 and obj2 the same object?
-- Useful as a way to workaround VWEQ validity rule
-- (when running flat Degree 3 for example):
-- my_hashable := my_string
-- my_comparable := my_string
-- ANY_.same_objects (my_hashable, my_comparable)
-- Is type of obj1 identical to type of obj2?
-- Return an_any;
-- This can be used to workaround VWEQ validy rule:
-- my_hashable := my_string
-- my_comparable := my_string
-- ANY_.to_any (my_hashable) = ANY_.to_any (my_comparable)
-- This is also useful to workaround the validity rule
-- introduced by SE for assignment attempts whereby the type
-- of the target has to conform to the type of the source:
-- my_string ?= ANY_.to_any (my_storable)
Routines that ought to be in class ANY