<> <> <> <> <> <> <> DIRECTORY DBCommon USING [DBPage, NullDBPage, softwareCompatibilityVersion, systemIndexCount, TID], DBStoragePage USING[Free, AMap]; DBSegmentPrivate: CEDAR DEFINITIONS = BEGIN DBPage: TYPE = DBCommon.DBPage; NullDBPage: DBPage = DBCommon.NullDBPage; TID: TYPE = DBCommon.TID; StrBody: TYPE = MACHINE DEPENDENT RECORD [ length: CARDINAL _ 0, maxLength: CARDINAL _ StrMaxLength, text: PACKED ARRAY [0..StrMaxLength) OF CHAR _ TRASH]; StrMaxLength: CARDINAL = 64; <> <> <> <> <> SegmentHeadPage: TYPE = MACHINE DEPENDENT RECORD[ tag: [0..377B] _ DBStoragePage.AMap, <> unused: [0..377B] _ 0, <> softwareCompatibilityVersion: CARDINAL _ DBCommon.softwareCompatibilityVersion, <> seal: LONG CARDINAL _ Seal, name: StrBody _ [], segmentID: DBPage, <

> allocator: RECORD [ firstPageInBlock: DBPage, <> <> nPagesInBlock: CARDINAL, <> pagesPerExtent: CARDINAL, <> freeList: DBPage _ NullDBPage <> <> ], schemaVersionStamp: INT _ TRASH, <> systemIndices: ARRAY [0..DBCommon.systemIndexCount) OF TID <> ]; Seal: LONG CARDINAL = 16177213452B; --exp(gamma) <> FreeListPage: TYPE = MACHINE DEPENDENT RECORD[ tag: [0..377B] _ DBStoragePage.Free, <> unused: [0..377B] _ 0, next: DBCommon.DBPage, <> nPagesInBlock: CARDINAL _ 1 <> ]; -- FreeListPage END. -- DBSegmentPrivate