home
classes/clusters list
class information
+
Point of view
ANY
ANY
EDC_CONNECTION
EDC_EXPRESSION
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_SELECT
Summary
top
Direct parents
inherit list:
EDC_SELECTABLE
Overview
top
creation features
exported features
accept
(a_visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
call
(arguments:
TRAVERSABLE
[
EDC_VALUE
]):
EDC_RESULT_SET
order_by
(a_columns:
TRAVERSABLE
[
EDC_COLUMN
]): EDC_SELECT
where_clause
:
EDC_EXPRESSION
open_count
:
INTEGER_32
The number of open arguments
Columns:
count
:
INTEGER_32
lower
:
INTEGER_32
upper
:
INTEGER_32
item
(i:
INTEGER_32
):
EDC_COLUMN
where
(a_where_clause:
EDC_EXPRESSION
): EDC_SELECT
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
accept
(a_visitor:
ESE_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
a_visitor /= Void
call
(arguments:
TRAVERSABLE
[
EDC_VALUE
]):
EDC_RESULT_SET
effective function
top
require
arguments = Void implies
open_count
= 0
arguments /= Void implies arguments.count =
open_count
order_by
(a_columns:
TRAVERSABLE
[
EDC_COLUMN
]): EDC_SELECT
effective function
top
ensure
chain:
Result = Current
where_clause
:
EDC_EXPRESSION
writable attribute
top
open_count
:
INTEGER_32
effective function
top
The number of open arguments
count
:
INTEGER_32
effective function
top
lower
:
INTEGER_32
effective function
top
upper
:
INTEGER_32
effective function
top
item
(i:
INTEGER_32
):
EDC_COLUMN
effective function
top
require
i.in_range(
lower
,
upper
)
where
(a_where_clause:
EDC_EXPRESSION
): EDC_SELECT
effective function
top
require
a_where_clause /= Void
where_clause
= Void
ensure
chain:
Result = Current
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top