+
Point of view
All features
class EDC_FIND [D_ -> EDC_TYPED_DESCRIPTOR[R_, K_], R_ -> EDC_RECORD, K_ -> TUPLE]
Summary
Direct parents
Inherit list: EDC_FETCH
Class invariant
Overview
Creation features
{EDC_DESCRIPTOR}
Features
{ANY}
{}
{}
{}
{}
{ANY}
{}
{ANY}
{}
list (session: EDC_SESSION): TRAVERSABLE[R_]
effective function
{ANY}
require
  • session.is_open
  • options.valid_session(session)
ensure
  • Result.count.in_range(0, 1)
  • Result.for_all(_inline_agent2(, session))
make (a_pk: K_, a_options: EDC_QUERY_OPTION)
effective procedure
{}
require
  • a_options /= Void
ensure
data_to_record (data: FAST_ARRAY[EDC_SESSION_DATA]): FAST_ARRAY[R_]
effective function
{}
require
  • data /= Void
ensure
actual_descriptor: BOOLEAN
effective function
{}
descriptor: D_
writable attribute
{}
_inline_agent3 (d: EDC_SESSION_DATA, r: R_): BOOLEAN
frozen
effective function
{}
writable attribute
{ANY}
_inline_agent2 (record: R_, s: EDC_SESSION): BOOLEAN
frozen
effective function
{}
where (crit: EDC_CRITERION): EDC_FIND [D_ -> EDC_TYPED_DESCRIPTOR[R_, K_], R_ -> EDC_RECORD, K_ -> TUPLE]
effective function
{ANY}
require ensure
having (crit: EDC_CRITERION): EDC_FIND [D_ -> EDC_TYPED_DESCRIPTOR[R_, K_], R_ -> EDC_RECORD, K_ -> TUPLE]
effective function
{ANY}
require ensure
order_by (crit: EDC_ORDERING): EDC_FIND [D_ -> EDC_TYPED_DESCRIPTOR[R_, K_], R_ -> EDC_RECORD, K_ -> TUPLE]
effective function
{ANY}
require ensure
has_where: BOOLEAN
effective function
{ANY}
ensure
has_having: BOOLEAN
effective function
{ANY}
ensure
has_order_by: BOOLEAN
effective function
{ANY}
ensure
crit_where: EDC_CRITERION
writable attribute
{}
crit_having: EDC_CRITERION
writable attribute
{}
crit_order_by: EDC_ORDERING
writable attribute
{}