home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
expanded class SAFE_EQUAL [E_]
Summary
top
The goal of this class is to share the definition of the feature
safe_equal
. The feature
safe_equal
compares two arguments of type E_, by calling
is_equal
only if both arguments have the
same_dynamic_type
.
Direct parents
insert list:
ANY
Known children
insert list:
COLLECTION2
,
COLLECTION3
,
NATIVE_ARRAY
,
SET
Overview
top
exported features
test
(e1: E_, e2: E_):
BOOLEAN
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
safe_equal
(e1: E_, e2: E_):
BOOLEAN
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
test
(e1: E_, e2: E_):
BOOLEAN
effective function
top
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.
safe_equal
(e1: E_, e2: E_):
BOOLEAN
effective function
top
In order to avoid run-time type errors, feature
safe_equal
calls
is_equal
only when
e1
and
e2
have exactly the same dynamic type.