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