GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
SAFE_EQUAL
+
Point of view
All features
ANY
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
,
MOCK_EQ
,
MOCK_STREQ
,
NATIVE_ARRAY
,
SET
,
ZIP
Overview
top
Features
{
ANY
}
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
{
ANY
}
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
{
ANY
}
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.