GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_TYPED_QUERY
+
Point of view
All features
ANY
All features
deferred class EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
Summary
top
Direct parents
Inherit list:
EDC_QUERY
Known children
Inherit list:
EDC_FETCH
Class invariant
top
options
/= Void
Overview
top
Features
{
ANY
}
list
(session:
EDC_SESSION
): TRAVERSABLE[R_]
options
:
EDC_QUERY_OPTION
{}
_inline_agent2
(record: R_, s:
EDC_SESSION
):
BOOLEAN
{
ANY
}
where
(crit:
EDC_CRITERION
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
having
(crit:
EDC_CRITERION
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
order_by
(crit:
EDC_ORDERING
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
has_where
:
BOOLEAN
has_having
:
BOOLEAN
has_order_by
:
BOOLEAN
{}
crit_where
:
EDC_CRITERION
crit_having
:
EDC_CRITERION
crit_order_by
:
EDC_ORDERING
list
(session:
EDC_SESSION
): TRAVERSABLE[R_]
deferred function
{
ANY
}
top
require
session.is_open
options
.valid_session(session)
ensure
Result.for_all(
_inline_agent2
(, session))
options
:
EDC_QUERY_OPTION
writable attribute
{
ANY
}
top
_inline_agent2
(record: R_, s:
EDC_SESSION
):
BOOLEAN
frozen
effective function
{}
top
where
(crit:
EDC_CRITERION
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
effective function
{
ANY
}
top
require
not
has_where
crit /= Void
ensure
has_where
crit_where
= crit
Result = Current
having
(crit:
EDC_CRITERION
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
effective function
{
ANY
}
top
require
not
has_having
crit /= Void
ensure
has_having
crit_having
= crit
Result = Current
order_by
(crit:
EDC_ORDERING
): EDC_TYPED_QUERY [R_ ->
EDC_RECORD
]
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