-- file BcdTreeBuild.mesa rewritten by PGS, May 27, 1986 5:29:39 pm PDT
-- file BcdTreeBuild.pgs
-- DO NOT CONVERT TO TIOGA! (PGS requires that comments be mesa-style.)
-- last edited by Satterthwaite on March 14, 1986 11:22:21 am PST
-- last edited by Lewis on 12-Mar-81 18:04:07
-- last edited by Maxwell on August 11, 1983 3:36 pm
-- pgs [defs: BcdParseTable, grammar: CMesa] ← BcdTreeBuild.pgs
DIRECTORY
P1: TYPE USING [
ActionStack, Index, LinkStack, Value, ValueStack, InputLoc, nullId, nullValue],
ParseTable: TYPE USING [ProdDataRef, Symbol, tokenID],
Tree: TYPE USING [Link, null],
TreeOps: TYPE USING [
PopTree, PushTree, PushHash, PushList, PushNode, SetAttr, SetInfo];
BcdTreeBuild: PROGRAM
IMPORTS P1, TreeOps
EXPORTS P1 = {
OPEN TreeOps;
-- local data base (supplied by parser)
v: P1.ValueStack;
l: P1.LinkStack;
q: P1.ActionStack;
proddata: ParseTable.ProdDataRef;
AssignDescriptors: PUBLIC PROC[
qd: P1.ActionStack, vd: P1.ValueStack, ld: P1.LinkStack, pp: ParseTable.ProdDataRef] ~ {
q ← qd; v ← vd; l ← ld; proddata ← pp};
-- the interpretation rules
LinkToSource: PROC[index: P1.Index] ~ INLINE {SetInfo[l[index]]};
exportsALL: BOOL;
LinkSpec: TYPE ~ {frame, defaultFrame, code, defaultCode};
CodeLinks: TYPE ~ LinkSpec[$code .. $defaultCode];
DefaultLinks: ARRAY LinkSpec OF LinkSpec ~ [
$defaultFrame, $defaultFrame, $defaultCode, $defaultCode];
linkSpec: LinkSpec;
SetLinkAttrs: PROC ~ {
SetAttr[$codeLinks, (linkSpec IN CodeLinks)];
SetAttr[$explicitLinkLoc, (linkSpec # DefaultLinks[linkSpec])]};
ProcessQueue: PUBLIC PROC[qI, top: CARDINAL] ~ {
save: Tree.Link;
vTop: P1.Value;
FOR i: CARDINAL IN [0 .. qI) DO
top ← top-q[i].tag.pLength+1; vTop ← v[top];
SELECT proddata[q[i].transition].rule FROM
0 => --
--TABLE: BcdParseData TYPE: ParseTable EXPORTS: SELF
--GOAL: goal
--TERMINALS:
-- id str , ;
-- : ← = ~
-- ] [ } { .
-- DIRECTORY FROM PACK CONFIGURATION CONFIG
-- IMPORTS EXPORTS CONTROL BEGIN
-- END PLUS THEN LINKS
-- CODE FRAME ALL
--ALIASES:
-- id tokenID
-- str tokenSTR
-- . initialSymbol
-- PRODUCTIONS:
-- goal ::= . source
NULL;
1 => -- source ::= directory packing init config .
{PushNode[$source,3]; LinkToSource[top]};
2 => -- directory ::= DIRECTORY includelist ;
PushList[v[top+1].s];
3 => -- includeitem ::= id : FROM str
{
PushHash[v[top].r]; PushHash[v[top+3].r]; PushNode[$item,2];
LinkToSource[top];
};
4 => -- packing ::= packlist ;
PushList[v[top].s];
5 => -- packlist ::= PACK idlist
{PushList[v[top+1].s]; LinkToSource[top]; vTop ← [scalar[1]]};
6 => -- packlist ::= packlist ; PACK idlist
{PushList[v[top+3].s]; LinkToSource[top]; vTop ← [scalar[v[top].s+1]]};
7 => -- init ::=
{linkSpec ← $defaultFrame; exportsALL ← FALSE};
8 => -- config ::= id : CONFIG links imports exports control tilde body
-- config ::= id : CONFIGURATION links imports exports control tilde body
{
save ← PopTree[];
PushHash[v[top].r]; PushTree[save]; PushNode[$config,5];
SetAttr[$exportsALL, exportsALL]; LinkToSource[top];
linkSpec ← v[top+3].s; exportsALL ← v[top+5].s; -- restore old values
};
9 => -- links ::=
{vTop ← [scalar[linkSpec]]; linkSpec ← DefaultLinks[linkSpec]};
10 => -- links ::= LINKS : CODE
{vTop ← [scalar[linkSpec]]; linkSpec ← $code};
11 => -- links ::= LINKS : FRAME
{vTop ← [scalar[linkSpec]]; linkSpec ← $frame};
12 => -- imports ::= IMPORTS itemlist
-- body ::= BEGIN statementlist END
-- body ::= { statementlist }
-- leftside ::= [ itemlist ]
PushList[v[top+1].s];
13 => -- control ::= CONTROL idlist
PushList[v[top+1].s];
14 => -- statement ::= leftside ← module
{PushNode[$assign,2]; LinkToSource[top]};
15 => -- statement ::= leftside ← interface
{PushNode[$assign,2]; LinkToSource[top]};
16 => -- statement ::= item links
{
SetLinkAttrs[];
PushTree[Tree.null]; PushNode[$module,2];
SetLinkAttrs[]; LinkToSource[top];
linkSpec ← v[top+1].s;
};
17 => -- module ::= item [ ] links
{
SetLinkAttrs[];
PushTree[Tree.null]; PushNode[$module,2];
SetLinkAttrs[]; LinkToSource[top];
linkSpec ← v[top+3].s;
};
18 => -- module ::= item [ idlist ] links
{
PushList[v[top+2].s]; save ← PopTree[];
SetLinkAttrs[];
PushTree[save]; PushNode[$module,2];
SetLinkAttrs[]; LinkToSource[top];
linkSpec ← v[top+4].s;
};
19 => -- interface ::= id
PushHash[v[top].r];
20 => -- interface ::= interface THEN id
{PushHash[v[top+2].r]; PushNode[$then,2]; LinkToSource[top]};
21 => -- interface ::= interface PLUS id
{PushHash[v[top+2].r]; PushNode[$plus,2]; LinkToSource[top]};
22 => -- item ::= id
{
PushHash[v[top].r]; PushTree[Tree.null]; PushNode[$item,2];
LinkToSource[top];
};
23 => -- item ::= id : id
{
PushHash[v[top].r]; PushHash[v[top+2].r]; PushNode[$item,2];
LinkToSource[top];
};
24 => -- idlist ::= id
{PushHash[v[top].r]; vTop ← [scalar[1]]};
25 => -- idlist ::= idlist , id
{PushHash[v[top+2].r]; vTop ← [scalar[v[top].s+1]]};
26 => -- tilde ::= ~
-- tilde ::= =
-- statementlist ::= statementlist ;
-- statement ::= module
-- statement ::= config
-- leftside ::= item
NULL;
27 => -- imports ::=
-- control ::=
-- directory ::=
-- packing ::=
{PushTree[Tree.null]; l[top] ← P1.InputLoc[]};
28 => -- includelist ::= includeitem
-- statementlist ::= statement
-- itemlist ::= item
vTop ← [scalar[1]];
29 => -- includelist ::= includelist , includeitem
-- statementlist ::= statementlist ; statement
-- itemlist ::= itemlist , item
vTop ← [scalar[v[top].s+1]];
30 => -- exports ::= EXPORTS expinit exportlist
{vTop ← v[top+1]; PushList[v[top+2].s]};
31 => -- exports ::=
{PushTree[Tree.null]; l[top] ← P1.InputLoc[]; vTop ← [scalar[exportsALL]]};
32 => -- expinit ::=
{vTop ← [scalar[exportsALL]]; exportsALL ← FALSE};
33 => -- exportlist ::= item
vTop ← [scalar[1]];
34 => -- exportlist ::= ALL
{exportsALL ← TRUE; vTop ← [scalar[0]]};
35 => -- exportlist ::= exportlist , item
vTop ← [scalar[v[top].s+1]];
36 => -- exportlist ::= exportlist , ALL
{exportsALL ← TRUE; vTop ← v[top]};
ENDCASE => ERROR;
v[top] ← vTop;
ENDLOOP};
TokenValue: PUBLIC PROC[s: ParseTable.Symbol] RETURNS[P1.Value] ~ {
RETURN [SELECT s FROM
ParseTable.tokenID => P1.nullId,
ENDCASE => P1.nullValue]
};
}.