GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
wrappers
>
DATABASE
+
Point of view
All features
ANY
All features
deferred class DATABASE
Summary
top
copyright
(C) 2006 Paolo Redaelli
license
LGPL v2 or later
date
$Date$
revision
$Revision$
Direct parents
Insert list:
ANY
Known children
Inherit list:
POSTGRESQL_DATABASE
,
SQLITE_DATABASE
Overview
top
Features
{
ANY
}
connect
(a_connection_string:
STRING
)
Connect to a database as specified by
a_connection_string
; its syntax is implementation specific.
close
is_connected
:
BOOLEAN
last_action_success
:
BOOLEAN
execute
(some_sql:
STRING
)
execute
some_sql
.
result_set
:
RESULT_SET
[
RESULT_ROW
]
Results of the last
execute
command.
prepare_command
(some_sql:
STRING
):
PREPARED_COMMAND
Prepare a new statement from
some_sql
.
prepare_query
(some_sql:
STRING
):
PREPARED_QUERY
Prepare a new statement from
some_sql
.
connect
(a_connection_string:
STRING
)
deferred procedure
{
ANY
}
top
Connect to a database as specified by
a_connection_string
; its syntax is implementation specific.
require
valid_string:
a_connection_string /= Void
close
deferred procedure
{
ANY
}
top
ensure
closed:
not
is_connected
is_connected
:
BOOLEAN
deferred function
{
ANY
}
top
last_action_success
:
BOOLEAN
writable attribute
{
ANY
}
top
execute
(some_sql:
STRING
)
deferred procedure
{
ANY
}
top
execute
some_sql
.
If it contains one or more queries
result_set
will contain the result of the queries. set last_action_success
require
sql_not_void:
some_sql /= Void
connected:
is_connected
result_set
:
RESULT_SET
[
RESULT_ROW
]
deferred function
{
ANY
}
top
Results of the last
execute
command.
require
valid:
last_action_success
ensure
result_not_void:
Result /= Void
prepare_command
(some_sql:
STRING
):
PREPARED_COMMAND
deferred function
{
ANY
}
top
Prepare a new statement from
some_sql
.
require
sql_not_void:
some_sql /= Void
connected:
is_connected
prepare_query
(some_sql:
STRING
):
PREPARED_QUERY
deferred function
{
ANY
}
top
Prepare a new statement from
some_sql
.
require
sql_not_void:
some_sql /= Void
connected:
is_connected