GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
LIVE_TYPE_EXTRA_COLLECTOR
+
Point of view
All features
ANY
LIVE_TYPE
All features
deferred class LIVE_TYPE_EXTRA_COLLECTOR
Summary
top
Direct parents
Insert list:
TAGGER
Known children
Inherit list:
LIVE_TYPE_NATIVE_ARRAY_COLLECTOR
Overview
top
Features
{
LIVE_TYPE
}
collect
(live_type:
LIVE_TYPE
)
collect
(live_type:
LIVE_TYPE
)
deferred procedure
{
LIVE_TYPE
}
top
require
live_type /= Void