PreviousUpNext

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 {
                Chunk;
                Chunk_Info;
                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: bugs@mythryl.org

PreviousUpNext