<> <> <> <<>> <> <> <> <> DIRECTORY DBStorageInternal USING[TID], DBIndex USING [Page, IndexKey, State]; DBIndexOp: CEDAR DEFINITIONS = { Page: TYPE = DBIndex.Page; State: TYPE = DBIndex.State; IndexKey: TYPE = DBIndex.IndexKey; OverFlow: PROC [p: Page, key: IndexKey] RETURNS [BOOLEAN]; EntrySize: PROC [p: Page, i: CARDINAL] RETURNS [CARDINAL]; <> SplitPage: PROC [p: Page, loc: CARDINAL, insertSize: INTEGER] RETURNS [splitLoc: CARDINAL, splitKey: IndexKey, overflow: Page]; SplitLeaf: PROC [p: Page, key: IndexKey, value: LONG CARDINAL] RETURNS [Page, IndexKey]; < pair. We allocate >> <> << at the same time.>> SplitInternal: PROC [p: Page, insertLoc: CARDINAL, key: IndexKey, value: LONG CARDINAL] RETURNS [Page, IndexKey]; InsertInInternalPage: PROC [ p: Page, i: CARDINAL, newPage: LONG CARDINAL, newKey: IndexKey] RETURNS [State, Page, IndexKey]; DeleteFromLeafPage: PROC [p: Page, key: IndexKey, tid: DBStorageInternal.TID] RETURNS [State, Page, IndexKey]; MergeInLeafPage: PROC [p: Page, son: Page, index: CARDINAL] RETURNS [State, Page, IndexKey]; ChangeKey: PROC[p: Page, newKey: IndexKey, index: CARDINAL] RETURNS[state: State, overflow: Page, key: IndexKey]; <> MoveScanIndexLeft: PUBLIC PROC [from, to: Page, nentries: CARDINAL]; <<"from" is to the right of "to">> <> MoveScanIndexRight: PUBLIC PROC [from, to: Page, after: CARDINAL]; <> <> <<"to" is empty>> DecrementScanIndex: PROC [page: Page, atOrAfter: CARDINAL]; <> <> IncrementScanIndex: PUBLIC PROC [ page: Page, atOrAfter: CARDINAL, howMuch: CARDINAL_ 1]; <> <> }. Change log since Sept 82: By Cattell September 22, 1982 9:20 am: Re-organized DBIndex interfaces for isolating page writes. Moved some procs from here to DBIndexMod. Changed by Willie-Sue on February 15, 1985 <>