+
Point of view
All features
deferred class EDC_RECORD
Summary
top
Direct parents
Insert list: ANY
Known children
Inherit list: EDC_TYPED_RECORD
Overview
top
delete
deferred procedure
{ANY}
top
require ensure
session: EDC_SESSION
writable attribute
{ANY}
top
session_data: EDC_SESSION_DATA
writable attribute
{EDC_SESSION, EDC_QUERY}
top
set_session (a_session: EDC_SESSION)
effective procedure
{EDC_SESSION}
top
require
  • a_session = Void /= session = Void
ensure
set_session_data (a_data: EDC_SESSION_DATA)
effective procedure
{EDC_SESSION, EDC_QUERY}
top