home
classes/clusters list
class information
+
Point of view
EDC_CONNECTION
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
Columns:
count
:
INTEGER_32
lower
:
INTEGER_32
upper
:
INTEGER_32
item
(i:
INTEGER_32
):
EDC_COLUMN
where
(a_where_clause:
EDC_EXPRESSION
): EDC_UPDATE
connection
:
EDC_CONNECTION
columns
:
FAST_ARRAY
[
EDC_COLUMN
]
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
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
connection
:
EDC_CONNECTION
writable attribute
top
columns
:
FAST_ARRAY
[
EDC_COLUMN
]
writable attribute
top
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top