SECOM
Overview Cluster Class Classes Index          Top Features

secom.ewg.spec.se

Class EWG_EXTERNAL_GARBAGE_COLLECTOR_ROUTINES


Features

Invariants

indexing

description

External Garbage Collector routines

library

Eiffel Wrapper Generator Library

copyright

Copyright (c) 1999, Andreas Leitner and others

license

Eiffel Forum License v2 (see license.txt)

class EWG_EXTERNAL_GARBAGE_COLLECTOR_ROUTINES

feature --

adopted: FIXED_ARRAY[ANY]

eif_access (a_pointer: POINTER): ANY

require

a_pointer_not_void: a_pointer /= Default_pointer

ensure

eif_access_not_void: Result /= Void

eif_adopt (a_object: ANY): POINTER

-- A reference to object is stored in adopted to avoid
-- it's collection at GC time.

require

a_object_not_void: a_object /= Void

ensure

adopted_not_default_pointer: Result /= Default_pointer

eif_wean (a_pointer: POINTER)

-- Remove the reference to a_pointer in adopted.

require

a_pointer_not_void: a_pointer /= Default_pointer

invariant


Documentation generated by edoc