parser.py revision 9298:9a087e046c58
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 'copy_head' : 'COPY_HEAD', 116 'check_allocate' : 'CHECK_ALLOCATE', 117 'check_stop_slots' : 'CHECK_STOP_SLOTS', 118 'static_cast' : 'STATIC_CAST', 119 'if' : 'IF', 120 'is_valid' : 'IS_VALID', 121 'is_invalid' : 'IS_INVALID', 122 'else' : 'ELSE', 123 'return' : 'RETURN', 124 'void' : 'VOID', 125 'new' : 'NEW', 126 'OOD' : 'OOD', 127 } 128 129 literals = ':[]{}(),=' 130 131 tokens = [ 'EQ', 'NE', 'LT', 'GT', 'LE', 'GE', 132 'LEFTSHIFT', 'RIGHTSHIFT', 133 'NOT', 'AND', 'OR', 134 'PLUS', 'DASH', 'STAR', 'SLASH', 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 160 precedence = ( 161 ('left', 'AND', 'OR'), 162 ('left', 'EQ', 'NE'), 163 ('left', 'LT', 'GT', 'LE', 'GE'), 164 ('left', 'RIGHTSHIFT', 'LEFTSHIFT'), 165 ('left', 'PLUS', 'DASH'), 166 ('left', 'STAR', 'SLASH'), 167 ('right', 'NOT', 'UMINUS'), 168 ) 169 170 def t_IDENT(self, t): 171 r'[a-zA-Z_][a-zA-Z_0-9]*' 172 if t.value == 'true': 173 t.type = 'LIT_BOOL' 174 t.value = True 175 return t 176 177 if t.value == 'false': 178 t.type = 'LIT_BOOL' 179 t.value = False 180 return t 181 182 # Check for reserved words 183 t.type = self.reserved.get(t.value, 'IDENT') 184 return t 185 186 def t_FLOATNUMBER(self, t): 187 '[0-9]+[.][0-9]+' 188 try: 189 t.value = float(t.value) 190 except ValueError: 191 raise ParseError("Illegal float", t) 192 return t 193 194 def t_NUMBER(self, t): 195 r'[0-9]+' 196 try: 197 t.value = int(t.value) 198 except ValueError: 199 raise ParseError("Illegal number", t) 200 return t 201 202 def t_STRING1(self, t): 203 r'\"[^"\n]*\"' 204 t.type = 'STRING' 205 t.value = t.value[1:-1] 206 return t 207 208 def t_STRING2(self, t): 209 r"\'[^'\n]*\'" 210 t.type = 'STRING' 211 t.value = t.value[1:-1] 212 return t 213 214 def p_file(self, p): 215 "file : decls" 216 p[0] = p[1] 217 218 def p_empty(self, p): 219 "empty :" 220 221 def p_decls(self, p): 222 "decls : declsx" 223 p[0] = ast.DeclListAST(self, p[1]) 224 225 def p_declsx__list(self, p): 226 "declsx : decl declsx" 227 if isinstance(p[1], ast.DeclListAST): 228 decls = p[1].decls 229 elif p[1] is None: 230 decls = [] 231 else: 232 decls = [ p[1] ] 233 p[0] = decls + p[2] 234 235 def p_declsx__none(self, p): 236 "declsx : empty" 237 p[0] = [] 238 239 def p_decl__protocol(self, p): 240 "decl : PROTOCOL STRING SEMI" 241 if self.protocol: 242 msg = "Protocol can only be set once! Error at %s:%s\n" % \ 243 (self.current_source, self.current_line) 244 raise ParseError(msg) 245 self.protocol = p[2] 246 p[0] = None 247 248 def p_decl__include(self, p): 249 "decl : INCLUDE STRING SEMI" 250 dirname = os.path.dirname(self.current_source) 251 if os.path.exists(os.path.join(dirname, p[2])): 252 filename = os.path.join(dirname, p[2]) 253 else: 254 filename = os.path.join(self.base_dir, p[2]) 255 p[0] = self.parse_file(filename) 256 257 def p_decl__machine(self, p): 258 "decl : MACHINE '(' ident pairs ')' ':' params '{' decls '}'" 259 p[0] = ast.MachineAST(self, p[3], p[4], p[7], p[9]) 260 261 def p_decl__action(self, p): 262 "decl : ACTION '(' ident pairs ')' statements" 263 p[0] = ast.ActionDeclAST(self, p[3], p[4], p[6]) 264 265 def p_decl__in_port(self, p): 266 "decl : IN_PORT '(' ident ',' type ',' var pairs ')' statements" 267 p[0] = ast.InPortDeclAST(self, p[3], p[5], p[7], p[8], p[10]) 268 269 def p_decl__out_port(self, p): 270 "decl : OUT_PORT '(' ident ',' type ',' var pairs ')' SEMI" 271 p[0] = ast.OutPortDeclAST(self, p[3], p[5], p[7], p[8]) 272 273 def p_decl__trans0(self, p): 274 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents" 275 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], p[7], p[8], p[10]) 276 277 def p_decl__trans1(self, p): 278 "decl : TRANS '(' idents ',' idents pairs ')' idents" 279 p[0] = ast.TransitionDeclAST(self, [], p[3], p[5], None, p[6], p[8]) 280 281 def p_decl__trans2(self, p): 282 "decl : TRANS '(' idents ',' idents ',' ident pairs ')' idents idents" 283 p[0] = ast.TransitionDeclAST(self, p[10], p[3], p[5], p[7], p[8], p[11]) 284 285 def p_decl__trans3(self, p): 286 "decl : TRANS '(' idents ',' idents pairs ')' idents idents" 287 p[0] = ast.TransitionDeclAST(self, p[8], p[3], p[5], None, p[6], p[9]) 288 289 def p_decl__extern0(self, p): 290 "decl : EXTERN_TYPE '(' type pairs ')' SEMI" 291 p[4]["external"] = "yes" 292 p[0] = ast.TypeDeclAST(self, p[3], p[4], []) 293 294 def p_decl__global(self, p): 295 "decl : GLOBAL '(' type pairs ')' '{' type_members '}'" 296 p[4]["global"] = "yes" 297 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7]) 298 299 def p_decl__struct(self, p): 300 "decl : STRUCT '(' type pairs ')' '{' type_members '}'" 301 p[0] = ast.TypeDeclAST(self, p[3], p[4], p[7]) 302 303 def p_decl__enum(self, p): 304 "decl : ENUM '(' type pairs ')' '{' type_enums '}'" 305 p[4]["enumeration"] = "yes" 306 p[0] = ast.EnumDeclAST(self, p[3], p[4], p[7]) 307 308 def p_decl__state_decl(self, p): 309 "decl : STATE_DECL '(' type pairs ')' '{' type_states '}'" 310 p[4]["enumeration"] = "yes" 311 p[4]["state_decl"] = "yes" 312 p[0] = ast.StateDeclAST(self, p[3], p[4], p[7]) 313 314 def p_decl__object(self, p): 315 "decl : type ident pairs SEMI" 316 p[0] = ast.ObjDeclAST(self, p[1], p[2], p[3]) 317 318 # Function definition and declaration 319 def p_decl__func_decl(self, p): 320 "decl : func_decl" 321 p[0] = p[1] 322 323 def p_func_decl__0(self, p): 324 """func_decl : void ident '(' params ')' pairs SEMI 325 | type ident '(' params ')' pairs SEMI""" 326 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], None) 327 328 def p_decl__func_def(self, p): 329 "decl : func_def" 330 p[0] = p[1] 331 332 def p_func_def__0(self, p): 333 """func_def : void ident '(' params ')' pairs statements 334 | type ident '(' params ')' pairs statements""" 335 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7]) 336 337 # Type fields 338 def p_type_members__list(self, p): 339 "type_members : type_member type_members" 340 p[0] = [ p[1] ] + p[2] 341 342 def p_type_members__empty(self, p): 343 "type_members : empty" 344 p[0] = [] 345 346 def p_type_method__0(self, p): 347 "type_member : type_or_void ident '(' types ')' pairs SEMI" 348 p[0] = ast.TypeFieldMethodAST(self, p[1], p[2], p[4], p[6]) 349 350 def p_type_method__1(self, p): 351 "type_member : type_or_void ident '(' params ')' pairs statements" 352 p[0] = ast.FuncDeclAST(self, p[1], p[2], p[4], p[6], p[7]) 353 354 def p_type_member__1(self, p): 355 "type_member : type_or_void ident pairs SEMI" 356 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], p[3], None) 357 358 def p_type_member__2(self, p): 359 "type_member : type_or_void ident ASSIGN expr SEMI" 360 p[0] = ast.TypeFieldMemberAST(self, p[1], p[2], 361 ast.PairListAST(self), p[4]) 362 363 # Enum fields 364 def p_type_enums__list(self, p): 365 "type_enums : type_enum type_enums" 366 p[0] = [ p[1] ] + p[2] 367 368 def p_type_enums__empty(self, p): 369 "type_enums : empty" 370 p[0] = [] 371 372 def p_type_enum(self, p): 373 "type_enum : ident pairs SEMI" 374 p[0] = ast.TypeFieldEnumAST(self, p[1], p[2]) 375 376 # States 377 def p_type_states__list(self, p): 378 "type_states : type_state type_states" 379 p[0] = [ p[1] ] + p[2] 380 381 def p_type_states__empty(self, p): 382 "type_states : empty" 383 p[0] = [] 384 385 def p_type_state(self, p): 386 "type_state : ident ',' enumeration pairs SEMI" 387 p[0] = ast.TypeFieldStateAST(self, p[1], p[3], p[4]) 388 389 # Type 390 def p_types__multiple(self, p): 391 "types : type ',' types" 392 p[0] = [ p[1] ] + p[3] 393 394 def p_types__one(self, p): 395 "types : type" 396 p[0] = [ p[1] ] 397 398 def p_types__empty(self, p): 399 "types : empty" 400 p[0] = [] 401 402 def p_typestr__multi(self, p): 403 "typestr : typestr DOUBLE_COLON ident" 404 p[0] = '%s::%s' % (p[1], p[3]) 405 406 def p_typestr__single(self, p): 407 "typestr : ident" 408 p[0] = p[1] 409 410 def p_type__one(self, p): 411 "type : typestr" 412 p[0] = ast.TypeAST(self, p[1]) 413 414 def p_void(self, p): 415 "void : VOID" 416 p[0] = ast.TypeAST(self, p[1]) 417 418 def p_type_or_void(self, p): 419 """type_or_void : type 420 | void""" 421 p[0] = p[1] 422 423 # Formal Param 424 def p_params__many(self, p): 425 "params : param ',' params" 426 p[0] = [ p[1] ] + p[3] 427 428 def p_params__one(self, p): 429 "params : param" 430 p[0] = [ p[1] ] 431 432 def p_params__none(self, p): 433 "params : empty" 434 p[0] = [] 435 436 def p_param(self, p): 437 "param : type ident" 438 p[0] = ast.FormalParamAST(self, p[1], p[2]) 439 440 def p_param__pointer(self, p): 441 "param : type STAR ident" 442 p[0] = ast.FormalParamAST(self, p[1], p[3], None, True) 443 444 def p_param__pointer_default(self, p): 445 "param : type STAR ident '=' STRING" 446 p[0] = ast.FormalParamAST(self, p[1], p[3], p[5], True) 447 448 def p_param__default_number(self, p): 449 "param : type ident '=' NUMBER" 450 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 451 452 def p_param__default_bool(self, p): 453 "param : type ident '=' LIT_BOOL" 454 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 455 456 def p_param__default_string(self, p): 457 "param : type ident '=' STRING" 458 p[0] = ast.FormalParamAST(self, p[1], p[2], p[4]) 459 460 # Idents and lists 461 def p_idents__braced(self, p): 462 "idents : '{' identx '}'" 463 p[0] = p[2] 464 465 def p_idents__bare(self, p): 466 "idents : ident" 467 p[0] = [ p[1] ] 468 469 def p_identx__multiple_1(self, p): 470 """identx : ident SEMI identx 471 | ident ',' identx""" 472 p[0] = [ p[1] ] + p[3] 473 474 def p_identx__multiple_2(self, p): 475 "identx : ident identx" 476 p[0] = [ p[1] ] + p[2] 477 478 def p_identx__single(self, p): 479 "identx : empty" 480 p[0] = [ ] 481 482 def p_ident(self, p): 483 "ident : IDENT" 484 p[0] = p[1] 485 486 # Pair and pair lists 487 def p_pairs__list(self, p): 488 "pairs : ',' pairsx" 489 p[0] = p[2] 490 491 def p_pairs__empty(self, p): 492 "pairs : empty" 493 p[0] = ast.PairListAST(self) 494 495 def p_pairsx__many(self, p): 496 "pairsx : pair ',' pairsx" 497 p[0] = p[3] 498 p[0].addPair(p[1]) 499 500 def p_pairsx__one(self, p): 501 "pairsx : pair" 502 p[0] = ast.PairListAST(self) 503 p[0].addPair(p[1]) 504 505 def p_pair__assign(self, p): 506 """pair : ident '=' STRING 507 | ident '=' ident 508 | ident '=' NUMBER""" 509 p[0] = ast.PairAST(self, p[1], p[3]) 510 511 def p_pair__literal(self, p): 512 "pair : STRING" 513 p[0] = ast.PairAST(self, "short", p[1]) 514 515 # Below are the rules for action descriptions 516 def p_statements__inner(self, p): 517 "statements : '{' statements_inner '}'" 518 p[0] = ast.StatementListAST(self, p[2]) 519 520 def p_statements__none(self, p): 521 "statements : '{' '}'" 522 p[0] = ast.StatementListAST(self, []) 523 524 def p_statements_inner__many(self, p): 525 "statements_inner : statement statements_inner" 526 p[0] = [ p[1] ] + p[2] 527 528 def p_statements_inner__one(self, p): 529 "statements_inner : statement" 530 p[0] = [ p[1] ] 531 532 def p_exprs__multiple(self, p): 533 "exprs : expr ',' exprs" 534 p[0] = [ p[1] ] + p[3] 535 536 def p_exprs__one(self, p): 537 "exprs : expr" 538 p[0] = [ p[1] ] 539 540 def p_exprs__empty(self, p): 541 "exprs : empty""" 542 p[0] = [] 543 544 def p_statement__expression(self, p): 545 "statement : expr SEMI" 546 p[0] = ast.ExprStatementAST(self, p[1]) 547 548 def p_statement__assign(self, p): 549 "statement : expr ASSIGN expr SEMI" 550 p[0] = ast.AssignStatementAST(self, p[1], p[3]) 551 552 def p_statement__enqueue(self, p): 553 "statement : ENQUEUE '(' var ',' type pairs ')' statements" 554 p[0] = ast.EnqueueStatementAST(self, p[3], p[5], p[6], p[8]) 555 556 def p_statement__stall_and_wait(self, p): 557 "statement : STALL_AND_WAIT '(' var ',' var ')' SEMI" 558 p[0] = ast.StallAndWaitStatementAST(self, p[3], p[5]) 559 560 def p_statement__peek(self, p): 561 "statement : PEEK '(' var ',' type pairs ')' statements" 562 p[0] = ast.PeekStatementAST(self, p[3], p[5], p[6], p[8], "peek") 563 564 def p_statement__copy_head(self, p): 565 "statement : COPY_HEAD '(' var ',' var pairs ')' SEMI" 566 p[0] = ast.CopyHeadStatementAST(self, p[3], p[5], p[6]) 567 568 def p_statement__check_allocate(self, p): 569 "statement : CHECK_ALLOCATE '(' var ')' SEMI" 570 p[0] = ast.CheckAllocateStatementAST(self, p[3]) 571 572 def p_statement__check_stop(self, p): 573 "statement : CHECK_STOP_SLOTS '(' var ',' STRING ',' STRING ')' SEMI" 574 p[0] = ast.CheckStopStatementAST(self, p[3], p[5], p[7]) 575 576 def p_statement__static_cast(self, p): 577 "aexpr : STATIC_CAST '(' type ',' expr ')'" 578 p[0] = ast.StaticCastAST(self, p[3], "ref", p[5]) 579 580 def p_statement__static_cast_ptr(self, p): 581 "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'" 582 p[0] = ast.StaticCastAST(self, p[3], p[5], p[7]) 583 584 def p_statement__return(self, p): 585 "statement : RETURN expr SEMI" 586 p[0] = ast.ReturnStatementAST(self, p[2]) 587 588 def p_statement__if(self, p): 589 "statement : if_statement" 590 p[0] = p[1] 591 592 def p_if_statement__if(self, p): 593 "if_statement : IF '(' expr ')' statements" 594 p[0] = ast.IfStatementAST(self, p[3], p[5], None) 595 596 def p_if_statement__if_else(self, p): 597 "if_statement : IF '(' expr ')' statements ELSE statements" 598 p[0] = ast.IfStatementAST(self, p[3], p[5], p[7]) 599 600 def p_statement__if_else_if(self, p): 601 "if_statement : IF '(' expr ')' statements ELSE if_statement" 602 p[0] = ast.IfStatementAST(self, p[3], p[5], 603 ast.StatementListAST(self, p[7])) 604 605 def p_expr__var(self, p): 606 "aexpr : var" 607 p[0] = p[1] 608 609 def p_expr__localvar(self, p): 610 "aexpr : type ident" 611 p[0] = ast.LocalVariableAST(self, p[1], p[2]) 612 613 def p_expr__literal(self, p): 614 "aexpr : literal" 615 p[0] = p[1] 616 617 def p_expr__enumeration(self, p): 618 "aexpr : enumeration" 619 p[0] = p[1] 620 621 def p_expr__func_call(self, p): 622 "aexpr : ident '(' exprs ')'" 623 p[0] = ast.FuncCallExprAST(self, p[1], p[3]) 624 625 def p_expr__new(self, p): 626 "aexpr : NEW type" 627 p[0] = ast.NewExprAST(self, p[2]) 628 629 def p_expr__null(self, p): 630 "aexpr : OOD" 631 p[0] = ast.OodAST(self) 632 633 def p_expr__member(self, p): 634 "aexpr : aexpr DOT ident" 635 p[0] = ast.MemberExprAST(self, p[1], p[3]) 636 637 def p_expr__member_method_call(self, p): 638 "aexpr : aexpr DOT ident '(' exprs ')'" 639 p[0] = ast.MemberMethodCallExprAST(self, p[1], p[3], p[5]) 640 641 def p_expr__member_method_call_lookup(self, p): 642 "aexpr : aexpr '[' exprs ']'" 643 p[0] = ast.MemberMethodCallExprAST(self, p[1], "lookup", p[3]) 644 645 def p_expr__class_method_call(self, p): 646 "aexpr : type DOUBLE_COLON ident '(' exprs ')'" 647 p[0] = ast.ClassMethodCallExprAST(self, p[1], p[3], p[5]) 648 649 def p_expr__aexpr(self, p): 650 "expr : aexpr" 651 p[0] = p[1] 652 653 def p_expr__binary_op(self, p): 654 """expr : expr STAR expr 655 | expr SLASH expr 656 | expr PLUS expr 657 | expr DASH expr 658 | expr LT expr 659 | expr GT expr 660 | expr LE expr 661 | expr GE expr 662 | expr EQ expr 663 | expr NE expr 664 | expr AND expr 665 | expr OR expr 666 | expr RIGHTSHIFT expr 667 | expr LEFTSHIFT expr""" 668 p[0] = ast.InfixOperatorExprAST(self, p[1], p[2], p[3]) 669 670 # FIXME - unary not 671 def p_expr__unary_op(self, p): 672 """expr : NOT expr 673 | DASH expr %prec UMINUS""" 674 p[0] = PrefixOperatorExpr(p[1], p[2]) 675 676 def p_expr__parens(self, p): 677 "aexpr : '(' expr ')'" 678 p[0] = p[2] 679 680 def p_expr__is_valid_ptr(self, p): 681 "aexpr : IS_VALID '(' var ')'" 682 p[0] = ast.IsValidPtrExprAST(self, p[3], True) 683 684 def p_expr__is_invalid_ptr(self, p): 685 "aexpr : IS_INVALID '(' var ')'" 686 p[0] = ast.IsValidPtrExprAST(self, p[3], False) 687 688 def p_literal__string(self, p): 689 "literal : STRING" 690 p[0] = ast.LiteralExprAST(self, p[1], "std::string") 691 692 def p_literal__number(self, p): 693 "literal : NUMBER" 694 p[0] = ast.LiteralExprAST(self, p[1], "int") 695 696 def p_literal__float(self, p): 697 "literal : FLOATNUMBER" 698 p[0] = ast.LiteralExprAST(self, p[1], "int") 699 700 def p_literal__bool(self, p): 701 "literal : LIT_BOOL" 702 p[0] = ast.LiteralExprAST(self, p[1], "bool") 703 704 def p_enumeration(self, p): 705 "enumeration : ident ':' ident" 706 p[0] = ast.EnumExprAST(self, ast.TypeAST(self, p[1]), p[3]) 707 708 def p_var(self, p): 709 "var : ident" 710 p[0] = ast.VarExprAST(self, p[1]) 711