GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
TAGGED_INTEGER
+
Point of view
All features
ANY
All features
class TAGGED_INTEGER
Summary
top
Direct parents
Inherit list:
TYPED_TAGGED_DATA
Overview
top
Creation features
{
ANY
}
set_item
(a_item:
INTEGER_32
)
Features
{
ANY
}
item
:
INTEGER_32
is_equal
(other: TAGGED_INTEGER):
BOOLEAN
Is
other
attached to an object considered equal to current object?
{}
set_item
(a_item:
INTEGER_32
)
item
:
INTEGER_32
writable attribute
{
ANY
}
top
is_equal
(other: TAGGED_INTEGER):
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)
set_item
(a_item:
INTEGER_32
)
effective procedure
{}
top
ensure
item
= a_item