class GC_HANDLER
Summary
Class invariant
Overview
creation features
exported features
is_off: BOOLEAN
writable attribute
True when the Garbage Collector is not produced.
info_flag: BOOLEAN
writable attribute
True when Garbage Collector Information need to be printed.
allocation_of (internal_c_local: INTERNAL_C_LOCAL, created_live_type: LIVE_TYPE)
effective procedure
Heap-allocation into internal_c_local of a new object of some created_live_type.