+
Point of view
All features
deferred class EDC_TYPED_DESCRIPTOR [R_ -> EDC_RECORD, K_ -> TUPLE]
Summary
top
this class is meant to be expanded.
Direct parents
Insert list: EDC_DESCRIPTOR
Class invariant
top
Overview
top
Features
{ANY}
{EDC_TYPED_QUERY}
{}
Query options
{}
Field options
{}
table: EDC_TABLE[R_]
deferred function
{ANY}
top
find (options: EDC_QUERY_OPTION, primary_key: K_): EDC_TYPED_QUERY[R_]
effective function
{ANY}
top
fetch (options: EDC_QUERY_OPTION): EDC_TYPED_QUERY[R_]
effective function
{ANY}
top
delete (record: EDC_RECORD)
effective procedure
{ANY}
top
require
  • record /= Void
criterion_primary_key (a_pk: K_): EDC_CRITERION
effective function
{ANY}
top
require(
  • table.pk.count = a_pk.count
) or else (
    • a_pk /= Void
) ensure
  • Result /= Void
new_record: R_
effective function
{EDC_TYPED_QUERY}
top
ensure
  • Result /= Void
is_expanded: BOOLEAN
effective function
{}
top
Edc_default: EDC_QUERY_OPTION
once function
{}
top
Edc_for_update: EDC_QUERY_OPTION
once function
{}
top
Edc_primary_key: EDC_FIELD_OPTION
once function
{}
top
Edc_mandatory: EDC_FIELD_OPTION
once function
{}
top