GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
TAGGED_COUNTER
+
Point of view
All features
ANY
All features
class TAGGED_COUNTER
Summary
top
Direct parents
Inherit list:
TYPED_TAGGED_DATA
Overview
top
Creation features
{
ANY
}
make
Features
{
ANY
}
item
:
COUNTER
is_equal
(other: TAGGED_COUNTER):
BOOLEAN
Is
other
attached to an object considered equal to current object?
{}
make
item
:
COUNTER
writable attribute
{
ANY
}
top
is_equal
(other: TAGGED_COUNTER):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
make
effective procedure
{}
top