OneCasabaParserData.kipper December 17, 1985 2:38:10 pm PST
Copyright Ó 1985, 1986, 1987 by Xerox Corporation. All rights reserved.
Sturgis, April 3, 1986 3:35:32 pm PST
Bill Jackson (bj) January 27, 1987 5:31:35 pm PST
OneCasabaParserData:
MODULE =
BEGIN
TokenKind: CEDAR TYPE FROM IO = {tokenERROR, tokenID, tokenDECIMAL, tokenOCTAL, tokenHEX, tokenREAL, tokenROPE, tokenCHAR, tokenATOM, tokenSINGLE, tokenDOUBLE, tokenCOMMENT, tokenEOF};
State: CEDAR TYPE FROM OneCasabaParser = CARDINAL;
ParserTable: CEDAR TYPE FROM OneCasabaParserPrivate = REF ParserTableBody;
ParserTableBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD [
unAnalyzedSymbols: SymbolCell,
nSymbols: CARDINAL,
unAnalyzedTokens: TokenCell,
nTokens: CARDINAL,
unAnalyzedActions: ActionCell,
nActions: CARDINAL,
startState: State,
symbolTable: SymbolTable,
tokenTable: TokenTable,
actionTable: ActionTable
];
SymbolTable: CEDAR TYPE FROM OneCasabaParserPrivate = REF SymbolTableBody;
SymbolTableBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD[
symbols: SEQUENCE nSlots: CARDINAL OF SymbolCell
];
SymbolCell: CEDAR TYPE FROM OneCasabaParserPrivate = REF SymbolCellBody;
SymbolCellBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD [
name: ROPE,
code: CARDINAL,
next: SymbolCell
];
TokenTable: CEDAR TYPE FROM OneCasabaParserPrivate = REF TokenTableBody;
TokenTableBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD[
idToken: TokenCell,
tokens: SEQUENCE nSlots: CARDINAL OF TokenCell
];
TokenCell: CEDAR TYPE FROM OneCasabaParserPrivate = REF TokenCellBody;
TokenCellBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD [
name: ROPE,
symbolCode: CARDINAL,
kind: TokenKind,
spelling: ROPE,
case: TokenCase,
next: TokenCell
];
TokenCase:
CEDAR
TYPE
FROM OneCasabaParserPrivate = {unique, generic};
ActionTable: CEDAR TYPE FROM OneCasabaParserPrivate = REF ActionTableBody;
ActionTableBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD[
actions: SEQUENCE nSlots: CARDINAL OF ActionCell
];
ActionCell: CEDAR TYPE FROM OneCasabaParserPrivate = REF ActionCellBody; -- not the most compact representation
ActionCellBody:
CEDAR
TYPE
FROM OneCasabaParserPrivate =
RECORD[
state: State,
terminal: CARDINAL, -- symbol code
action: Action,
nextState: State, -- for shifts
ruleNumber: CARDINAL, -- for reductions
leftSide: CARDINAL, -- symbol code for left side non terminal
ruleSize: CARDINAL, -- number of right side symbols
next: ActionCell
];
Action: CEDAR TYPE FROM OneCasabaParserPrivate = {shift, reduce, accept};
END.