public bool SyntaxError(lr_parser parser, Symbol curToken)
{
TypeCobolProgramParser tcpParser = parser as TypeCobolProgramParser;
if (tcpParser.IsTrial)
{
return(true);
}
List <string> expected = ExpectedSymbols(parser, curToken);
string symName = CodeElementTokenizer.CupTokenToString(curToken.sym);
Symbol validSymbol = GetParserValidStackSymbol(parser, curToken);
string text = validSymbol != null ? (validSymbol.value as CodeElement).Text : "";
string msg = string.Format("extraneous input '{0}' expecting {{{1}}}", text, string.Join(", ", expected));
System.Diagnostics.Debug.WriteLine(msg);
CupParserDiagnostic diagnostic = new CupParserDiagnostic(msg, validSymbol, null);
AddDiagnostic(diagnostic);
//Try to add the last encountered statement in the stack if it is not already entered.
StackList <Symbol> stack = tcpParser.getParserStack();
foreach (var symbol in stack)
{
if (symbol.value is StatementElement)
{
lr_parser stmtParser = CloneParser(parser, TypeCobolProgramSymbols.StatementEntryPoint,
symbol.value as CodeElement, true);
stmtParser.parse();
break;
}
}
return(true);
}
/// <summary>
/// Determines if the given token has been consumed. A token is consumed if it is
/// present on the parser stack.
/// </summary>
/// <param name="parser">The parser</param>
/// <param name="stack">The parser stack</param>
/// <param name="curToken">The Token to check</param>
/// <returns>true if the token is consumed, false otherwise</returns>
public bool IsTokenConsumed(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
if (curToken?.value == null)
{
return(false);
}
return(stack.Contains(curToken));
}
public override bool SyntaxError(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
LastMismatchedSymbol = null;
bool bResult = base.SyntaxError(parser, stack, curToken);
((CobolWordsTokenizer)parser.getScanner()).EnterStopScanningMode();
((CobolWordsTokenizer)parser.getScanner()).RevertLastToken(LastMismatchedSymbol);
return(bResult);
}
/// <summary>
/// Create a new parser using a clone.
/// </summary>
/// <param name="parser">The parser to be cloned</param>
/// <param name="start">The start entry point to use</param>
/// <param name="firstSymbol">The First Symbol</param>
/// <param name="trial">If we are creating atrial parser, fals eo therwise</param>
/// <returns>The new parser</returns>
public lr_parser CloneParser(lr_parser parser, int start, CodeElement firstSymbol, bool trial)
{
TypeCobolProgramParser tcpParser = parser as TypeCobolProgramParser;
ProgramClassBuilder builder = tcpParser.Builder as ProgramClassBuilder;
var errorReporter = tcpParser.ErrorReporter;
var tokenizer = parser.getScanner() as CodeElementTokenizer;
CodeElementTokenizer newTokenizer = new CodeElementTokenizer(start, firstSymbol);
TypeCobolProgramParser newParser = new TypeCobolProgramParser(newTokenizer);
newParser.Builder = builder;
newParser.ErrorReporter = errorReporter;
newParser.IsTrial = trial;
return(newParser);
}
/// <summary>
/// Get the first valid Symbol on the parser stack having a value.
/// </summary>
/// <param name="parser">The parser stack</param>
/// <param name="curToken">The current Symbol</param>
/// <returns>The first valid symbol if any, null otherwise</returns>
protected virtual Symbol GetParserValidStackSymbol(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
if (curToken != null && curToken.value != null)
{
return(curToken);
}
//lookback in the stack to find a Symbol having a valid value.
Symbol lastValid = null;
foreach (Symbol s in stack)
{//The first one will be the top of the stack wil be the last symbol encountered
if (s.value != null)
{
lastValid = s;
break;
}
}
return(lastValid);
}
/// <summary>
/// Get the first valid Symbol on the parser stack having a value.
/// </summary>
/// <param name="parser">The parser stack</param>
/// <param name="curToken">The current Symbol</param>
/// <returns>The first valid symbol if any, null otherwise</returns>
private static Symbol GetParserValidStackSymbol(lr_parser parser, Symbol curToken)
{
if (curToken.value != null)
{
return(curToken);
}
//lookback in the stack to find a Symbol having a valid value.
StackList <Symbol> stack = ((TypeCobolProgramParser)parser).getParserStack();
Symbol lastValid = null;
foreach (Symbol s in stack)
{
if (s.value != null)
{
lastValid = s;
}
}
return(lastValid);
}
public virtual bool SyntaxError(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
curToken = GetParserValidStackSymbol(parser, stack, curToken);
string input = "<unknown input>";
IToken token = null;
if (curToken != null && curToken.value != null)
{
input = GetTokenErrorDisplay(token = ((IToken)curToken.value));
}
else
{//Look back the stack to find a valid token.
}
List <string> expected = ExpectedSymbols(parser, stack, curToken);
string msg = "";
if (expected != null && expected.Count >= 1)
{
if (IsTokenConsumed(parser, stack, curToken))
{
msg = "missing " + (expected.Count == 1 ? expected[0] : (" {" + string.Join(", ", expected) + "}"))
+ " at " + input;
}
else
{
LastMismatchedSymbol = curToken;
msg = "mismatched input " + input +
" expecting " +
(expected.Count == 1 ? expected[0] : (" expecting {" + string.Join(", ", expected) + "}"));
}
}
else
{
msg = "no viable alternative at input " + input;
}
CupParserDiagnostic diag = new CupParserDiagnostic(msg, token, null);
AddDiagnostic(diag);
return(true);
}
/// <summary>
/// Get the array of expected symbols on the given symbol current parser state.
/// </summary>
/// <param name="parser">The parser</param>
/// <param name="curToken">The Symbol</param>
/// <returns>The array of expected symbols</returns>
protected internal static List <string> ExpectedSymbols(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
var actionTab = parser.action_table();
int state = ((Symbol)stack.Peek()).parse_state;
short[] row = actionTab[state];
List <string> expected = new List <string>();
for (int probe = 0; probe < row.Length; probe++)
{
int tag = row[probe++];
if (tag != -1 && tag != parser.error_sym())
{//symbol tag different of the default symbol.
string name = CobolWordsTokenizer.CupTokenToString(tag);
if (name != null)
{
expected.Add(name);
}
}
}
return(expected);
}
/// <summary>
/// Get the array of expected symbols on the given symbol current parser state.
/// </summary>
/// <param name="parser">The parser</param>
/// <param name="curToken">The Symbol</param>
/// <returns>The array of expected symbols</returns>
private static List <string> ExpectedSymbols(lr_parser parser, Symbol curToken)
{
var actionTab = parser.action_table();
int state = ((TypeCobolProgramParser)parser).getParserState();
short[] row = actionTab[state];
List <string> expected = new List <string>();
for (int probe = 0; probe < row.Length; probe++)
{
int tag = row[probe++];
if (tag != -1 && tag != parser.error_sym())
{//symbol tag different of the default symbol.
string name = CodeElementTokenizer.CupTokenToString(tag);
if (name != null)
{
expected.Add(name);
}
}
}
return(expected);
}
/** Method with the actual generated action code. */
public Symbol CUP_parser_do_action(
int CUP_parser_act_num,
lr_parser CUP_parser_parser,
Stack CUP_parser_stack1,
int CUP_parser_top)
{
/* Symbol object for return from actions */
Symbol CUP_parser_result;
mStack CUP_parser_stack= new mStack(CUP_parser_stack1);
/* select the action based on the action number */
switch (CUP_parser_act_num)
{
/*. . . . . . . . . . . . . . . . . . . .*/
case 106: // empty ::=
{
object RESULT = null;
CUP_parser_result = new Symbol(29/*empty*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 105: // opt_semi ::= SEMI
{
object RESULT = null;
CUP_parser_result = new Symbol(7/*opt_semi*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 104: // opt_semi ::=
{
object RESULT = null;
CUP_parser_result = new Symbol(7/*opt_semi*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 103: // non_terminal ::= NONTERMINAL
{
object RESULT = null;
CUP_parser_result = new Symbol(8/*non_terminal*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 102: // non_terminal ::= NON TERMINAL
{
object RESULT = null;
CUP_parser_result = new Symbol(8/*non_terminal*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 101: // robust_id ::= error
{
string RESULT = null;
lexer.emit_error("Illegal use of reserved word");
RESULT="ILLEGAL";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 100: // robust_id ::= NONASSOC
{
string RESULT = null;
RESULT = "nonassoc";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 99: // robust_id ::= RIGHT
{
string RESULT = null;
RESULT = "right";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 98: // robust_id ::= LEFT
{
string RESULT = null;
RESULT = "left";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 97: // robust_id ::= PRECEDENCE
{
string RESULT = null;
RESULT = "precedence";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 96: // robust_id ::= START
{
string RESULT = null;
RESULT = "start";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 95: // robust_id ::= WITH
{
string RESULT = null;
RESULT = "with";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 94: // robust_id ::= SCAN
{
string RESULT = null;
RESULT = "scan";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 93: // robust_id ::= INIT
{
string RESULT = null;
RESULT = "init";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 92: // robust_id ::= NONTERMINAL
{
string RESULT = null;
RESULT = "nonterminal";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 91: // robust_id ::= NON
{
string RESULT = null;
RESULT = "non";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 90: // robust_id ::= TERMINAL
{
string RESULT = null;
RESULT = "terminal";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 89: // robust_id ::= PARSER
{
string RESULT = null;
RESULT = "parser";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 88: // robust_id ::= ACTION
{
string RESULT = null;
RESULT = "action";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 87: // robust_id ::= CODE
{
string RESULT = null;
RESULT = "code";
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 86: // robust_id ::= ID
{
string RESULT = null;
int the_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int the_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string the_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
RESULT = the_id;
CUP_parser_result = new Symbol(42/*robust_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 85: // label_id ::= robust_id
{
string RESULT = null;
int the_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int the_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string the_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
RESULT = the_id;
CUP_parser_result = new Symbol(38/*label_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 84: // symbol_id ::= error
{
string RESULT = null;
lexer.emit_error("Illegal use of reserved word");
RESULT="ILLEGAL";
CUP_parser_result = new Symbol(37/*symbol_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 83: // symbol_id ::= ID
{
string RESULT = null;
int the_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int the_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string the_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
RESULT = the_id;
CUP_parser_result = new Symbol(37/*symbol_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 82: // nt_id ::= error
{
string RESULT = null;
lexer.emit_error("Illegal use of reserved word");
RESULT="ILLEGAL";
CUP_parser_result = new Symbol(36/*nt_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 81: // nt_id ::= ID
{
string RESULT = null;
int the_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int the_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string the_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
RESULT = the_id;
CUP_parser_result = new Symbol(36/*nt_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 80: // new_non_term_id ::= ID
{
object RESULT = null;
int non_term_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int non_term_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string non_term_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* see if this non terminal has been declared before */
if (symbols[non_term_id] != null)
{
/* issue a message */
lexer.emit_error( "Symbol \"" + non_term_id +
"\" has already been declared");
}
else
{
if (multipart_name.Equals(""))
{
append_multipart("object");
}
/* build the non terminal object */
non_terminal this_nt =
new non_terminal(non_term_id, multipart_name);
/* put it in the non_terms table */
non_terms.Add(non_term_id, this_nt);
/* build a production_part and put it in the symbols table */
symbols.Add(non_term_id, new symbol_part(this_nt));
}
CUP_parser_result = new Symbol(26/*new_non_term_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 79: // new_term_id ::= ID
{
object RESULT = null;
int term_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int term_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string term_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* see if this terminal has been declared before */
if (symbols[term_id] != null)
{
/* issue a message */
lexer.emit_error("Symbol \"" + term_id +
"\" has already been declared");
}
else
{
/* if no type declared, declare one */
if (multipart_name.Equals(""))
{
append_multipart("object");
}
/* build a production_part and put it in the table */
symbols.Add(term_id,
new symbol_part(new terminal(term_id, multipart_name)));
}
CUP_parser_result = new Symbol(25/*new_term_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 78: // type_id ::= type_id LBRACK RBRACK
{
object RESULT = null;
multipart_name = multipart_name+"[]";
CUP_parser_result = new Symbol(19/*type_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 77: // type_id ::= multipart_id
{
object RESULT = null;
CUP_parser_result = new Symbol(19/*type_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 76: // import_id ::= multipart_id
{
object RESULT = null;
CUP_parser_result = new Symbol(15/*import_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 75: // import_id ::= multipart_id DOT STAR
{
object RESULT = null;
append_multipart("*");
CUP_parser_result = new Symbol(15/*import_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 74: // multipart_id ::= robust_id
{
object RESULT = null;
int an_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int an_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string an_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
append_multipart(an_id);
CUP_parser_result = new Symbol(13/*multipart_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 73: // multipart_id ::= multipart_id DOT robust_id
{
object RESULT = null;
int another_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int another_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string another_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
append_multipart(another_id);
CUP_parser_result = new Symbol(13/*multipart_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 72: // opt_label ::= empty
{
string RESULT = null;
RESULT = null;
CUP_parser_result = new Symbol(39/*opt_label*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 71: // opt_label ::= COLON label_id
{
string RESULT = null;
int labidleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int labidright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string labid = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
RESULT = labid;
CUP_parser_result = new Symbol(39/*opt_label*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 70: // prod_part ::= CODE_string
{
object RESULT = null;
int code_strleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int code_strright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string code_str = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* add a new production part */
add_rhs_part(new action_part(code_str));
CUP_parser_result = new Symbol(24/*prod_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 69: // prod_part ::= symbol_id opt_label
{
object RESULT = null;
int symidleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int symidright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
string symid = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
int labidleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int labidright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string labid = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* try to look up the id */
production_part symb = (production_part)symbols[symid];
/* if that fails, symbol is undeclared */
if (symb == null)
{
if (lexer.error_count == 0)
lexer.emit_error("Symbol \"" + symid +
"\" has not been declared");
}
else
{
/* add a labeled production part */
add_rhs_part(add_lab(symb, labid));
}
CUP_parser_result = new Symbol(24/*prod_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 68: // prod_part_list ::= empty
{
object RESULT = null;
CUP_parser_result = new Symbol(23/*prod_part_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 67: // prod_part_list ::= prod_part_list prod_part
{
object RESULT = null;
CUP_parser_result = new Symbol(23/*prod_part_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 66: // rhs ::= prod_part_list
{
object RESULT = null;
if (lhs_nt != null)
{
/* build the production */
production p = new production(lhs_nt, rhs_parts, rhs_pos);
/* if we have no start non-terminal declared and this is
the first production, make its lhs nt the start_nt
and build a special start production for it. */
if (start_nt == null)
{
start_nt = lhs_nt;
/* build a special start production */
new_rhs();
add_rhs_part(add_lab(new symbol_part(start_nt),"start_val"));
add_rhs_part(new symbol_part(terminal.EOF));
add_rhs_part(new action_part("RESULT = start_val;"));
emit.start_production =
new production(non_terminal.START_nt, rhs_parts, rhs_pos);
new_rhs();
}
}
/* reset the rhs accumulation in any case */
new_rhs();
CUP_parser_result = new Symbol(28/*rhs*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 65: // rhs ::= prod_part_list PERCENT_PREC term_id
{
object RESULT = null;
int term_nameleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int term_nameright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string term_name = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
symbol sym = null;
if (lhs_nt != null)
{
/* Find the precedence symbol */
if (term_name == null)
{
System.Console.Error.WriteLine("No terminal for contextual precedence");
sym = null;
}
else
{
sym = ((symbol_part)symbols[term_name]).the_symbol();
}
/* build the production */
production p;
if ((sym!=null) && (sym.GetType()==typeof(terminal)))
{
p = new production(lhs_nt, rhs_parts, rhs_pos,
((terminal)sym).precedence_num(),
((terminal)sym).precedence_side());
((symbol_part)symbols[term_name]).the_symbol().note_use();
}
else
{
System.Console.Error.WriteLine("Invalid terminal " + term_name +
" for contextual precedence assignment");
p = new production(lhs_nt, rhs_parts, rhs_pos);
}
/* if we have no start non-terminal declared and this is
the first production, make its lhs nt the start_nt
and build a special start production for it. */
if (start_nt == null)
{
start_nt = lhs_nt;
/* build a special start production */
new_rhs();
add_rhs_part(add_lab(new symbol_part(start_nt),"start_val"));
add_rhs_part(new symbol_part(terminal.EOF));
add_rhs_part(new action_part("RESULT = start_val;"));
if ((sym!=null) && (sym.GetType()==typeof(terminal)))
{
emit.start_production =
new production(non_terminal.START_nt, rhs_parts,
rhs_pos, ((terminal)sym).precedence_num(),
((terminal)sym).precedence_side());
}
else
{
emit.start_production =
new production(non_terminal.START_nt, rhs_parts, rhs_pos);
}
new_rhs();
}
}
/* reset the rhs accumulation in any case */
new_rhs();
CUP_parser_result = new Symbol(28/*rhs*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 64: // rhs_list ::= rhs
{
object RESULT = null;
CUP_parser_result = new Symbol(27/*rhs_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 63: // rhs_list ::= rhs_list BAR rhs
{
object RESULT = null;
CUP_parser_result = new Symbol(27/*rhs_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 62: // production ::= error NT$13 SEMI
{
object RESULT = null;
// propagate RESULT from NT$13
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(22/*production*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 61: // NT$13 ::=
{
object RESULT = null;
lexer.emit_error("Syntax Error");
CUP_parser_result = new Symbol(56/*NT$13*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 60: // production ::= nt_id NT$11 COLON_COLON_EQUALS NT$12 rhs_list SEMI
{
object RESULT = null;
// propagate RESULT from NT$11
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-4)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-4)).value;
// propagate RESULT from NT$12
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
int lhs_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-5)).left;
int lhs_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-5)).right;
string lhs_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-5)).value;
CUP_parser_result = new Symbol(22/*production*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-5)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 59: // NT$12 ::=
{
object RESULT = null;
int lhs_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left;
int lhs_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).right;
string lhs_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
CUP_parser_result = new Symbol(55/*NT$12*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 58: // NT$11 ::=
{
object RESULT = null;
int lhs_idleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int lhs_idright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string lhs_id = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* lookup the lhs nt */
lhs_nt = (non_terminal)non_terms[lhs_id];
/* if it wasn't declared, emit a message */
if (lhs_nt == null)
{
if (lexer.error_count == 0)
lexer.emit_error("LHS non terminal \"" + lhs_id +
"\" has not been declared");
}
/* reset the rhs accumulation */
new_rhs();
CUP_parser_result = new Symbol(54/*NT$11*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 57: // production_list ::= production
{
object RESULT = null;
CUP_parser_result = new Symbol(12/*production_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 56: // production_list ::= production_list production
{
object RESULT = null;
CUP_parser_result = new Symbol(12/*production_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 55: // start_spec ::= empty
{
object RESULT = null;
CUP_parser_result = new Symbol(11/*start_spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 54: // start_spec ::= START WITH nt_id NT$10 SEMI
{
object RESULT = null;
// propagate RESULT from NT$10
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
int start_nameleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left;
int start_nameright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).right;
string start_name = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
CUP_parser_result = new Symbol(11/*start_spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-4)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 53: // NT$10 ::=
{
object RESULT = null;
int start_nameleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int start_nameright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string start_name = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* verify that the name has been declared as a non terminal */
non_terminal nt = (non_terminal)non_terms[start_name];
if (nt == null)
{
lexer.emit_error( "Start non terminal \"" + start_name +
"\" has not been declared");
}
else
{
/* remember the non-terminal for later */
start_nt = nt;
/* build a special start production */
new_rhs();
add_rhs_part(add_lab(new symbol_part(start_nt), "start_val"));
add_rhs_part(new symbol_part(terminal.EOF));
add_rhs_part(new action_part("RESULT = start_val;"));
emit.start_production =
new production(non_terminal.START_nt, rhs_parts, rhs_pos);
new_rhs();
}
CUP_parser_result = new Symbol(53/*NT$10*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 52: // term_id ::= symbol_id
{
string RESULT = null;
int symleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int symright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string sym = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
/* check that the symbol_id is a terminal */
if (symbols[sym] == null)
{
/* issue a message */
lexer.emit_error("Terminal \"" + sym +
"\" has not been declared");
}
RESULT = sym;
CUP_parser_result = new Symbol(41/*term_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 51: // terminal_id ::= term_id
{
string RESULT = null;
int symleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left;
int symright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right;
string sym = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-0)).value;
add_precedence(sym);
RESULT = sym;
CUP_parser_result = new Symbol(40/*terminal_id*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 50: // terminal_list ::= terminal_id
{
object RESULT = null;
CUP_parser_result = new Symbol(32/*terminal_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 49: // terminal_list ::= terminal_list COMMA terminal_id
{
object RESULT = null;
CUP_parser_result = new Symbol(32/*terminal_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 48: // preced ::= PRECEDENCE NONASSOC NT$9 terminal_list SEMI
{
object RESULT = null;
// propagate RESULT from NT$9
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
CUP_parser_result = new Symbol(31/*preced*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-4)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 47: // NT$9 ::=
{
object RESULT = null;
update_precedence(assoc.nonassoc);
CUP_parser_result = new Symbol(52/*NT$9*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 46: // preced ::= PRECEDENCE RIGHT NT$8 terminal_list SEMI
{
object RESULT = null;
// propagate RESULT from NT$8
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
CUP_parser_result = new Symbol(31/*preced*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-4)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 45: // NT$8 ::=
{
object RESULT = null;
update_precedence(assoc.right);
CUP_parser_result = new Symbol(51/*NT$8*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 44: // preced ::= PRECEDENCE LEFT NT$7 terminal_list SEMI
{
object RESULT = null;
// propagate RESULT from NT$7
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-2)).value;
CUP_parser_result = new Symbol(31/*preced*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-4)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 43: // NT$7 ::=
{
object RESULT = null;
update_precedence(assoc.left);
CUP_parser_result = new Symbol(50/*NT$7*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 42: // precedence_l ::= preced
{
object RESULT = null;
CUP_parser_result = new Symbol(33/*precedence_l*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 41: // precedence_l ::= precedence_l preced
{
object RESULT = null;
CUP_parser_result = new Symbol(33/*precedence_l*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 40: // precedence_list ::= empty
{
object RESULT = null;
CUP_parser_result = new Symbol(30/*precedence_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 39: // precedence_list ::= precedence_l
{
object RESULT = null;
CUP_parser_result = new Symbol(30/*precedence_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 38: // non_term_name_list ::= new_non_term_id
{
object RESULT = null;
CUP_parser_result = new Symbol(21/*non_term_name_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 37: // non_term_name_list ::= non_term_name_list COMMA new_non_term_id
{
object RESULT = null;
CUP_parser_result = new Symbol(21/*non_term_name_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 36: // term_name_list ::= new_term_id
{
object RESULT = null;
CUP_parser_result = new Symbol(20/*term_name_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 35: // term_name_list ::= term_name_list COMMA new_term_id
{
object RESULT = null;
CUP_parser_result = new Symbol(20/*term_name_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 34: // declares_non_term ::= non_term_name_list NT$6 SEMI
{
object RESULT = null;
// propagate RESULT from NT$6
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(35/*declares_non_term*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 33: // NT$6 ::=
{
object RESULT = null;
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(49/*NT$6*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 32: // declares_term ::= term_name_list NT$5 SEMI
{
object RESULT = null;
// propagate RESULT from NT$5
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(34/*declares_term*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 31: // NT$5 ::=
{
object RESULT = null;
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(48/*NT$5*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 30: // symbol ::= non_terminal error NT$4 SEMI
{
object RESULT = null;
// propagate RESULT from NT$4
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 29: // NT$4 ::=
{
object RESULT = null;
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(47/*NT$4*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 28: // symbol ::= TERMINAL error NT$3 SEMI
{
object RESULT = null;
// propagate RESULT from NT$3
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 27: // NT$3 ::=
{
object RESULT = null;
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(46/*NT$3*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 26: // symbol ::= non_terminal declares_non_term
{
object RESULT = null;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 25: // symbol ::= non_terminal type_id declares_non_term
{
object RESULT = null;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 24: // symbol ::= TERMINAL declares_term
{
object RESULT = null;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 23: // symbol ::= TERMINAL type_id declares_term
{
object RESULT = null;
CUP_parser_result = new Symbol(18/*symbol*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-2)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 22: // symbol_list ::= symbol
{
object RESULT = null;
CUP_parser_result = new Symbol(10/*symbol_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 21: // symbol_list ::= symbol_list symbol
{
object RESULT = null;
CUP_parser_result = new Symbol(10/*symbol_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 20: // scan_code ::= SCAN WITH CODE_string opt_semi
{
object RESULT = null;
int user_codeleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int user_coderight = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
string user_code = ((string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value);
if (emit.scan_code!=null)
lexer.emit_error("Redundant scan code (skipping)");
else /* save the user code */
emit.scan_code = user_code;
CUP_parser_result = new Symbol(17/*scan_code*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 19: // init_code ::= INIT WITH CODE_string opt_semi
{
object RESULT = null;
int user_codeleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int user_coderight = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
string user_code = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
if (emit.init_code!=null)
lexer.emit_error("Redundant init code (skipping)");
else /* save the user code */
emit.init_code = user_code;
CUP_parser_result = new Symbol(16/*init_code*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 18: // parser_code_part ::= PARSER CODE CODE_string opt_semi
{
object RESULT = null;
int user_codeleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int user_coderight = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
string user_code = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
if (emit.parser_code!=null)
lexer.emit_error("Redundant parser code (skipping)");
else /* save the user included code string */
emit.parser_code = user_code;
CUP_parser_result = new Symbol(9/*parser_code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 17: // action_code_part ::= ACTION CODE CODE_string opt_semi
{
object RESULT = null;
int user_codeleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int user_coderight = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
string user_code = (string)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
if (emit.action_code!=null)
lexer.emit_error("Redundant action code (skipping)");
else /* save the user included code string */
emit.action_code = user_code;
CUP_parser_result = new Symbol(4/*action_code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 16: // code_parts ::= code_parts code_part
{
object RESULT = null;
CUP_parser_result = new Symbol(5/*code_parts*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 15: // code_parts ::=
{
object RESULT = null;
CUP_parser_result = new Symbol(5/*code_parts*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 14: // code_part ::= scan_code
{
object RESULT = null;
CUP_parser_result = new Symbol(6/*code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 13: // code_part ::= init_code
{
object RESULT = null;
CUP_parser_result = new Symbol(6/*code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 12: // code_part ::= parser_code_part
{
object RESULT = null;
CUP_parser_result = new Symbol(6/*code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 11: // code_part ::= action_code_part
{
object RESULT = null;
CUP_parser_result = new Symbol(6/*code_part*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 10: // import_spec ::= IMPORT import_id NT$2 SEMI
{
object RESULT = null;
// propagate RESULT from NT$2
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(14/*import_spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 9: // NT$2 ::=
{
object RESULT = null;
/* save this import on the imports list */
emit.import_list.Push(multipart_name);
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(45/*NT$2*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 8: // import_list ::= empty
{
object RESULT = null;
CUP_parser_result = new Symbol(3/*import_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 7: // import_list ::= import_list import_spec
{
object RESULT = null;
CUP_parser_result = new Symbol(3/*import_list*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 6: // package_spec ::= empty
{
object RESULT = null;
CUP_parser_result = new Symbol(2/*package_spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 5: // package_spec ::= PACKAGE multipart_id NT$1 SEMI
{
object RESULT = null;
// propagate RESULT from NT$1
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
CUP_parser_result = new Symbol(2/*package_spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-3)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 4: // NT$1 ::=
{
object RESULT = null;
/* save the package name */
emit.package_name = multipart_name;
/* reset the accumulated multipart name */
multipart_name = "";
CUP_parser_result = new Symbol(44/*NT$1*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 3: // spec ::= error symbol_list precedence_list start_spec production_list
{
object RESULT = null;
CUP_parser_result = new Symbol(1/*spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-4)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 2: // spec ::= NT$0 package_spec import_list code_parts symbol_list precedence_list start_spec production_list
{
object RESULT = null;
// propagate RESULT from NT$0
if ( ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-7)).value != null )
RESULT = (object) ((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-7)).value;
CUP_parser_result = new Symbol(1/*spec*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-7)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 1: // NT$0 ::=
{
object RESULT = null;
/* declare "error" as a terminal */
symbols.Add("error", new symbol_part(terminal.error));
/* declare start non terminal */
non_terms.Add("$START", non_terminal.START_nt);
CUP_parser_result = new Symbol(43/*NT$0*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
return CUP_parser_result;
/*. . . . . . . . . . . . . . . . . . . .*/
case 0: // $START ::= spec EOF
{
object RESULT = null;
int start_valleft = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left;
int start_valright = ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).right;
object start_val = (object)((Symbol) CUP_parser_stack.elementAt(CUP_parser_top-1)).value;
RESULT = start_val;
CUP_parser_result = new Symbol(0/*$START*/, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-1)).left, ((Symbol)CUP_parser_stack.elementAt(CUP_parser_top-0)).right, RESULT);
}
/* ACCEPT */
CUP_parser_parser.done_parsing();
return CUP_parser_result;
/* . . . . . .*/
default:
throw new System.Exception(
"Invalid action number found in internal parse table");
}
}
/** Invoke a user supplied parse action. */
public override Symbol do_action(
int act_num,
lr_parser parser,
Stack stack,
int top)
{
/* call code in generated class */
return action_obj.CUP_parser_do_action(act_num, parser, stack, top);
}
public virtual bool ReportError(lr_parser parser, StackList <Symbol> stack, string message, object info)
{
return(true);
}
public virtual bool UnrecoveredSyntaxError(lr_parser parser, StackList <Symbol> stack, Symbol curToken)
{
return(true);
}
public bool ReportError(lr_parser parser, string message, object info)
{
return(true);
}
public bool UnrecoveredSyntaxError(lr_parser parser, Symbol curToken)
{
return(true);
}
