class EDC_DUMMY_SESSION_FETCH [E_]
Summary
Direct parents
Inherit list: EDC_SESSION_FETCH
Class invariant
Overview
Creation features
{EDC_DUMMY_SESSION}
Features
{EDC_FIELD}
{}
item (record: EDC_RECORD, field: EDC_FIELD[E_]): E_
effective function
set (record: EDC_RECORD, field: EDC_FIELD[E_], i: E_)
effective procedure
make (a_session: EDC_DUMMY_SESSION)
effective procedure
{}
require
  • a_session /= Void
ensure
writable attribute
{}
dataset: HASHED_DICTIONARY[E_, INTEGER_64]
writable attribute
{}