home
classes/clusters list
class information
+
Point of view
EDC_CONNECTION_FACTORY
ANY
EDC_CONNECTION_FACTORY
EDC_STORABLE_EXPRESSION_SELECTOR
EDC_STORABLE_CONNECTION
EDC_STORABLE_INDEX
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_STORABLE_XML_FILE_DRIVER
Summary
top
Data is stored in an XML file given by the url after the <code>
"xml://"
</code> prefix.
Direct parents
inherit list:
EDC_STORABLE_DRIVER
Overview
top
exported features
valid_url
(url:
STRING
):
BOOLEAN
new_connection
(url:
STRING
, info:
DICTIONARY
[
STRING
,
STRING
]):
EDC_STORABLE_CONNECTION
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
valid_url
(url:
STRING
):
BOOLEAN
effective function
top
require
not url.is_empty
new_connection
(url:
STRING
, info:
DICTIONARY
[
STRING
,
STRING
]):
EDC_STORABLE_CONNECTION
effective function
top
require
valid_url(url)
ensure
Result /= Void implies Result.is_connected
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top