+
Point of view
All features
deferred class EDC_TYPED_QUERY [R_ -> EDC_RECORD]
Summary
Direct parents
Inherit list: EDC_QUERY
Known children
Inherit list: EDC_FETCH
Class invariant
Overview
Features
{ANY}
{}
{ANY}
{}
list (session: EDC_SESSION): TRAVERSABLE[R_]
deferred function
{ANY}
require
  • session.is_open
  • options.valid_session(session)
ensure

writable attribute
{ANY}
_inline_agent2 (record: R_, s: EDC_SESSION): BOOLEAN
frozen
effective function
{}
where (crit: EDC_CRITERION): EDC_TYPED_QUERY [R_ -> EDC_RECORD]
effective function
{ANY}
require ensure
having (crit: EDC_CRITERION): EDC_TYPED_QUERY [R_ -> EDC_RECORD]
effective function
{ANY}
require ensure
order_by (crit: EDC_ORDERING): EDC_TYPED_QUERY [R_ -> EDC_RECORD]
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
{}