<> <> <> <<>> DIRECTORY ParseTable: TYPE USING [ActionEntry, ProdDataRef, State, TableRef, TSymbol], IO: TYPE USING [STREAM], Rope: TYPE USING [ROPE], Symbols: TYPE USING [Name]; 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 <> IdOfFirst: PROC RETURNS [Symbols.Name]; IdOfLock: PROC RETURNS [Symbols.Name]; IdOfRest: PROC RETURNS [Symbols.Name]; <> 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, scratchZone: UNCOUNTED ZONE, logger: PROC [PROC [log: IO.STREAM]]]; ScanReset: PROC RETURNS [nTokens, nErrors: CARDINAL]; <> InstallParseTable: PROC [ParseTable.TableRef]; Parse: PROC [ source: IO.STREAM, scratchZone: UNCOUNTED ZONE, logger: PROC [PROC [log: IO.STREAM]]] RETURNS [complete: BOOL, nTokens, nErrors: CARDINAL]; ParserID: PROC RETURNS [Rope.ROPE]; InputLoc: PROC RETURNS [CARDINAL]; <> 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]; }.