yacc_sr.py revision 2632
12632Sstever@eecs.umich.edu# ----------------------------------------------------------------------------- 22632Sstever@eecs.umich.edu# yacc_sr.py 32632Sstever@eecs.umich.edu# 42632Sstever@eecs.umich.edu# A grammar with shift-reduce conflicts 52632Sstever@eecs.umich.edu# ----------------------------------------------------------------------------- 62632Sstever@eecs.umich.eduimport sys 72632Sstever@eecs.umich.edusys.tracebacklimit = 0 82632Sstever@eecs.umich.edu 92632Sstever@eecs.umich.edufrom calclex import tokens 102632Sstever@eecs.umich.edu 112632Sstever@eecs.umich.edu# Parsing rules 122632Sstever@eecs.umich.edu 132632Sstever@eecs.umich.edu# dictionary of names 142632Sstever@eecs.umich.edunames = { } 152632Sstever@eecs.umich.edu 162632Sstever@eecs.umich.edudef p_statement_assign(t): 172632Sstever@eecs.umich.edu 'statement : NAME EQUALS expression' 182632Sstever@eecs.umich.edu names[t[1]] = t[3] 192632Sstever@eecs.umich.edu 202632Sstever@eecs.umich.edudef p_statement_expr(t): 212632Sstever@eecs.umich.edu 'statement : expression' 222632Sstever@eecs.umich.edu print t[1] 232632Sstever@eecs.umich.edu 242632Sstever@eecs.umich.edudef p_expression_binop(t): 252632Sstever@eecs.umich.edu '''expression : expression PLUS expression 262632Sstever@eecs.umich.edu | expression MINUS expression 272632Sstever@eecs.umich.edu | expression TIMES expression 282632Sstever@eecs.umich.edu | expression DIVIDE expression''' 292632Sstever@eecs.umich.edu if t[2] == '+' : t[0] = t[1] + t[3] 302632Sstever@eecs.umich.edu elif t[2] == '-': t[0] = t[1] - t[3] 312632Sstever@eecs.umich.edu elif t[2] == '*': t[0] = t[1] * t[3] 322632Sstever@eecs.umich.edu elif t[3] == '/': t[0] = t[1] / t[3] 332632Sstever@eecs.umich.edu 342632Sstever@eecs.umich.edudef p_expression_uminus(t): 352632Sstever@eecs.umich.edu 'expression : MINUS expression' 362632Sstever@eecs.umich.edu t[0] = -t[2] 372632Sstever@eecs.umich.edu 382632Sstever@eecs.umich.edudef p_expression_group(t): 392632Sstever@eecs.umich.edu 'expression : LPAREN expression RPAREN' 402632Sstever@eecs.umich.edu t[0] = t[2] 412632Sstever@eecs.umich.edu 422632Sstever@eecs.umich.edudef p_expression_number(t): 432632Sstever@eecs.umich.edu 'expression : NUMBER' 442632Sstever@eecs.umich.edu t[0] = t[1] 452632Sstever@eecs.umich.edu 462632Sstever@eecs.umich.edudef p_expression_name(t): 472632Sstever@eecs.umich.edu 'expression : NAME' 482632Sstever@eecs.umich.edu try: 492632Sstever@eecs.umich.edu t[0] = names[t[1]] 502632Sstever@eecs.umich.edu except LookupError: 512632Sstever@eecs.umich.edu print "Undefined name '%s'" % t[1] 522632Sstever@eecs.umich.edu t[0] = 0 532632Sstever@eecs.umich.edu 542632Sstever@eecs.umich.edudef p_error(t): 552632Sstever@eecs.umich.edu print "Syntax error at '%s'" % t.value 562632Sstever@eecs.umich.edu 572632Sstever@eecs.umich.eduimport yacc 582632Sstever@eecs.umich.eduyacc.yacc() 592632Sstever@eecs.umich.edu 602632Sstever@eecs.umich.edu 612632Sstever@eecs.umich.edu 622632Sstever@eecs.umich.edu 63