Copyright © 1985 by Xerox Corporation. All rights reserved.

Taft, December 7, 1983 11:56 am

Russ Atkinson (RRA) March 11, 1985 10:35:44 pm PST

BTree USING [Tree],

BTreeVM USING [CacheSize, FilePagesPerPage, Handle];

Operation: TYPE = {lookup, validate, insert, delete, replace};

UpdateOperation: TYPE = Operation[insert..replace];

KeyIndex: TYPE = CARDINAL;

Create: PROC [cacheSize: BTreeVM.CacheSize ← 20, initialize: BOOL ← TRUE, initialFileSize: INT ← 20, filePagesPerPage: BTreeVM.FilePagesPerPage ← 1, maxEntries: KeyIndex ← 10000] RETURNS [tree: BTree.Tree, storage: BTreeVM.Handle];

Destroy: PROC;

PerformRandomOperation: PROC RETURNS [operation: Operation, key: KeyIndex];

GetEntryCount: PROC RETURNS [count: LONG CARDINAL];

END.