GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_DUMMY_SESSION_FETCH
+
Point of view
All features
ANY
EDC_STRING_FIELD
EDC_VARSTRING_FIELD
EDC_INTEGER_64_FIELD
EDC_QUERY
EDC_DUMMY_SESSION_FETCH
EDC_FIELD
All features
class EDC_DUMMY_SESSION_FETCH [E_]
Summary
top
Direct parents
Inherit list:
EDC_SESSION_FETCH
Class invariant
top
session
/= Void
dataset
/= Void
Overview
top
Creation features
{
EDC_DUMMY_SESSION
}
make
(a_session:
EDC_DUMMY_SESSION
)
Features
{
EDC_FIELD
}
item
(record:
EDC_RECORD
, field: EDC_FIELD[E_]): E_
set
(record:
EDC_RECORD
, field: EDC_FIELD[E_], i: E_)
{}
make
(a_session:
EDC_DUMMY_SESSION
)
session
:
EDC_DUMMY_SESSION
dataset
: HASHED_DICTIONARY[E_,
INTEGER_64
]
item
(record:
EDC_RECORD
, field: EDC_FIELD[E_]): E_
effective function
{
EDC_FIELD
}
top
set
(record:
EDC_RECORD
, field: EDC_FIELD[E_], i: E_)
effective procedure
{
EDC_FIELD
}
top
make
(a_session:
EDC_DUMMY_SESSION
)
effective procedure
{}
top
require
a_session /= Void
ensure
session
= a_session
session
:
EDC_DUMMY_SESSION
writable attribute
{}
top
dataset
: HASHED_DICTIONARY[E_,
INTEGER_64
]
writable attribute
{}
top