DIRECTORY IO: TYPE USING [STREAM], ParseTable: TYPE USING [ActionEntry, ProdDataRef, State, TableRef, TSymbol], Rope: TYPE USING [ROPE]; P1: DEFINITIONS={ OPEN ParseTable; ValueStack: TYPE~LONG POINTER TO P1.ValueSeq; StateStack: TYPE~LONG POINTER TO StateSeq; LinkStack: TYPE~LONG POINTER TO LinkSeq; ActionStack: TYPE~LONG POINTER TO ActionSeq; Value: TYPE~RECORD [ -- type of the value stack SELECT OVERLAID * FROM scalar => [s: UNSPECIFIED], ref => [r: UNSPECIFIED] ENDCASE]; nullValue: P1.Value~[scalar[0]]; nullId: P1.Value~[ref[0]]; ValueSeq: TYPE~RECORD [SEQUENCE length: NAT OF P1.Value]; StateSeq: TYPE~RECORD [SEQUENCE length: NAT OF State]; LinkSeq: TYPE~RECORD [SEQUENCE length: NAT OF CARDINAL]; -- links to source text ActionSeq: TYPE~RECORD [SEQUENCE length: NAT OF ActionEntry]; Token: TYPE~RECORD [ class: TSymbol, -- the token class value: P1.Value, index: CARDINAL]; -- source line index Atom: PROC RETURNS [Token]; ErrorContext: PROC [to: IO.STREAM, message: Rope.ROPE, tokenIndex: CARDINAL]; InstallScanTable: PROC [ParseTable.TableRef]; ResetScanIndex: PROC [CARDINAL] RETURNS [success: BOOL]; ScanInit: PROC [ source: IO.STREAM, logger: PROC [PROC [log: IO.STREAM]]]; ScanReset: PROC RETURNS [nTokens, nErrors: CARDINAL]; InputLoc: PROC RETURNS [CARDINAL]; InstallParseTable: PROC [ParseTable.TableRef]; Parse: PROC [ source: IO.STREAM, logger: PROC [PROC [log: IO.STREAM]]] RETURNS [complete: BOOL, nTokens, nErrors: CARDINAL]; ParserID: PROC RETURNS [Rope.ROPE]; AssignDescriptors: PROC [ qd: P1.ActionStack, vd: P1.ValueStack, ld: P1.LinkStack, pp: ParseTable.ProdDataRef]; ProcessQueue: PROC [qI, top: CARDINAL]; TokenValue: PROC [TSymbol] RETURNS [P1.Value]; }. zfile ProtoP1.mesa Last edited by Satterthwaite on January 10, 1983 2:36 pm Last Edited by: Maxwell, August 3, 1983 11:33 am Last Edited by: Paul Rovner, September 22, 1983 10:37 pm pointer types record structures (LONG does not occur past this point) implemented by scanner (see ProtoScanner.mesa) implemented by parser (see ProtoParser.mesa) implemented by interpreter Ęi˜Jšœ™Jšœ8™8J™0J™8J™šĎk ˜ Jšœœœœ˜Jšœ œœ6˜LJšœœœœ˜J˜—šœ œ˜Jšœ ˜J˜Jšœ ™ ˜Jš œ œœœœ˜.Jš œ œœœœ ˜*Jš œ œœœœ ˜(Jš œ œœœœ ˜,J˜—Jšœ7™7˜šœœœĎc˜/šœœ˜Jšœ œ˜Jšœ  œ˜Jšœ˜ J˜——J˜ J˜J˜Jš œ œœœ œœ ˜9J˜Jš œ œœœ œœ˜6Jšœ œœœ œœœž˜PJš œ œœœ œœ˜=J˜J˜šœœœ˜Jšœž˜#J˜Jšœœž˜'J˜——šœ.™.JšĎnœœœ ˜Jš Ÿ œœœœœœ˜MJšŸœœ˜-Jš Ÿœœœœ œ˜8šŸœœ˜Jšœœœ˜Jš œœœœœ˜&—JšŸ œœœœ˜5J˜—šœ,™,JšŸœœœœ˜"JšŸœœ˜.šŸœœ˜ Jšœœœ˜Jš œœœœœ˜%Jšœ œœ˜5—JšŸœœœœ˜#J˜—šœ™šŸœœ˜J˜U—JšŸ œœ œ˜'JšŸ œœ œ ˜.J˜J˜J˜———…—Ž ‘