file FileSegment.mesa
last modified by Satterthwaite, 29-Oct-81 12:56:05
last modified by Paul Rovner, May 13, 1983 2:38 pm
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
}.