14.4.21  Finalize

The standard library Finalize api defines access to a facility allowing computations to be triggered by garbage collection of designated storage chunks.

You may generate implementations of the Finalize api via finalize_g in src/lib/src/finalize-g.pkg.

The Finalize api source code is in src/lib/src/finalize.api.

See also: Finalized_Chunk.

The above information is manually maintained and may contain errors.

api {   package chunk
          : api {
                finalize : Chunk_Info -> Void;};;
    register_chunk : (chunk::Chunk , chunk::Chunk_Info) -> Void;
    get_dead : Void -> List(chunk::Chunk_Info );
    finalize : Void -> Void;};

Comments and suggestions to: