home
classes/clusters list
class information
+
Point of view
EDC_EXPRESSION
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
clear_prepare
do_prepare_call
(arguments:
TRAVERSABLE
[
EDC_VALUE
], cursor:
INTEGER_32
):
INTEGER_32
If the query has open arguments, fill them with the supplied values
Columns:
count
:
INTEGER_32
lower
:
INTEGER_32
upper
:
INTEGER_32
item
(i:
INTEGER_32
):
EDC_COLUMN
where
(a_where_clause:
EDC_EXPRESSION
): EDC_SELECT
do_set_parameter_positions
(position:
INTEGER_32
):
INTEGER_32
can_call
:
BOOLEAN
Check that all open arguments are filled with values
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
clear_prepare
effective procedure
top
do_prepare_call
(arguments:
TRAVERSABLE
[
EDC_VALUE
], cursor:
INTEGER_32
):
INTEGER_32
effective function
top
If the query has open arguments, fill them with the supplied values
require
arguments /= Void implies arguments.count >=
open_count
arguments /= Void implies arguments.valid_index(cursor)
ensure
Result >= cursor
can_call
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
do_set_parameter_positions
(position:
INTEGER_32
):
INTEGER_32
effective function
top
can_call
:
BOOLEAN
effective function
top
Check that all open arguments are filled with values
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top