<> <> DIRECTORY BTree USING [Tree], BTreeVM USING [CacheSize, FilePagesPerPage, Handle]; BTreeTestOps: CEDAR DEFINITIONS = BEGIN Operation: TYPE = {lookup, validate, insert, delete, replace}; UpdateOperation: TYPE = Operation[insert..replace]; KeyIndex: TYPE = CARDINAL; Create: PROCEDURE [cacheSize: BTreeVM.CacheSize _ 20, initialize: BOOLEAN _ TRUE, initialFileSize: INT _ 20, filePagesPerPage: BTreeVM.FilePagesPerPage _ 1, maxEntries: KeyIndex _ 10000] RETURNS [tree: BTree.Tree, storage: BTreeVM.Handle]; Destroy: PROCEDURE; PerformRandomOperation: PROCEDURE RETURNS [operation: Operation, key: KeyIndex]; GetEntryCount: PROCEDURE RETURNS [count: LONG CARDINAL]; END.