GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_QUERY
+
Point of view
All features
ANY
All features
deferred class EDC_QUERY
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
EDC_TYPED_QUERY
Overview
top
Features
{
ANY
}
where
(crit:
EDC_CRITERION
): EDC_QUERY
having
(crit:
EDC_CRITERION
): EDC_QUERY
order_by
(crit:
EDC_ORDERING
): EDC_QUERY
has_where
:
BOOLEAN
has_having
:
BOOLEAN
has_order_by
:
BOOLEAN
{}
crit_where
:
EDC_CRITERION
crit_having
:
EDC_CRITERION
crit_order_by
:
EDC_ORDERING
where
(crit:
EDC_CRITERION
): EDC_QUERY
effective function
{
ANY
}
top
require
not
has_where
crit /= Void
ensure
has_where
crit_where
= crit
Result = Current
having
(crit:
EDC_CRITERION
): EDC_QUERY
effective function
{
ANY
}
top
require
not
has_having
crit /= Void
ensure
has_having
crit_having
= crit
Result = Current
order_by
(crit:
EDC_ORDERING
): EDC_QUERY
effective function
{
ANY
}
top
require
not
has_order_by
crit /= Void
ensure
has_order_by
crit_order_by
= crit
Result = Current
has_where
:
BOOLEAN
effective function
{
ANY
}
top
ensure
definition:
Result =
crit_where
/= Void
has_having
:
BOOLEAN
effective function
{
ANY
}
top
ensure
definition:
Result =
crit_having
/= Void
has_order_by
:
BOOLEAN
effective function
{
ANY
}
top
ensure
definition:
Result =
crit_order_by
/= Void
crit_where
:
EDC_CRITERION
writable attribute
{}
top
crit_having
:
EDC_CRITERION
writable attribute
{}
top
crit_order_by
:
EDC_ORDERING
writable attribute
{}
top