DIRECTORY YggEnvironment USING[FileID, LockMode, PageCount, VolumeID], YggInternal USING[FileHandle, FileInstanceHandle, TransHandle]; YggFileInstance: CEDAR DEFINITIONS = BEGIN Handle: TYPE = YggInternal.FileInstanceHandle; Register: PROCEDURE [trans: YggInternal.TransHandle, volumeID: YggEnvironment.VolumeID, fileID: YggEnvironment.FileID] RETURNS [handle: Handle]; Unregister: PROCEDURE [handle: Handle]; FlushTransState: PROCEDURE [trans: YggInternal.TransHandle]; GetFileHandle: PROCEDURE [handle: Handle] RETURNS [fileHandle: YggInternal.FileHandle]; GetTransHandle: PROCEDURE [handle: Handle] RETURNS [trans: YggInternal.TransHandle]; GetVolumeID: PROCEDURE [handle: Handle] RETURNS [volumeID: YggEnvironment.VolumeID]; GetFileID: PROCEDURE [handle: Handle] RETURNS [fileID: YggEnvironment.FileID]; GetVolumeIDAndFileID: PROCEDURE [handle: Handle] RETURNS [volumeID: YggEnvironment.VolumeID, fileID: YggEnvironment.FileID]; GetDeltaVersion: PROCEDURE [handle: Handle] RETURNS [delta: LONG INTEGER]; SetMaxDeltaVersion: PROCEDURE [handle: Handle, increment: LONG INTEGER _ 1]; GetHighWaterMark: PROCEDURE [handle: Handle] RETURNS [highWaterMark: YggEnvironment.PageCount]; SetHighWaterMark: PROCEDURE [handle: Handle, highWaterMark: YggEnvironment.PageCount] RETURNS [oldHighWaterMark: YggEnvironment.PageCount]; GetLockMode: PROCEDURE [handle: Handle] RETURNS [lock: YggEnvironment.LockMode]; SetLockMode: PROCEDURE [handle: Handle, lock: YggEnvironment.LockMode]; GetNextHandleForTrans: PROCEDURE [trans: YggInternal.TransHandle, handle: Handle _ NIL] RETURNS [nextHandle: Handle]; END. YggFileInstance.mesa Copyright Ó 1985, 1988 by Xerox Corporation. All rights reserved. Last edited by Taft on October 25, 1982 11:01 am Kolling on November 12, 1982 4:35 pm Hauser, March 7, 1985 2:52:06 pm PST Bob Hagmann March 25, 1988 4:21:45 pm PST errors defined in this interface: none. Finds or creates a handle for the supplied trans, volume, and file, and increments use count on the returned handle. If the handle is created, it is also entered in the FileInstance list for its transaction and FileMap.Register is called. errors defined in this interface: none. Decrements use count on handle. If the use count becomes zero and delta version is 0 (i.e., if the file has not been updated), deletes it from the FileInstance list for its transaction and calls FileMap.Unregister. (Updated files are taken care of by FlushTransState.) errors defined in this interface: none. When this is called, it is a fatal error if any handle in this transaction's FileInstance list has useCount # 0 or delta version = 0. Otherwise, FileMap.Unregister is called for each handle. Access to immutable attributes. errors defined in this interface: none. errors defined in this interface: none. errors defined in this interface: none. errors defined in this interface: none. errors defined in this interface: none. Access to read/write attributes. errors defined in this interface: none. Returns the most recent value set by SetMaxDeltaVersion, or zero if SetMaxDeltaVersion hasn't been called. A nonzero value means that the file has been updated by this transaction. errors defined in this interface: none. Sets the delta version to the MAX of increment and its existing value. errors defined in this interface: none. returns the uncommitted highWaterMark, for this transaction. Initialize value is LAST[PageCount]. errors defined in this interface: none. errors defined in this interface: none. errors defined in this interface: none. Enumeration. errors defined in this interface: none. handle = NIL starts a new enumeration, and nextHandle = NIL is returned when the enumeration is exhausted. The FileInstance list is assumed to not be being modified during this enumeration. When handle is non-NIL, not finding it is a fatal error. Hauser, March 7, 1985 2:51:46 pm PST Nodified, added copyright. Ê˜šœ™IcodešœB™B—šœ™Jšœ!™!Jšœ$™$K™$K™)—J˜J˜šÏk ˜ šœ˜Jšœ(˜-—šœ˜Jšœ.˜3J˜J˜——Jšœœœ˜$J˜Jš˜J˜J˜Jšœœ"˜.J˜J˜šÏnœ œ+˜>Jšœ8œ˜Q—Jšœ'™'Jšœï™ïJ˜Jšž œ œ˜'Jšœ'™'JšœŽ™ŽJ˜Jšžœ œ"˜