<> <> <> <> <> <> DIRECTORY AlpineEnvironment USING[FileID, LockMode, PageCount, VolumeID], AlpineInternal USING[FileHandle, FileInstanceHandle, TransHandle]; FileInstance: CEDAR DEFINITIONS = BEGIN Handle: TYPE = AlpineInternal.FileInstanceHandle; Register: PROCEDURE [trans: AlpineInternal.TransHandle, volumeID: AlpineEnvironment.VolumeID, fileID: AlpineEnvironment.FileID] RETURNS [handle: Handle]; <> <> Unregister: PROCEDURE [handle: Handle]; <> <> FlushTransState: PROCEDURE [trans: AlpineInternal.TransHandle]; <> <> <> GetFileHandle: PROCEDURE [handle: Handle] RETURNS [fileHandle: AlpineInternal.FileHandle]; <> GetTransHandle: PROCEDURE [handle: Handle] RETURNS [trans: AlpineInternal.TransHandle]; <> GetVolumeID: PROCEDURE [handle: Handle] RETURNS [volumeID: AlpineEnvironment.VolumeID]; <> GetFileID: PROCEDURE [handle: Handle] RETURNS [fileID: AlpineEnvironment.FileID]; <> GetVolumeIDAndFileID: PROCEDURE [handle: Handle] RETURNS [volumeID: AlpineEnvironment.VolumeID, fileID: AlpineEnvironment.FileID]; <> <> GetDeltaVersion: PROCEDURE [handle: Handle] RETURNS [delta: LONG INTEGER]; <> <> <> SetMaxDeltaVersion: PROCEDURE [handle: Handle, increment: LONG INTEGER _ 1]; <> <> GetHighWaterMark: PROCEDURE [handle: Handle] RETURNS [highWaterMark: AlpineEnvironment.PageCount]; <> <> <> SetHighWaterMark: PROCEDURE [handle: Handle, highWaterMark: AlpineEnvironment.PageCount] RETURNS [oldHighWaterMark: AlpineEnvironment.PageCount]; <> GetLockMode: PROCEDURE [handle: Handle] RETURNS [lock: AlpineEnvironment.LockMode]; <> SetLockMode: PROCEDURE [handle: Handle, lock: AlpineEnvironment.LockMode]; <> <> GetNextHandleForTrans: PROCEDURE [trans: AlpineInternal.TransHandle, handle: Handle _ NIL] RETURNS [nextHandle: Handle]; <> <> <> <> END. <> <> <<>>