GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_SESSION
+
Point of view
All features
ANY
EDC_STRING_FIELD
EDC_VARSTRING_FIELD
EDC_INTEGER_64_FIELD
EDC_QUERY
All features
deferred class EDC_SESSION
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
EDC_DUMMY_SESSION
Class invariant
top
string_field
/= Void
varstring_field
/= Void
int64_field
/= Void
Overview
top
Features
{
ANY
}
open
close
is_open
:
BOOLEAN
{
ANY
}
begin
commit
rollback
in_transaction
:
BOOLEAN
add
(record:
EDC_RECORD
)
{
EDC_STRING_FIELD
}
string_field
:
EDC_SESSION_FETCH
[
STRING
]
{
EDC_VARSTRING_FIELD
}
varstring_field
:
EDC_SESSION_FETCH
[
STRING
]
{
EDC_INTEGER_64_FIELD
}
int64_field
:
EDC_SESSION_FETCH
[
INTEGER_64
]
{
EDC_QUERY
}
select_data
(table_name:
FIXED_STRING
, where:
EDC_CRITERION
, having:
EDC_CRITERION
, order_by:
EDC_ORDERING
):
FAST_ARRAY
[
EDC_SESSION_DATA
]
recycle_data
(data:
FAST_ARRAY
[
EDC_SESSION_DATA
])
{}
data_pool
:
FAST_ARRAY
[
FAST_ARRAY
[
EDC_SESSION_DATA
]]
select_data_in
(data:
FAST_ARRAY
[
EDC_SESSION_DATA
], table_name:
FIXED_STRING
, where:
EDC_CRITERION
, having:
EDC_CRITERION
, order_by:
EDC_ORDERING
)
open
deferred procedure
{
ANY
}
top
require
not
is_open
close
deferred procedure
{
ANY
}
top
ensure
not
is_open
is_open
:
BOOLEAN
deferred function
{
ANY
}
top
begin
deferred procedure
{
ANY
}
top
require
is_open
ensure
in_transaction
commit
deferred procedure
{
ANY
}
top
require
in_transaction
ensure
not
in_transaction
rollback
deferred procedure
{
ANY
}
top
require
in_transaction
ensure
not
in_transaction
in_transaction
:
BOOLEAN
deferred function
{
ANY
}
top
add
(record:
EDC_RECORD
)
deferred procedure
{
ANY
}
top
require
in_transaction
record.session = Void
ensure
record.session = Current
string_field
:
EDC_SESSION_FETCH
[
STRING
]
writable attribute
{
EDC_STRING_FIELD
}
top
varstring_field
:
EDC_SESSION_FETCH
[
STRING
]
writable attribute
{
EDC_VARSTRING_FIELD
}
top
int64_field
:
EDC_SESSION_FETCH
[
INTEGER_64
]
writable attribute
{
EDC_INTEGER_64_FIELD
}
top
select_data
(table_name:
FIXED_STRING
, where:
EDC_CRITERION
, having:
EDC_CRITERION
, order_by:
EDC_ORDERING
):
FAST_ARRAY
[
EDC_SESSION_DATA
]
effective function
{
EDC_QUERY
}
top
ensure
Result /= Void
recycle_data
(data:
FAST_ARRAY
[
EDC_SESSION_DATA
])
effective procedure
{
EDC_QUERY
}
top
require
data /= Void
data_pool
:
FAST_ARRAY
[
FAST_ARRAY
[
EDC_SESSION_DATA
]]
once function
{}
top
select_data_in
(data:
FAST_ARRAY
[
EDC_SESSION_DATA
], table_name:
FIXED_STRING
, where:
EDC_CRITERION
, having:
EDC_CRITERION
, order_by:
EDC_ORDERING
)
deferred procedure
{}
top
require
data /= Void
table_name /= Void