<> <> <> <> <> <> <> <> <> DIRECTORY AlpineEnvironment USING [LockOption], DBCommon, Rope USING [ROPE, Text]; DBFileAlpine: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; VersionOptions: TYPE = DBCommon.VersionOptions; AlpineTrans: TYPE = REF; AlpineOpenFileHandle: TYPE = REF; <> CreateTransaction: PROC [server: ROPE] RETURNS [t: AlpineTrans]; FinishTransaction: PROC [t: AlpineTrans, abort: BOOL, continue: BOOL]; <> VersionNumberFromOpenFile: PROC[f: AlpineOpenFileHandle] RETURNS[versionNumber: INT]; <> OpenFile: PROC [t: AlpineTrans, file: Rope.Text, version: VersionOptions, discardFileContents: BOOL, nPagesInitial: INT, lock: AlpineEnvironment.LockOption, readOnly: BOOL] RETURNS [f: AlpineOpenFileHandle, createdFile: BOOL]; Close: PROC[f: AlpineOpenFileHandle]; ReadFilePage: PROC [f: AlpineOpenFileHandle, p: CARDINAL, corePage: LONG POINTER]; WriteFilePage: PROC [f: AlpineOpenFileHandle, p: CARDINAL, corePage: LONG POINTER]; GetSize: PROC [f: AlpineOpenFileHandle] RETURNS [nPages: CARDINAL]; SetSize: PROC [f: AlpineOpenFileHandle, nPages: CARDINAL]; END.