Link:
TYPE~
RECORD [
SELECT tag: *
FROM
subtree => [index: Tree.Index],
hash => [index: Symbols.HTIndex],
symbol => [index: Symbols.STIndex],
literal => [index: LitIndex]
ENDCASE];
Node:
TYPE~
MACHINE
DEPENDENT
RECORD [
free (0: 0..0): BOOL, -- reserved for allocator
name (0: 1..4): NodeName,
attrs (0: 5..7): PACKED ARRAY AttrId OF BOOL ← ALL[FALSE],
shared (0: 8..8): BOOL,
nSons (0: 9..15): [0..maxNSons],
info (1): Tree.Info,
son (2): ARRAY [1..1) OF Tree.Link];
Info: TYPE~CARDINAL;
AttrId: TYPE~{codeLinks, explicitLinkLoc, exportsALL};
maxNSons: CARDINAL~177b;
Index: TYPE~Base RELATIVE POINTER[0..Limit) TO Tree.Node;
nullIndex: Tree.Index~Tree.Index.FIRST;
null: Tree.Link~[subtree[index~Tree.nullIndex]];
nullId: Tree.Link~[hash[index~Symbols.htNull]];
NodeName:
TYPE~{
general tree constructors
list, item,
declarations
source,
config,
expressions
module,
assign,
plus,
then,
Id: TYPE~RECORD [baseP: Finger, link: Tree.Link];
Scan: TYPE~PROC [t: Tree.Link];
Map: TYPE~PROC [t: Tree.Link] RETURNS [v: Tree.Link];
Test: TYPE~PROC [t: Tree.Link] RETURNS [BOOL];
}.