class EDC_DUMMY_SESSION
Summary
Direct parents
Inherit list: EDC_SESSION
Class invariant
Overview
open
effective procedure
{ANY}
require
  • not is_open
close
effective procedure
{ANY}
ensure
  • not is_open
is_open: BOOLEAN
writable attribute
{ANY}
begin
effective procedure
{ANY}
require
  • is_open
ensure
  • in_transaction
commit
effective procedure
{ANY}
require
  • in_transaction
ensure
  • not in_transaction
rollback
effective procedure
{ANY}
require
  • in_transaction
ensure
  • not in_transaction
in_transaction: BOOLEAN
writable attribute
{ANY}
add (record: EDC_RECORD)
effective procedure
{ANY}
require
  • in_transaction
  • record.session = Void
ensure
  • record.session = Current
select_data_in (data: FAST_ARRAY[EDC_SESSION_DATA], table_name: FIXED_STRING, where: EDC_CRITERION, having: EDC_CRITERION, order_by: EDC_ORDERING)
effective procedure
{}
require
  • data /= Void
  • table_name /= Void
default_create
effective procedure
{}
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
session_data (record: EDC_RECORD): EDC_DUMMY_SESSION_DATA
effective function
require
  • added: record.session_data /= Void
ensure
  • Result /= Void
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
{}