InternalTable.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Satterthwaite, June 3, 1986 2:58:45 pm PDT
Russ Atkinson (RRA) January 31, 1985 11:01:37 am PST
Doug Wyatt, February 27, 1985 9:11:33 am PST
Table: DEFINITIONS = {
Base: TYPE = LONG ORDERED BASE POINTER;
Finger: TYPE = POINTER TO Base;
Index: TYPE = Base RELATIVE LONG POINTER;
OrderedIndex: TYPE = Base RELATIVE LONG ORDERED POINTER;
representation of tagged pointers (for D-machines)
Tag: TYPE = [0..0FFH];
HighBits: TYPE = [0..WORD.LAST/(Tag.LAST+1)];
LowBits: TYPE = WORD;
IndexRep:
TYPE =
MACHINE
DEPENDENT
RECORD[
-- for D-machines
tag (1:0..7): Tag←,
highBits (1:8..15): HighBits←HighBits.LAST, -- defaults for distinguishing Index.LAST
lowBits (0:0..15): LowBits←LowBits.LAST];
IPointer: TYPE = LONG POINTER;
Selector: TYPE = NAT;
chunkType: Selector = Selector.FIRST;
}.