[ivy]<Satterthwaite>Mimosa>FileSegment.mesa!1

FileSegment.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Satterthwaite, 29-Oct-81 12:56:05
Rovner, May 13, 1983 2:38 pm
Russ Atkinson (RRA) January 31, 1985 1:08:41 pm PST
FileSegment: DEFINITIONS = {
Span: TYPE = RECORD[
base: NAT,-- base page (0 = leader, if present)
pages: NAT -- interval is [base .. base+pages)
];
nullSpan: Span = [0, 0];
Pages: TYPE = RECORD[
file: REF ANY,
span: Span
];
nullPages: Pages = [NIL, nullSpan];
voidPages: Pages = [NIL, [1, 0]];-- used as flag
}.