+
Point of view
All features
class TAGGED_INTEGER
Summary
Direct parents
Inherit list: TYPED_TAGGED_DATA
Overview
Creation features
{ANY}
Features
{ANY}
{}
item: INTEGER_32
writable attribute
{ANY}
is_equal (other: TAGGED_INTEGER): BOOLEAN
effective function
{ANY}
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
{}
ensure