Class invariant
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.
memory_dispose (o: STRING, live_type: LIVE_TYPE)
effective procedure
Append the extra C code for the MEMORY.dispose call if any.
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.
mark_for (entity: STRING, lt: LIVE_TYPE, non_void_no_dispatch_flag: BOOLEAN)
effective procedure
Add C code to mark the entity of lt.