home
classes/clusters list
class information
+
Point of view
ANY
ANY
EDC_CONNECTION
EDC_EXPRESSION
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_DELETE
Summary
top
Direct parents
inherit list:
EDC_SELECTABLE
Class invariant
top
all_columns_are_in_the_same_table
Overview
top
creation features
exported features
accept
(a_visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
call
(arguments:
TRAVERSABLE
[
EDC_VALUE
]):
INTEGER_32
Delete the selected rows and return the number of deleted 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_DELETE
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
]):
INTEGER_32
effective function
top
Delete the selected rows and return the number of deleted rows
require
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_DELETE
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