-- File: DBIndexHandle.mesa -- Created by: Suzuki, December 8, 1980 2:19 PM -- Last edited by: -- Suzuki, December 8, 1980 3:09 PM DIRECTORY DBStorage USING[IndexHandle], DBStorageInternal USING[TID], DBIndex USING[RealIndexHandle]; DBIndexHandle: DEFINITIONS = { -- IndexHandle manipulation CreateNewRealIndexHandle: PROC [tid: DBStorageInternal.TID]; -- Creates a RealIndexHandle at the head of LRU queue, and set tid. GetOldRealIndexHandle: PROC [x: DBStorage.IndexHandle] RETURNS [DBIndex.RealIndexHandle]; DestroyIndexHandle: PROC [q: DBIndex.RealIndexHandle]; DeleteHandle: PUBLIC PROC [q: DBIndex.RealIndexHandle]; -- Deallocates the IndexObject FinalizeIndexHandle: PROC; }. J