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