deferred class EDC_SESSION
Summary
Direct parents
Insert list: ANY
Known children
Inherit list: EDC_DUMMY_SESSION
Class invariant
Overview
open
deferred procedure
{ANY}
require
close
deferred procedure
{ANY}
ensure
is_open: BOOLEAN
deferred function
{ANY}
begin
deferred procedure
{ANY}
require ensure
commit
deferred procedure
{ANY}
require ensure
rollback
deferred procedure
{ANY}
require ensure
in_transaction: BOOLEAN
deferred function
{ANY}
add (record: EDC_RECORD)
deferred procedure
{ANY}
require ensure
  • record.session = Current
string_field: EDC_SESSION_FETCH[STRING]
writable attribute
varstring_field: EDC_SESSION_FETCH[STRING]
writable attribute
writable attribute
select_data (table_name: FIXED_STRING, where: EDC_CRITERION, having: EDC_CRITERION, order_by: EDC_ORDERING): FAST_ARRAY[EDC_SESSION_DATA]
effective function
ensure
  • Result /= Void
recycle_data (data: FAST_ARRAY[EDC_SESSION_DATA])
effective procedure
require
  • data /= Void
once function
{}
select_data_in (data: FAST_ARRAY[EDC_SESSION_DATA], table_name: FIXED_STRING, where: EDC_CRITERION, having: EDC_CRITERION, order_by: EDC_ORDERING)
deferred procedure
{}
require
  • data /= Void
  • table_name /= Void