home
classes/clusters list
class information
+
Point of view
TYPED_INTERNALS
ANY
EDC_CONNECTION
EDC_EXPRESSION
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_UPDATE
Summary
top
Direct parents
inherit list:
EDC_SELECTABLE
Class invariant
top
all_columns_are_in_the_same_table
columns.count > 0
connection /= Void
Overview
top
creation features
exported features
accept
(a_visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
call
(values:
TRAVERSABLE
[
EDC_VALUE
], arguments:
TRAVERSABLE
[
EDC_VALUE
]):
INTEGER_32
Set the selected rows to the given values and return the number of changed rows
table
:
EDC_TABLE
all_columns_are_in_the_same_table
:
BOOLEAN
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_UPDATE
do_set_parameter_positions
(position:
INTEGER_32
):
INTEGER_32
make
(a_connection:
EDC_CONNECTION
, a_columns:
TRAVERSABLE
[
EDC_COLUMN
])
connection
:
EDC_CONNECTION
columns
:
FAST_ARRAY
[
EDC_COLUMN
]
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
(values:
TRAVERSABLE
[
EDC_VALUE
], arguments:
TRAVERSABLE
[
EDC_VALUE
]):
INTEGER_32
effective function
top
Set the selected rows to the given values and return the number of changed rows
require
values.count =
columns
.count
arguments = Void implies
open_count
= 0
arguments /= Void implies arguments.count =
open_count
table
:
EDC_TABLE
effective function
top
all_columns_are_in_the_same_table
:
BOOLEAN
effective function
top
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_UPDATE
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
make
(a_connection:
EDC_CONNECTION
, a_columns:
TRAVERSABLE
[
EDC_COLUMN
])
effective procedure
top
require
a_columns.count > 0
connection
:
EDC_CONNECTION
writable attribute
top
columns
:
FAST_ARRAY
[
EDC_COLUMN
]
writable attribute
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