
    <<Pass3.mesa>>
        <<Copyright © 1985 by Xerox Corporation.  All rights reserved.>>
        <<Satterthwaite, April 16, 1986 3:12:12 pm PST>>
        <<Paul Rovner, September 7, 1983 4:12 pm>>
        <<Russ Atkinson (RRA) March 6, 1985 10:18:28 pm PST>>

    DIRECTORY
        A3: TYPE USING [TreeNotify, TypeNotify],
        Alloc: TYPE USING [Notifier, AddNotify, DropNotify],
        ComData: TYPE USING [importCtx, moduleCtx, monitored, outerCtx, stopping, switches, table, textIndex],
        CompilerUtil: TYPE USING [],
        Copier: TYPE USING [CopierInit, CopierReset, FileProblem, FileVersion, FileVersionMix, TableRelocated],
        Log: TYPE USING [ErrorHti, WarningTree],
        P3: TYPE USING [DeclNotify, MiscNotify, StmtNotify, VRNotify, ExpANotify, ExpBNotify, ExpCNotify, ExpInit, ExpReset, IdInit, 
        IdReset, BodyList, DeclList, Header, PopCtx, PushCtx],
        SourceMap: TYPE USING [Loc],
        SymLiteralOps: TYPE USING [Reset],
        Symbols: TYPE USING [CSEIndex, CSENull, RootBti],
        Tree: TYPE USING [Base, Link, Index, NullIndex, treeType],
        TreeOps: TYPE USING [GetNode];

    Pass3: PROGRAM
        IMPORTS A3, Alloc, Copier, Log, P3, SymLiteralOps, TreeOps, dataPtr: ComData
        EXPORTS CompilerUtil = {
        OPEN TreeOps;

        tb: Tree.Base;    -- tree base (local copy)

        Pass3Notify: Alloc.Notifier = {
            tb _ base[Tree.treeType];
            A3.TreeNotify[base];  A3.TypeNotify[base];
            P3.DeclNotify[base];  P3.MiscNotify[base];  P3.StmtNotify[base];  P3.VRNotify[base];
            P3.ExpANotify[base];  P3.ExpBNotify[base];  P3.ExpCNotify[base]};


        lockNode: PUBLIC Tree.Index;        -- lambda expr for monitor lock

        checkedANY: PUBLIC Symbols.CSEIndex;    -- typeANY in CHECKED code

        <<overall control>>

        P3Unit: PUBLIC PROC[unit: Tree.Link] RETURNS[Tree.Link] = {
            node: Tree.Index;
            saveIndex: SourceMap.Loc = dataPtr.textIndex;
            (dataPtr.table).AddNotify[Pass3Notify];
            checkedANY _ Symbols.CSENull;
            node _ GetNode[unit];
            dataPtr.textIndex _ tb[node].info;
            Copier.CopierInit[ownTable: dataPtr.table, symbolCachePages: 256];
            P3.IdInit[];  P3.ExpInit[];
                BEGIN
                ENABLE {
                    Copier.FileProblem => {Log.ErrorHti[fileName, hti]; RESUME [TRUE]};
                    Copier.FileVersion => {Log.ErrorHti[fileWrong, hti]; RESUME [TRUE]};
                    Copier.FileVersionMix => {
                        Log.WarningTree[fileVersion, [hash[index: hti]]]; RESUME};
                    Copier.TableRelocated => {RESUME}};
                dataPtr.stopping _ FALSE;
                P3.Header[node];
                P3.PushCtx[dataPtr.outerCtx];  P3.PushCtx[dataPtr.moduleCtx];
                P3.PushCtx[dataPtr.importCtx];
                lockNode _ IF ~dataPtr.monitored THEN Tree.NullIndex ELSE GetNode[tb[node].son[5]];
                P3.DeclList[tb[node].son[6]];
                P3.BodyList[Symbols.RootBti];
                P3.PopCtx[];    -- import context
                P3.PopCtx[];  P3.PopCtx[];
                P3.IdReset[tb[node].son[1]];  P3.ExpReset[];
                END;
            Copier.CopierReset[];  SymLiteralOps.Reset[pad: ~dataPtr.switches['s]];
            (dataPtr.table).DropNotify[Pass3Notify];
            dataPtr.textIndex _ saveIndex;
            RETURN[unit]};

        }.