+
Point of view
All features
deferred class EDC_TYPED_RECORD [D_ -> EDC_DESCRIPTOR[K_], K_ -> TUPLE]
Summary
top
Direct parents
Inherit list: EDC_RECORD
Class invariant
top
Overview
top
descriptor: D_
writable attribute
{ANY}
top
delete
effective procedure
{ANY}
top
require
  • added: session /= Void
ensure
  • removed: session = Void and then session_data = Void
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