+
Point of view
All features
class EDC_QUERY_OPTION_FOR_UPDATE
Summary
top
Direct parents
Inherit list: EDC_QUERY_OPTION
Insert list: SINGLETON
Class invariant
top
Overview
top
Creation features
{EDC_CONSTANTS}
Features
{ANY}
  • valid_session (session: EDC_SESSION): BOOLEAN
    Check that the session has enough rights for what the query wants to do (e.g. session.in_transaction for updates, and so on)
{}
{ANY}
  • is_equal (other: EDC_QUERY_OPTION_FOR_UPDATE): BOOLEAN
    Is other attached to an object considered equal to current object?
{}
valid_session (session: EDC_SESSION): BOOLEAN
effective function
{ANY}
top
Check that the session has enough rights for what the query wants to do (e.g. session.in_transaction for updates, and so on)
make
effective procedure
{}
top
is_equal (other: EDC_QUERY_OPTION_FOR_UPDATE): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
is_real_singleton: BOOLEAN
effective function
{}
top
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
{}
top
This pool is unique in the whole system.
current_is_not_an_expanded_type: BOOLEAN
effective function
{}
top
Check that the dynamic type of the SINGLETON is not an expanded type.