GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
AT_EXIT
+
Point of view
All features
ANY
All features
expanded class AT_EXIT
Summary
top
This class contains a private unique list of actions to run at exit time.
Direct parents
Insert list:
ANY
Overview
top
Features
{
ANY
}
add
(a_action:
PROCEDURE
[
TUPLE
])
run
is_running
:
BOOLEAN
{}
actions
:
RING_ARRAY
[
PROCEDURE
[
TUPLE
]]
is_running_memory
:
REFERENCE
[
BOOLEAN
]
add
(a_action:
PROCEDURE
[
TUPLE
])
effective procedure
{
ANY
}
top
run
effective procedure
{
ANY
}
top
require
not
is_running
is_running
:
BOOLEAN
effective function
{
ANY
}
top
actions
:
RING_ARRAY
[
PROCEDURE
[
TUPLE
]]
once function
{}
top
is_running_memory
:
REFERENCE
[
BOOLEAN
]
once function
{}
top