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