<> <> <> <> <> <> <> <> <> DIRECTORY AlpineEnvironment USING [LockOption], AlpTransaction USING [Handle], DBCommon, Rope USING [ROPE]; DBFile: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; AlpTrans: TYPE = AlpTransaction.Handle; VersionOptions: TYPE = DBCommon.VersionOptions; OpenFileHandle: TYPE = DBCommon.OpenFileHandle; <> CreateTransaction: PROC [server: ROPE] RETURNS [t: AlpTrans]; <> FinishTransaction: PROC [t: AlpTrans, abort: BOOL, continue: BOOL]; <> <> PagesFromBytes: PROC [bytes: INT] RETURNS [pages: CARDINAL]; BytesFromPages: PUBLIC PROC [pages: CARDINAL] RETURNS [bytes: INT]; OpenFile: PROC [t: AlpTrans, file: ROPE, version: VersionOptions, discardFileContents: BOOL, nPagesInitial: INT, lock: AlpineEnvironment.LockOption, readOnly: BOOL] RETURNS [f: OpenFileHandle, createdFile: BOOL]; <> Close: PROC [f: OpenFileHandle]; ReadFilePage: PROC [f: OpenFileHandle, p: CARDINAL, corePage: LONG POINTER]; <> <> WriteFilePage: PROC [f: OpenFileHandle, p: CARDINAL, corePage: LONG POINTER]; <> GetSize: PROC [f: OpenFileHandle] RETURNS [nPages: CARDINAL]; <> SetSize: PROC [f: OpenFileHandle, nPages: CARDINAL]; <> END.