<> <> <> <<>> DIRECTORY AlpineEnvironment, FilePageMgrPrivateChunk, FilePageMgrPrivateFile ; FilePageMgrRedBlackTree: CEDAR DEFINITIONS = BEGIN OPEN FpmPC: FilePageMgrPrivateChunk, FpmPF: FilePageMgrPrivateFile; <> FPMFileHandle: TYPE = REF FPMFileObject; FPMFileObject: TYPE = FpmPF.FPMFileObject; RefChunk: TYPE = REF Chunk; Chunk: TYPE = FpmPC.Chunk; LookupProc: TYPE = PROCEDURE[ fpmFileHandle: FPMFileHandle, key: AlpineEnvironment.PageNumber ] RETURNS [RefChunk]; Lookup: LookupProc; LookupNextLarger: LookupProc; LookupNextSmaller: LookupProc; LookupLargest: PROCEDURE[ fpmFileHandle: FPMFileHandle ] RETURNS [RefChunk]; LookupSmallest: PROCEDURE[ fpmFileHandle: FPMFileHandle ] RETURNS [RefChunk]; Delete: LookupProc; Insert: PROCEDURE[ fpmFileHandle: FPMFileHandle, refChunk: RefChunk, key: AlpineEnvironment.PageNumber ]; END.