parser.py revision 10155
1# Copyright (c) 2009 The Hewlett-Packard Development Company 2# All rights reserved. 3# 4# Redistribution and use in source and binary forms, with or without 5# modification, are permitted provided that the following conditions are 6# met: redistributions of source code must retain the above copyright 7# notice, this list of conditions and the following disclaimer; 8# redistributions in binary form must reproduce the above copyright 9# notice, this list of conditions and the following disclaimer in the 10# documentation and/or other materials provided with the distribution; 11# neither the name of the copyright holders nor the names of its 12# contributors may be used to endorse or promote products derived from 13# this software without specific prior written permission. 14# 15# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 16# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 17# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 18# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 19# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 20# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 21# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 22# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26# 27# Authors: Nathan Binkert 28 29import os.path 30import re 31import sys 32 33from m5.util import code_formatter 34from m5.util.grammar import Grammar, ParseError 35 36import slicc.ast as ast 37import slicc.util as util 38from slicc.symbols import SymbolTable 39 40class SLICC(Grammar): 41 def __init__(self, filename, base_dir, verbose=False, traceback=False, **kwargs): 42 self.protocol = None 43 self.traceback = traceback 44 self.verbose = verbose 45 self.symtab = SymbolTable(self) 46 self.base_dir = base_dir 47 48 try: 49 self.decl_list = self.parse_file(filename, **kwargs) 50 except ParseError, e: 51 if not self.traceback: 52 sys.exit(str(e)) 53 raise 54 55 def currentLocation(self): 56 return util.Location(self.current_source, self.current_line, 57 no_warning=not self.verbose) 58 59 def codeFormatter(self, *args, **kwargs): 60 code = code_formatter(*args, **kwargs) 61 code['protocol'] = self.protocol 62 return code 63 64 def process(self): 65 self.decl_list.findMachines() 66 self.decl_list.generate() 67 68 def writeCodeFiles(self, code_path, includes): 69 self.symtab.writeCodeFiles(code_path, includes) 70 71 def writeHTMLFiles(self, html_path): 72 self.symtab.writeHTMLFiles(html_path) 73 74 def files(self): 75 f = set([ 76 'MachineType.cc', 77 'MachineType.hh', 78 'Types.hh' ]) 79 80 f |= self.decl_list.files() 81 82 return f 83 84 t_ignore = '\t ' 85 86 # C or C++ comment (ignore) 87 def t_c_comment(self, t): 88 r'/\*(.|\n)*?\*/' 89 t.lexer.lineno += t.value.count('\n') 90 91 def t_cpp_comment(self, t): 92 r'//.*' 93 94 # Define a rule so we can track line numbers 95 def t_newline(self, t): 96 r'\n+' 97 t.lexer.lineno += len(t.value) 98 99 reserved = { 100 'protocol' : 'PROTOCOL', 101 'include' : 'INCLUDE', 102 'global' : 'GLOBAL', 103 'machine' : 'MACHINE', 104 'in_port' : 'IN_PORT', 105 'out_port' : 'OUT_PORT', 106 'action' : 'ACTION', 107 'transition' : 'TRANS', 108 'structure' : 'STRUCT', 109 'external_type' : 'EXTERN_TYPE', 110 'enumeration' : 'ENUM', 111 'state_declaration' : 'STATE_DECL', 112 'peek' : 'PEEK', 113 'stall_and_wait' : 'STALL_AND_WAIT', 114 'enqueue' : 'ENQUEUE', 115 'check_allocate' : 'CHECK_ALLOCATE', 116 'check_stop_slots' : 'CHECK_STOP_SLOTS', 117 'static_cast' : 'STATIC_CAST', 118 'if' : 'IF', 119 'is_valid' : 'IS_VALID', 120 'is_invalid' : 'IS_INVALID', 121 'else' : 'ELSE', 122 'return' : 'RETURN', 123 'void' : 'VOID', 124 'new' : 'NEW', 125 'OOD' : 'OOD', 126 } 127 128 literals = ':[]{}(),=' 129 130 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE', 131 'LEFTSHIFT', 'RIGHTSHIFT', 132 'NOT', 'AND', 'OR', 133 'PLUS', 'DASH', 'STAR', 'SLASH', 134 'INCR', 'DECR', 135 'DOUBLE_COLON', 'SEMI', 136 'ASSIGN', 'DOT', 137 'IDENT', 'LIT_BOOL', 'FLOATNUMBER', 'NUMBER', 'STRING' ] 138 tokens += reserved.values() 139 140 t_EQ = r'==' 141 t_NE = r'!=' 142 t_LT = r'<' 143 t_GT = r'>' 144 t_LE = r'<=' 145 t_GE = r'>=' 146 t_LEFTSHIFT = r'<<' 147 t_RIGHTSHIFT = r'>>' 148 t_NOT = r'!' 149 t_AND = r'&&' 150 t_OR = r'\|\|' 151 t_PLUS = r'\+' 152 t_DASH = r'-' 153 t_STAR = r'\*' 154 t_SLASH = r'/' 155 t_DOUBLE_COLON = r'::' 156 t_SEMI = r';' 157 t_ASSIGN = r':=' 158 t_DOT = r'\.' 159 t_INCR = r'\+\+' 160 t_DECR = r'--' 161 162 precedence = ( 163 ('left', 'INCR', 'DECR'), 164 ('left', 'AND', 'OR'), 165 ('left', 'EQ', 'NE'), 166 ('left', 'LT', 'GT', 'LE', 'GE'), 167 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'), 168 ('left', 'PLUS', 'DASH'), 169 ('left', 'STAR', 'SLASH'), 170 ('right', 'NOT', 'UMINUS'), 171 ) 172 173 def t_IDENT(self, t): 174 r'[a-zA-Z_][a-zA-Z_0-9]*' 175 if t.value == 'true': 176 t.type = 'LIT_BOOL' 177 t.value = True 178 return t 179 180 if t.value == 'false': 181 t.type = 'LIT_BOOL' 182 t.value = False 183 return t 184 185 # Check for reserved words 186 t.type = self.reserved.get(t.value, 'IDENT') 187 return t 188 189 def t_FLOATNUMBER(self, t): 190 '[0-9]+[.][0-9]+' 191 try: 192 t.value = float(t.value) 193 except ValueError: 194 raise ParseError("Illegal float", t) 195 return t 196 197 def t_NUMBER(self, t): 198 r'[0-9]+' 199 try: 200 t.value = int(t.value) 201 except ValueError: 202 raise ParseError("Illegal number", t) 203 return t 204 205 def t_STRING1(self, t): 206 r'\"[^"\n]*\"' 207 t.type = 'STRING' 208 t.value = t.value[1:-1] 209 return t 210 211 def t_STRING2(self, t): 212 r"\'[^'\n]*\'" 213 t.type = 'STRING' 214 t.value = t.value[1:-1] 215 return t 216 217 def p_file(self, p): 218 "file : decls" 219 p[0] = p[1] 220 221 def p_empty(self, p): 222 "empty :" 223 224 def p_decls(self, p): 225 "decls : declsx" 226 p[0] = ast.DeclListAST(self, p[1]) 227 228 def p_declsx__list(self, p): 229 "declsx : decl declsx" 230 if isinstance(p[1], ast.DeclListAST): 231 decls = p[1].decls 232 elif p[1] is None: 233 decls = [] 234 else: 235 decls = [ p[1] ] 236 p[0] = decls + p[2] 237 238 def p_declsx__none(self, p): 239 "declsx : empty" 240 p[0] = [] 241 242 def p_decl__protocol(self, p): 243 "decl : PROTOCOL STRING SEMI" 244 if self.protocol: 245 msg = "Protocol can only be set once! Error at %s:%s\n" % \ 246 (self.current_source, self.current_line) 247 raise ParseError(msg) 248 self.protocol = p[2] 249 p[0] = None 250 251 def p_decl__include(self, p): 252 "decl : INCLUDE STRING SEMI" 253 dirname = os.path.dirname(self.current_source) 254 if os.path.exists(os.path.join(dirname, p[2])): 255 filename = os.path.join(dirname, p[2]) 256 else: 257 filename = os.path.join(self.base_dir, p[2]) 258 p[0] = self.parse_file(filename) 259 260 def p_decl__machine0(self, p): 261 "decl : MACHINE '(' idents ')' ':' params '{' decls '}'" 262 p[0] = ast.MachineAST(self, p[3], [], p[7], p[9]) 263 264 def p_decl__machine1(self, p): 265 "decl : MACHINE '(' idents pairs ')' ':' params '{' decls '}'" 266 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9]) 267 268 def p_decl__action(self, p): 269 "decl : ACTION '(' ident pairs ')' statements" 270 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6]) 271 272 def p_decl__in_port(self, p): 273 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements" 274 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10]) 275 276 def p_decl__out_port(self, p): 277 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI" 278 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8]) 279 280 def p_decl__trans0(self, p): 281 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents" 282 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], p[7], p[8], p[10]) 283 284 def p_decl__trans1(self, p): 285 "decl : TRANS '(' idents ',' idents pairs ')' idents" 286 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], None, p[6], p[8]) 287 288 def p_decl__trans2(self, p): 289 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents idents" 290 p[0] = ast.TransitionDeclAST(self, p[10], p[3], p[5], p[7], p[8], p[11]) 291 292 def p_decl__trans3(self, p): 293 "decl : TRANS '(' idents ',' idents pairs ')' idents idents" 294 p[0] = ast.TransitionDeclAST(self, p[8], p[3], p[5], None, p[6], p[9]) 295 296 def p_decl__extern0(self, p): 297 "decl : EXTERN_TYPE '(' type pairs ')' SEMI" 298 p[4]["external"] = "yes" 299 p[0] = ast.TypeDeclAST(self, p[3], p[4], []) 300 301 def p_decl__global(self, p): 302 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'" 303 p[4]["global"] = "yes" 304 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7]) 305 306 def p_decl__struct(self, p): 307 "decl : STRUCT '(' type pairs ')' '{' type_members '}'" 308 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7]) 309 310 def p_decl__enum(self, p): 311 "decl : ENUM '(' type pairs ')' '{' type_enums '}'" 312 p[4]["enumeration"] = "yes" 313 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7]) 314 315 def p_decl__state_decl(self, p): 316 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'" 317 p[4]["enumeration"] = "yes" 318 p[4]["state_decl"] = "yes" 319 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7]) 320 321 def p_decl__object(self, p): 322 "decl : type ident pairs SEMI" 323 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3]) 324 325 # Function definition and declaration 326 def p_decl__func_decl(self, p): 327 "decl : func_decl" 328 p[0] = p[1] 329 330 def p_func_decl__0(self, p): 331 """func_decl : void ident '(' params ')' pairs SEMI 332 | type ident '(' params ')' pairs SEMI""" 333 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None) 334 335 def p_decl__func_def(self, p): 336 "decl : func_def" 337 p[0] = p[1] 338 339 def p_func_def__0(self, p): 340 """func_def : void ident '(' params ')' pairs statements 341 | type ident '(' params ')' pairs statements""" 342 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7]) 343 344 # Type fields 345 def p_type_members__list(self, p): 346 "type_members : type_member type_members" 347 p[0] = [ p[1] ] + p[2] 348 349 def p_type_members__empty(self, p): 350 "type_members : empty" 351 p[0] = [] 352 353 def p_type_method__0(self, p): 354 "type_member : type_or_void ident '(' types ')' pairs SEMI" 355 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6]) 356 357 def p_type_method__1(self, p): 358 "type_member : type_or_void ident '(' params ')' pairs statements" 359 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7]) 360 361 def p_type_member__1(self, p): 362 "type_member : type_or_void ident pairs SEMI" 363 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None) 364 365 def p_type_member__2(self, p): 366 "type_member : type_or_void ident ASSIGN expr SEMI" 367 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], 368 ast.PairListAST(self), p[4]) 369 370 # Enum fields 371 def p_type_enums__list(self, p): 372 "type_enums : type_enum type_enums" 373 p[0] = [ p[1] ] + p[2] 374 375 def p_type_enums__empty(self, p): 376 "type_enums : empty" 377 p[0] = [] 378 379 def p_type_enum(self, p): 380 "type_enum : ident pairs SEMI" 381 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2]) 382 383 # States 384 def p_type_states__list(self, p): 385 "type_states : type_state type_states" 386 p[0] = [ p[1] ] + p[2] 387 388 def p_type_states__empty(self, p): 389 "type_states : empty" 390 p[0] = [] 391 392 def p_type_state(self, p): 393 "type_state : ident ',' enumeration pairs SEMI" 394 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4]) 395 396 # Type 397 def p_types__multiple(self, p): 398 "types : type ',' types" 399 p[0] = [ p[1] ] + p[3] 400 401 def p_types__one(self, p): 402 "types : type" 403 p[0] = [ p[1] ] 404 405 def p_types__empty(self, p): 406 "types : empty" 407 p[0] = [] 408 409 def p_typestr__multi(self, p): 410 "typestr : typestr DOUBLE_COLON ident" 411 p[0] = '%s::%s' % (p[1], p[3]) 412 413 def p_typestr__single(self, p): 414 "typestr : ident" 415 p[0] = p[1] 416 417 def p_type__one(self, p): 418 "type : typestr" 419 p[0] = ast.TypeAST(self, p[1]) 420 421 def p_void(self, p): 422 "void : VOID" 423 p[0] = ast.TypeAST(self, p[1]) 424 425 def p_type_or_void(self, p): 426 """type_or_void : type 427 | void""" 428 p[0] = p[1] 429 430 # Formal Param 431 def p_params__many(self, p): 432 "params : param ',' params" 433 p[0] = [ p[1] ] + p[3] 434 435 def p_params__one(self, p): 436 "params : param" 437 p[0] = [ p[1] ] 438 439 def p_params__none(self, p): 440 "params : empty" 441 p[0] = [] 442 443 def p_param(self, p): 444 "param : type ident" 445 p[0] = ast.FormalParamAST(self, p[1], p[2]) 446 447 def p_param__pointer(self, p): 448 "param : type STAR ident" 449 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True) 450 451 def p_param__pointer_default(self, p): 452 "param : type STAR ident '=' STRING" 453 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True) 454 455 def p_param__default_number(self, p): 456 "param : type ident '=' NUMBER" 457 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 458 459 def p_param__default_bool(self, p): 460 "param : type ident '=' LIT_BOOL" 461 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 462 463 def p_param__default_string(self, p): 464 "param : type ident '=' STRING" 465 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 466 467 # Idents and lists 468 def p_idents__braced(self, p): 469 "idents : '{' identx '}'" 470 p[0] = p[2] 471 472 def p_idents__bare(self, p): 473 "idents : ident" 474 p[0] = [ p[1] ] 475 476 def p_identx__multiple_1(self, p): 477 """identx : ident SEMI identx 478 | ident ',' identx""" 479 p[0] = [ p[1] ] + p[3] 480 481 def p_identx__multiple_2(self, p): 482 "identx : ident identx" 483 p[0] = [ p[1] ] + p[2] 484 485 def p_identx__single(self, p): 486 "identx : empty" 487 p[0] = [ ] 488 489 def p_ident(self, p): 490 "ident : IDENT" 491 p[0] = p[1] 492 493 # Pair and pair lists 494 def p_pairs__list(self, p): 495 "pairs : ',' pairsx" 496 p[0] = p[2] 497 498 def p_pairs__empty(self, p): 499 "pairs : empty" 500 p[0] = ast.PairListAST(self) 501 502 def p_pairsx__many(self, p): 503 "pairsx : pair ',' pairsx" 504 p[0] = p[3] 505 p[0].addPair(p[1]) 506 507 def p_pairsx__one(self, p): 508 "pairsx : pair" 509 p[0] = ast.PairListAST(self) 510 p[0].addPair(p[1]) 511 512 def p_pair__assign(self, p): 513 """pair : ident '=' STRING 514 | ident '=' ident 515 | ident '=' NUMBER""" 516 p[0] = ast.PairAST(self, p[1], p[3]) 517 518 def p_pair__literal(self, p): 519 "pair : STRING" 520 p[0] = ast.PairAST(self, "short", p[1]) 521 522 # Below are the rules for action descriptions 523 def p_statements__inner(self, p): 524 "statements : '{' statements_inner '}'" 525 p[0] = ast.StatementListAST(self, p[2]) 526 527 def p_statements__none(self, p): 528 "statements : '{' '}'" 529 p[0] = ast.StatementListAST(self, []) 530 531 def p_statements_inner__many(self, p): 532 "statements_inner : statement statements_inner" 533 p[0] = [ p[1] ] + p[2] 534 535 def p_statements_inner__one(self, p): 536 "statements_inner : statement" 537 p[0] = [ p[1] ] 538 539 def p_exprs__multiple(self, p): 540 "exprs : expr ',' exprs" 541 p[0] = [ p[1] ] + p[3] 542 543 def p_exprs__one(self, p): 544 "exprs : expr" 545 p[0] = [ p[1] ] 546 547 def p_exprs__empty(self, p): 548 "exprs : empty""" 549 p[0] = [] 550 551 def p_statement__expression(self, p): 552 "statement : expr SEMI" 553 p[0] = ast.ExprStatementAST(self, p[1]) 554 555 def p_statement__assign(self, p): 556 "statement : expr ASSIGN expr SEMI" 557 p[0] = ast.AssignStatementAST(self, p[1], p[3]) 558 559 def p_statement__enqueue(self, p): 560 "statement : ENQUEUE '(' var ',' type ')' statements" 561 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], None, p[7]) 562 563 def p_statement__enqueue_latency(self, p): 564 "statement : ENQUEUE '(' var ',' type ',' expr ')' statements" 565 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[7], p[9]) 566 567 def p_statement__stall_and_wait(self, p): 568 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI" 569 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5]) 570 571 def p_statement__peek(self, p): 572 "statement : PEEK '(' var ',' type pairs ')' statements" 573 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek") 574 575 def p_statement__check_allocate(self, p): 576 "statement : CHECK_ALLOCATE '(' var ')' SEMI" 577 p[0] = ast.CheckAllocateStatementAST(self, p[3]) 578 579 def p_statement__check_stop(self, p): 580 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI" 581 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7]) 582 583 def p_statement__return(self, p): 584 "statement : RETURN expr SEMI" 585 p[0] = ast.ReturnStatementAST(self, p[2]) 586 587 def p_statement__if(self, p): 588 "statement : if_statement" 589 p[0] = p[1] 590 591 def p_if_statement__if(self, p): 592 "if_statement : IF '(' expr ')' statements" 593 p[0] = ast.IfStatementAST(self, p[3], p[5], None) 594 595 def p_if_statement__if_else(self, p): 596 "if_statement : IF '(' expr ')' statements ELSE statements" 597 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7]) 598 599 def p_statement__if_else_if(self, p): 600 "if_statement : IF '(' expr ')' statements ELSE if_statement" 601 p[0] = ast.IfStatementAST(self, p[3], p[5], 602 ast.StatementListAST(self, p[7])) 603 604 def p_expr__static_cast(self, p): 605 "aexpr : STATIC_CAST '(' type ',' expr ')'" 606 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5]) 607 608 def p_expr__static_cast_ptr(self, p): 609 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'" 610 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7]) 611 612 def p_expr__var(self, p): 613 "aexpr : var" 614 p[0] = p[1] 615 616 def p_expr__localvar(self, p): 617 "aexpr : type ident" 618 p[0] = ast.LocalVariableAST(self, p[1], p[2]) 619 620 def p_expr__literal(self, p): 621 "aexpr : literal" 622 p[0] = p[1] 623 624 def p_expr__enumeration(self, p): 625 "aexpr : enumeration" 626 p[0] = p[1] 627 628 def p_expr__func_call(self, p): 629 "aexpr : ident '(' exprs ')'" 630 p[0] = ast.FuncCallExprAST(self, p[1], p[3]) 631 632 def p_expr__new(self, p): 633 "aexpr : NEW type" 634 p[0] = ast.NewExprAST(self, p[2]) 635 636 def p_expr__null(self, p): 637 "aexpr : OOD" 638 p[0] = ast.OodAST(self) 639 640 def p_expr__member(self, p): 641 "aexpr : aexpr DOT ident" 642 p[0] = ast.MemberExprAST(self, p[1], p[3]) 643 644 def p_expr__member_method_call(self, p): 645 "aexpr : aexpr DOT ident '(' exprs ')'" 646 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5]) 647 648 def p_expr__member_method_call_lookup(self, p): 649 "aexpr : aexpr '[' exprs ']'" 650 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3]) 651 652 def p_expr__class_method_call(self, p): 653 "aexpr : type DOUBLE_COLON ident '(' exprs ')'" 654 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5]) 655 656 def p_expr__aexpr(self, p): 657 "expr : aexpr" 658 p[0] = p[1] 659 660 def p_expr__binary_op(self, p): 661 """expr : expr STAR expr 662 | expr SLASH expr 663 | expr PLUS expr 664 | expr DASH expr 665 | expr LT expr 666 | expr GT expr 667 | expr LE expr 668 | expr GE expr 669 | expr EQ expr 670 | expr NE expr 671 | expr AND expr 672 | expr OR expr 673 | expr RIGHTSHIFT expr 674 | expr LEFTSHIFT expr""" 675 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3]) 676 677 # FIXME - unary not 678 def p_expr__unary_op(self, p): 679 """expr : NOT expr 680 | INCR expr 681 | DECR expr 682 | DASH expr %prec UMINUS""" 683 p[0] = ast.PrefixOperatorExprAST(self, p[1], p[2]) 684 685 def p_expr__parens(self, p): 686 "aexpr : '(' expr ')'" 687 p[0] = p[2] 688 689 def p_expr__is_valid_ptr(self, p): 690 "aexpr : IS_VALID '(' var ')'" 691 p[0] = ast.IsValidPtrExprAST(self, p[3], True) 692 693 def p_expr__is_invalid_ptr(self, p): 694 "aexpr : IS_INVALID '(' var ')'" 695 p[0] = ast.IsValidPtrExprAST(self, p[3], False) 696 697 def p_literal__string(self, p): 698 "literal : STRING" 699 p[0] = ast.LiteralExprAST(self, p[1], "std::string") 700 701 def p_literal__number(self, p): 702 "literal : NUMBER" 703 p[0] = ast.LiteralExprAST(self, p[1], "int") 704 705 def p_literal__float(self, p): 706 "literal : FLOATNUMBER" 707 p[0] = ast.LiteralExprAST(self, p[1], "int") 708 709 def p_literal__bool(self, p): 710 "literal : LIT_BOOL" 711 p[0] = ast.LiteralExprAST(self, p[1], "bool") 712 713 def p_enumeration(self, p): 714 "enumeration : ident ':' ident" 715 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3]) 716 717 def p_var(self, p): 718 "var : ident" 719 p[0] = ast.VarExprAST(self, p[1]) 720