DEFINITION MODULE RTentity ; (* Description: provides a set of routines for maintaining an efficient mechanism to group opaque (or pointer) data structures together. Internally the entities are grouped together using a binary tree. It does not use Storage - and instead uses malloc, free from libc as Storage uses the module to detect erroneous deallocations. *) IMPORT SYSTEM ; TYPE Group ; PROCEDURE InitGroup () : Group ; PROCEDURE KillGroup (g: Group) : Group ; PROCEDURE GetKey (g: Group; a: SYSTEM.ADDRESS) : CARDINAL ; PROCEDURE PutKey (g: Group; a: SYSTEM.ADDRESS; key: CARDINAL) ; PROCEDURE DelKey (g: Group; a: SYSTEM.ADDRESS) ; PROCEDURE IsIn (g: Group; a: SYSTEM.ADDRESS) : BOOLEAN ; END RTentity.