home
classes/clusters list
class information
+
Point of view
ANY
ANY
EDC_COLUMN
EDC_CONNECTION
TYPED_INTERNALS
INTERNALS_HANDLER
All features
deferred class EDC_RESULT_SET
Summary
top
Direct parents
insert list:
EDC_CONSTANTS
Known children
inherit list:
EDC_SQLITE_RESULT_SET
,
EDC_STORABLE_RESULT_SET
Overview
top
exported features
Connection:
disconnect
is_connected
:
BOOLEAN
connection
:
EDC_CONNECTION
back-link to the connection
Data query:
is_after_last
:
BOOLEAN
is_before_first
:
BOOLEAN
is_off
:
BOOLEAN
next
previous
fetch_direction
:
INTEGER_32
column_count
:
INTEGER_32
column
(index:
INTEGER_32
):
EDC_COLUMN
column_named
(column_name:
STRING
):
EDC_COLUMN
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
disconnect
deferred procedure
top
require
is_connected
ensure
not
is_connected
is_connected
:
BOOLEAN
deferred function
top
ensure
Result implies
connection
.is_connected
connection
:
EDC_CONNECTION
deferred function
top
back-link to the connection
is_after_last
:
BOOLEAN
deferred function
top
require
is_connected
is_before_first
:
BOOLEAN
deferred function
top
require
is_connected
is_off
:
BOOLEAN
effective function
top
require
is_connected
ensure
is_before_first
implies Result
is_after_last
implies Result
next
deferred procedure
top
require
is_connected
not
is_after_last
ensure
not
is_before_first
previous
deferred procedure
top
require
is_connected
not
is_before_first
ensure
not
is_after_last
fetch_direction
:
INTEGER_32
deferred function
top
require
is_connected
ensure
Result =
Fetch_forward
or else Result =
Fetch_backward
column_count
:
INTEGER_32
deferred function
top
column
(index:
INTEGER_32
):
EDC_COLUMN
deferred function
top
require
index.in_range(0,
column_count
- 1)
ensure
Result /= Void
column_named
(column_name:
STRING
):
EDC_COLUMN
deferred function
top
require
not column_name.is_empty
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top