DIRECTORYA3: TYPE USING [AccessMode, CanonicalType, LhsMode, LifeTime],Alloc: TYPE USING [Notifier],ComData: TYPE USING [typeINT, typeSTRING],P3: TYPE USING [phraseNP, RecordLhs, SetNP],P3S: TYPE USING [currentBody],Symbols: TYPE USING [Base, SEIndex, ISEIndex, CSEIndex, ContextLevel, CTXIndex, CBTIndex,CSENull, CTXNull, CBTNull, lG, lZ, typeANY, bodyType, ctxType, seType],SymbolOps: TYPE USING [UnderType, XferMode],Tree: TYPE USING [Base, Index, Link, NullIndex, treeType],TreeOps: TYPE USING [GetInfo, ListLength, NthSon, OpName];Attr3b: PROGRAMIMPORTSA3, P3, P3S, SymbolOps, TreeOps,dataPtr: ComDataEXPORTS A3 = {OPEN SymbolOps, Symbols, TreeOps, A: A3;tb: Tree.Base;	-- tree base address (local copy)seb: Base;	-- se table base address (local copy)ctxb: Base;	-- context table base address (local copy)bb: Base;	-- body table base address (local copy)TreeNotify: PUBLIC Alloc.Notifier = {seb _ base[seType];  ctxb _ base[ctxType];bb _ base[bodyType];tb _ base[Tree.treeType]};TypeForTree: PUBLIC PROC [t: Tree.Link] RETURNS [SEIndex] = {RETURN [WITH t SELECT FROMsymbol => index,subtree =>SELECT tb[index].name FROMcdot, discrimTC => TypeForTree[tb[index].son[2]],ENDCASE => tb[index].info,ENDCASE => typeANY]};InterfaceVar: PROC [t: Tree.Link] RETURNS [BOOL] = INLINE {RETURN [WITH t SELECT FROMsymbol => (ctxb[seb[index].idCtx].ctxType = imported),ENDCASE => FALSE]};WritableRef: PROC [t: Tree.Link] RETURNS [A.LhsMode] = {P3.phraseNP _ P3.SetNP[P3.phraseNP];RETURN [A.AccessMode[A.CanonicalType[OperandType[t]]]]};VarLhsMode: ARRAY A.LhsMode OF A.LhsMode = [none: $none, uncounted: $counted, counted: $counted];OperandLhs: PUBLIC PROC [t: Tree.Link] RETURNS [A.LhsMode] = {WITH t SELECT FROMsymbol => {sei: ISEIndex = index;ctx: CTXIndex = seb[sei].idCtx;level: ContextLevel;IF ctx = CTXNull THEN level _ lZELSE {ctxb[ctx].varUpdated _ TRUE;IF (level _ ctxb[ctx].level) < P3S.currentBody.level THENP3.phraseNP _ P3.SetNP[P3.phraseNP]};P3.RecordLhs[sei];RETURN [SELECT TRUE FROMseb[sei].immutable => $none,(level = lG) => $counted,ENDCASE => $uncounted]};subtree => {node: Tree.Index = index;RETURN [IF node = Tree.NullIndex THEN $none ELSESELECT tb[node].name FROM$dot =>WITH tb[node].son[2] SELECT FROMsymbol =>SELECT TRUE FROMseb[index].immutable => $none,(ctxb[seb[index].idCtx].level = lG) =>VarLhsMode[WritableRef[tb[node].son[1]]],ENDCASE => WritableRef[tb[node].son[1]],ENDCASE => none,$uparrow =>IF InterfaceVar[tb[node].son[1]]THEN VarLhsMode[WritableRef[tb[node].son[1]]]ELSE WritableRef[tb[node].son[1]],$dindex => WritableRef[tb[node].son[1]],$reloc => WritableRef[tb[node].son[2]],$dollar =>WITH tb[node].son[2] SELECT FROMsymbol =>IF ~seb[index].immutableTHEN OperandLhs[tb[node].son[1]]ELSE $none,ENDCASE => $none,$index, $seqindex, $loophole, $cast, $openx, $pad, $chop =>OperandLhs[tb[node].son[1]],$cdot => OperandLhs[tb[node].son[2]],$apply => IF ListLength[tb[node].son[1]] = 1 THEN $uncounted ELSE $none,ENDCASE => $none]};ENDCASE => RETURN [$none]};OperandInline: PUBLIC PROC [t: Tree.Link] RETURNS [BOOL] = {bti: CBTIndex;RETURN [SELECT XferMode[OperandType[t]] FROM$proc => (bti_BodyForTree[t]) # CBTNull AND bb[bti].inline,ENDCASE => FALSE]};OperandLevel: PUBLIC PROC [t: Tree.Link] RETURNS [level: A.LifeTime] = {SELECT OpName[t] FROM$cdot, $nil => level _ $global;ENDCASE => {bti: CBTIndex = BodyForTree[t];level _ SELECT TRUE FROM(bti = CBTNull) => $unknown,(bb[bti].level <= lG+1) => $global,ENDCASE => $local};RETURN};OperandInternal: PUBLIC PROC [t: Tree.Link] RETURNS [BOOL] = {WITH t SELECT FROMsymbol => {bti: CBTIndex = BodyForTree[t];RETURN [bti # CBTNull AND bb[bti].internal]};subtree =>RETURN [SELECT OpName[t] FROM$dot, $cdot, $assignx => OperandInternal[NthSon[t, 2]],$ifx => OperandInternal[NthSon[t, 2]] OR OperandInternal[NthSon[t, 3]],ENDCASE => FALSE];	-- should check casex, bindx alsoENDCASE => RETURN [FALSE]};OperandType: PUBLIC PROC [t: Tree.Link] RETURNS [CSEIndex] = {RETURN [WITH e:t SELECT FROMsymbol => UnderType[seb[e.index].idType],literal =>WITH e.index SELECT FROMstring => dataPtr.typeSTRING,ENDCASE => dataPtr.typeINT,subtree => tb[e.index].info,ENDCASE => CSENull]};LongPath: PUBLIC PROC [t: Tree.Link] RETURNS [long: BOOL] = {WITH t SELECT FROMsubtree => {node: Tree.Index = index;long _ IF node = Tree.NullIndexTHEN FALSEELSE SELECT tb[node].name FROM$loophole, $cast, $openx, $pad, $chop => LongPath[tb[node].son[1]],-- $dot, $uparrow, $dindex, $reloc, $seqindex, $dollar, $index => --ENDCASE => tb[node].attr2};ENDCASE => long _ FALSE;RETURN};BodyForTree: PUBLIC PROC [t: Tree.Link] RETURNS [CBTIndex] = {node: Tree.Index;WITH t SELECT FROMsymbol => {sei: ISEIndex = index;SELECT TRUE FROMseb[sei].mark4 =>RETURN [IF seb[sei].constant THEN seb[sei].idInfo ELSE CBTNull]; seb[sei].immutable => {node _ seb[sei].idValue;IF OpName[tb[node].son[3]] = $body THEN RETURN [GetInfo[tb[node].son[3]]]};ENDCASE};subtree => {node _ index;SELECT tb[node].name FROM$cdot, $dot, $dollar => RETURN [BodyForTree[tb[node].son[2]]];ENDCASE};ENDCASE;RETURN [CBTNull]};}.     file Attr3b.mesalast modified by Satterthwaite, January 10, 1983 9:57 amlast modified by Donahue, 10-Dec-81 11:23:00called by allocator whenever table area is repackedtree manipulation utilitiesN.B. assumes t evaluated by P3.TypeLink or P3.Exp Э╩е  Ш JЪЬЩJЪЬ8Щ8JЪЬ,Щ,JШ Ъ╧k	Ш	JЪЬЭЬЭЬ0Ш>JЪЬЭЬЭЬШJЪЬ	ЭЬЭЬШ*JЪЬЭЬЭЬШ,JЪЬЭЬЭЬШЪЬ	ЭЬЭЬШJШDJШGЧJЪЬЭЬЭЬШ,JЪЬЭЬЭЬ*Ш:JЪЬ	ЭЬЭЬ'Ш:JШ ЧЪЬЭШЪЭШJШ JШЧJЪЭЬШJЪЭЬЭЬШ(JШ JЪЬ╧c!Ш0JЪЬЮ%Ш0JЪЬЮ*Ш6JЪЬ
Ю'Ш1JШ ЪЬЭЬШ%JЪЬ3Щ3JШ*JШJШJШ JШ ЧJЪЬЩШ Ъ╧nЬЭЬЭЬЭЬШ=JЪЬ1Щ1ЪЭЬЭЬЭЬЭШJШШ
ЪЭЬЭШJШ1JЪЭЬШЧЧJЪЭЬШJШ JШ ЧЧЪ
ЯЬЭЬЭЬЭЬЭЬШ;ЪЭЬЭЬЭЬЭШJШ6JЪЭЬЭЬШJШ ЧЧЪЯЬЭЬЭЬЭЬШ8JШ$JЪЭЬЭЬЭЬ"Ш8JШ ЧЪ	ЬЭЬЭЬ	ЭЬЭЬШ,JШ5JШ ЧЪ
Я
ЬЭЬЭЬЭЬЭЬШ>ЪЭЬЭЬЭШШJШJШJШJЪЭЬЭЬШ ЪЭЬШJЪЬЭЬШЪЭЬ3ЭШ9JШ%ЧЧJШЪЭЬЭЬЭЬЭШJШJШJЪЭЬШЧЧШJШЪЭЬЭЬЭЬЭШ0ЪЭЬЭШШЪЭЬЭЬЭШ Ш	ЪЭЬЭЬЭШJШШ&JШ)ЧJЪЭЬ!Ш(ЧЧJЪЭЬ	ШЧЧШЪЭЬШ JЪЭЬ)Ш-JЪЭЬШ"ЧЧJШ(JШ'Ш
ЪЭЬЭЬЭШ Ш	ЪЭЬШJЪЭЬШ JЪЭЬШЧЧJЪЭЬ
ШЧЧШ;JШЧJШ%JЪЬ
ЭЬ!ЭЬЭЬШHJЪЭЬШЧЧЧJЪЭЬЭЬ
ШJШ ЧЧЪ
ЯЬЭЬЭЬЭЬЭЬШ<JШЪЭЬЭЬЭШ,JЪЬ(ЭЬШ;JЪЭЬЭЬШJШ ЧЧЪ
ЯЬЭЬЭЬЭЬ	ЭЬШHЪЭЬЭШJШЪЭЬШJШЪЬЭЬЭЬЭШJШJШ#JЪЭЬШЧЧЧJЪЭЬШJШ ЧЪ
ЯЬЭЬЭЬЭЬЭЬШ>ЪЭЬЭЬЭШШJШJЪЭЬЭЬШ-ЧШ
ЪЭЬЭЬЭШJШ7JЪЬ&ЭЬШGJЪЭЬЭЬЮ!Ш4ЧЧJЪЭЬЭЬЭЬШJШ JШ ЧЧЪЯЬЭЬЭЬЭЬШ>ЪЭЬЭЬЭЬЭШJШ)Ш
ЪЭЬ	ЭЬЭШJШJЪЭЬШЧЧJШJЪЭЬШJШ JШ ЧЧЪ
ЯЬЭЬЭЬЭЬЭЬШ=ЪЭЬЭЬЭШШJШЪЬЭЬШJЪЭЬЭШ
ЪЭЬЭЬЭШJШCJЪЮDШDJЪЭЬШЧЧЧJЪЭЬЭЬШЧJЪЭЬШJШ JШ ЧЪЯЬЭЬЭЬЭЬШ>JШЪЭЬЭЬЭШШJШЪЭЬЭЬЭШШJЪЭЬЭЬЭЬЭЬШAЧШJШJЪЭЬ!ЭЬЭЬШKЧJЪЭЬШ	ЧЧШJШЪЭЬЭШJЪЬЭЬ Ш>JЪЭЬШ	ЧЧJЪЭЬШЧJЪЭЬШJШ ЧJШJШ JШ ЧЧЧ ЕЧ    \    