GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
ABSOLUTE_FEATURE_NAME
+
Point of view
All features
ANY
All features
expanded class ABSOLUTE_FEATURE_NAME
Summary
top
Direct parents
Insert list:
HASHABLE
Overview
top
Creation features
{
TYPE
}
make
(class_name_:
CLASS_NAME
, feature_name_:
FEATURE_NAME
)
Features
{
ANY
}
class_name
:
CLASS_NAME
feature_name
:
FEATURE_NAME
hash_code
:
INTEGER_32
The hash-code value of
Current
.
is_equal
(other: ABSOLUTE_FEATURE_NAME):
BOOLEAN
Is
other
attached to an object considered equal to current object?
matches
(class_name_:
CLASS_NAME
, feature_name_:
FEATURE_NAME
):
BOOLEAN
{}
make
(class_name_:
CLASS_NAME
, feature_name_:
FEATURE_NAME
)
class_name
:
CLASS_NAME
writable attribute
{
ANY
}
top
feature_name
:
FEATURE_NAME
writable attribute
{
ANY
}
top
hash_code
:
INTEGER_32
writable attribute
{
ANY
}
top
The hash-code value of
Current
.
ensure
good_hash_value:
Result >= 0
is_equal
(other: ABSOLUTE_FEATURE_NAME):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
Result implies hash_code = other.hash_code
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
matches
(class_name_:
CLASS_NAME
, feature_name_:
FEATURE_NAME
):
BOOLEAN
effective function
{
ANY
}
top
make
(class_name_:
CLASS_NAME
, feature_name_:
FEATURE_NAME
)
effective procedure
{}
top
require
class_name_ /= Void
feature_name_ /= Void
ensure
class_name
= class_name_
feature_name
= feature_name_