GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_TYPED_DESCRIPTOR
+
Point of view
All features
ANY
EDC_TYPED_QUERY
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
table
/= Void
is_expanded
Overview
top
Features
{
ANY
}
table
: EDC_TABLE[R_]
find
(options:
EDC_QUERY_OPTION
, primary_key: K_): EDC_TYPED_QUERY[R_]
fetch
(options:
EDC_QUERY_OPTION
): EDC_TYPED_QUERY[R_]
delete
(record:
EDC_RECORD
)
criterion_primary_key
(a_pk: K_):
EDC_CRITERION
{
EDC_TYPED_QUERY
}
new_record
: R_
{}
is_expanded
:
BOOLEAN
Query options
{}
Edc_default
:
EDC_QUERY_OPTION
Edc_for_update
:
EDC_QUERY_OPTION
Field options
{}
Edc_primary_key
:
EDC_FIELD_OPTION
Edc_mandatory
:
EDC_FIELD_OPTION
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