DisplayTableRec:
TYPE =
RECORD [
lastIndexUsed: INTEGER ← 0,
lastY: INTEGER ← 0,
objects: REF PageRectangleSequenceRec
];
PageRectangle:
TYPE =
MACHINE
DEPENDENT
RECORD [
-- 15 words
startPos: TiogaNode.Location, -- first offset in displayed rectangle
endPos: TiogaNode.Location, -- last offset in displayed rectangle
valid: BOOL ← TRUE, -- metrics valid for this rectangle
end: Break ← eon, -- reason for terminating rectangle
selectable: BOOL ← TRUE, -- can this entry be selected
allInclusive: BOOL ← TRUE, -- no data in span [startPos..endPos] outside of PageRectangle
filler: [0..2048) ← 0, -- unused bits
yOffset: INTEGER ← 0, -- displacement from top of parent (viewer for top level)
xOffset: INTEGER ← 0, -- displacement from left edge of parent (viewer for top level)
width: INTEGER ← 0, -- width of PageRectangle
height: INTEGER ← 0, -- height of PageRectangle
yBaseline: INTEGER ← 0, -- baseline displacement from top of PageRectangle
xBaseline: INTEGER ← 0 -- baseline displacement from left of PageRectangle
];