+
Point of view
All features
class EDC_FIELD_OPTION_PRIMARY_KEY
Summary
Direct parents
Inherit list: EDC_FIELD_OPTION
Insert list: SINGLETON
Class invariant
Overview
Creation features
{EDC_CONSTANTS}
Features
{}
{ANY}
  • is_equal (other: EDC_FIELD_OPTION_PRIMARY_KEY): BOOLEAN
    Is other attached to an object considered equal to current object?
{}
make
effective procedure
{}
is_equal (other: EDC_FIELD_OPTION_PRIMARY_KEY): 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)
is_real_singleton: BOOLEAN
effective function
{}
ensure
  • assertion_check_only: Result
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
{}
This pool is unique in the whole system.
A memory is kept for each singleton type (type, not class) in the system.
current_is_not_an_expanded_type: BOOLEAN
effective function
{}
Check that the dynamic type of the SINGLETON is not an expanded type.