home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
NATIVE_BUILT_IN
NATIVE_ARRAY_TYPE_MARK
ONCE_ROUTINE_POOL
LIVE_TYPE
MANIFEST_STRING_POOL
C_PRETTY_PRINTER
TYPE_MARK
STRING_COMMAND_LINE
COMPILE_TO_C
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class GC_HANDLER
Summary
top
GARBAGE_COLLECTOR_HANDLER
Direct parents
insert list:
GLOBALS
Class invariant
top
info_flag
implies not
is_off
Overview
top
creation features
make
exported features
is_off
:
BOOLEAN
True when the Garbage Collector is not produced.
info_flag
:
BOOLEAN
True when Garbage Collector Information need to be printed.
allocation_of
(internal_c_local:
INTERNAL_C_LOCAL
, created_live_type:
LIVE_TYPE
)
Heap-allocation into
internal_c_local
of a new object of some
created_live_type
.
is_off
:
BOOLEAN
writable attribute
top
True when the Garbage Collector is not produced.
info_flag
:
BOOLEAN
writable attribute
top
True when Garbage Collector Information need to be printed.
allocation_of
(internal_c_local:
INTERNAL_C_LOCAL
, created_live_type:
LIVE_TYPE
)
effective procedure
top
Heap-allocation into
internal_c_local
of a new object of some
created_live_type
.
require
internal_c_local.is_locked
created_live_type.at_run_time
created_live_type.is_reference