<<>> <> <> <> <> <> <> <> <<>> DIRECTORY IO USING [STREAM], NPGSParseTable USING [ActionEntry, ProdDataRef, State, TSymbol], Rope USING [ROPE]; NPGS1: CEDAR DEFINITIONS ~ { Index: TYPE~CARDINAL; <> ValueStack: TYPE~REF ValueSeq; StateStack: TYPE~REF StateSeq; LinkStack: TYPE~REF LinkSeq; ActionStack: TYPE~REF ActionSeq; <> Value: TYPE~RECORD [ -- type of the value stack SELECT OVERLAID * FROM scalar => [s: UNSPECIFIED], ref => [r: UNSPECIFIED] ENDCASE]; ValueSeq: TYPE~RECORD [SEQUENCE length: NAT OF Value]; nullValue: Value~[scalar[0]]; nullId: Value~[ref[0]]; StateSeq: TYPE~RECORD [SEQUENCE length: NAT OF NPGSParseTable.State]; LinkSeq: TYPE~RECORD [SEQUENCE length: NAT OF Index]; -- links to source text ActionSeq: TYPE~RECORD [SEQUENCE length: NAT OF NPGSParseTable.ActionEntry]; Token: TYPE~RECORD [ class: NPGSParseTable.TSymbol, -- the token class value: Value, index: Index]; -- source line index <> ErrorContext: PROC [to: IO.STREAM, message: Rope.ROPE, tokenIndex: Index]; InstallScanTable: PROC; NextToken: PROC RETURNS [Token]; ResetScanIndex: PROC [Index] RETURNS [success: BOOL]; ScanInit: PROC [ source: IO.STREAM, logger: PROC [PROC [log: IO.STREAM]]]; ScanReset: PROC; ScanStats: PROC RETURNS [nTokens, nErrors: CARDINAL]; <> InputLoc: PROC RETURNS [Index]; InstallParseTable: PROC; Parse: PROC[ source: IO.STREAM, logger: PROC [PROC [log: IO.STREAM]], prefixOk: BOOL, cusp: BOOL] RETURNS [complete: BOOL, nTokens, nErrors: CARDINAL]; ParserID: PROC RETURNS [Rope.ROPE]; <> AssignDescriptors: PROC [ qd: ActionStack, vd: ValueStack, ld: LinkStack, pp: NPGSParseTable.ProdDataRef]; ProcessQueue: PROC [qI, top: CARDINAL, cusp: BOOL]; TokenValue: PROC [NPGSParseTable.TSymbol] RETURNS [Value]; }.