GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_DUMMY_SESSION_DATA
+
Point of view
All features
ANY
EDC_DUMMY_SESSION
EDC_DUMMY_SESSION_FETCH
All features
class EDC_DUMMY_SESSION_DATA
Summary
top
Direct parents
Inherit list:
EDC_SESSION_DATA
Overview
top
Creation features
{
EDC_DUMMY_SESSION
}
default_create
Default creation method.
Features
{
EDC_DUMMY_SESSION
,
EDC_DUMMY_SESSION_FETCH
}
internal_id
:
INTEGER_64
{}
default_create
Default creation method.
id_counter
:
REFERENCE
[
INTEGER_64
]
internal_id
:
INTEGER_64
writable attribute
{
EDC_DUMMY_SESSION
,
EDC_DUMMY_SESSION_FETCH
}
top
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
id_counter
:
REFERENCE
[
INTEGER_64
]
once function
{}
top