2 This file is used to be the grammar file of ECC tool
4 Copyright (c) 2009 - 2018, Intel Corporation. All rights reserved.<BR>
5 SPDX-License-Identifier: BSD-2-Clause-Patent
17 # The file defines the parser for C source files.
19 # THIS FILE IS AUTO-GENENERATED. PLEASE DON NOT MODIFY THIS FILE.
20 # This file is generated by running:
21 # java org.antlr.Tool C.g
23 # Copyright (c) 2009 - 2010, Intel Corporation All rights reserved.
25 # This program and the accompanying materials are licensed and made available
26 # under the terms and conditions of the BSD License which accompanies this
27 # distribution. The full text of the license may be found at:
28 # http://opensource.org/licenses/bsd-license.php
30 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
31 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
35 import Ecc.CodeFragment as CodeFragment
36 import Ecc.FileProfile as FileProfile
41 def printTokenInfo(self, line, offset, tokenText):
42 print(str(line)+ ',' + str(offset) + ':' + str(tokenText))
44 def StorePredicateExpression(self, StartLine, StartOffset, EndLine, EndOffset, Text):
45 PredExp = CodeFragment.PredicateExpression(Text, (StartLine, StartOffset), (EndLine, EndOffset))
46 FileProfile.PredicateExpressionList.append(PredExp)
48 def StoreEnumerationDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
49 EnumDef = CodeFragment.EnumerationDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
50 FileProfile.EnumerationDefinitionList.append(EnumDef)
52 def StoreStructUnionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
53 SUDef = CodeFragment.StructUnionDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
54 FileProfile.StructUnionDefinitionList.append(SUDef)
56 def StoreTypedefDefinition(self, StartLine, StartOffset, EndLine, EndOffset, FromText, ToText):
57 Tdef = CodeFragment.TypedefDefinition(FromText, ToText, (StartLine, StartOffset), (EndLine, EndOffset))
58 FileProfile.TypedefDefinitionList.append(Tdef)
60 def StoreFunctionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText, LeftBraceLine, LeftBraceOffset, DeclLine, DeclOffset):
61 FuncDef = CodeFragment.FunctionDefinition(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset), (LeftBraceLine, LeftBraceOffset), (DeclLine, DeclOffset))
62 FileProfile.FunctionDefinitionList.append(FuncDef)
64 def StoreVariableDeclaration(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText):
65 VarDecl = CodeFragment.VariableDeclaration(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset))
66 FileProfile.VariableDeclarationList.append(VarDecl)
68 def StoreFunctionCalling(self, StartLine, StartOffset, EndLine, EndOffset, FuncName, ParamList):
69 FuncCall = CodeFragment.FunctionCalling(FuncName, ParamList, (StartLine, StartOffset), (EndLine, EndOffset))
70 FileProfile.FunctionCallingList.append(FuncCall)
75 : external_declaration*
80 : ( declaration_specifiers? declarator declaration* '{' )
83 | macro_statement (';')?
87 locals [String ModifierText = '', String DeclText = '', int LBLine = 0, int LBOffset = 0, int DeclLine = 0, int DeclOffset = 0]
97 self.StoreFunctionDefinition(localctx.start.line, localctx.start.column, localctx.stop.line, localctx.stop.column, ModifierText, DeclText, LBLine, LBOffset, DeclLine, DeclOffset)
99 : d=declaration_specifiers? declarator
100 ( declaration+ a=compound_statement // K&R style
101 | b=compound_statement // ANSI style
103 if localctx.d != None:
104 ModifierText = $declaration_specifiers.text
107 DeclText = $declarator.text
108 DeclLine = $declarator.start.line
109 DeclOffset = $declarator.start.column
110 if localctx.a != None:
111 LBLine = $a.start.line
112 LBOffset = $a.start.column
114 LBLine = $b.start.line
115 LBOffset = $b.start.column
120 declaration_specifiers
121 : ( storage_class_specifier
128 : a='typedef' b=declaration_specifiers? c=init_declarator_list d=';'
130 if localctx.b is not None:
131 self.StoreTypedefDefinition(localctx.a.line, localctx.a.column, $d.line, localctx.d.column, $b.text, $c.text)
133 self.StoreTypedefDefinition(localctx.a.line, localctx.a.column, $d.line, localctx.d.column, '', $c.text)
135 | s=declaration_specifiers t=init_declarator_list? e=';'
137 if localctx.t is not None:
138 self.StoreVariableDeclaration($s.start.line, $s.start.column, $t.start.line, $t.start.column, $s.text, $t.text)
143 : init_declarator (',' init_declarator)*
147 : declarator ('=' initializer)?
150 storage_class_specifier
168 | s=struct_or_union_specifier
170 if localctx.s.stop is not None:
171 self.StoreStructUnionDefinition($s.start.line, $s.start.column, $s.stop.line, $s.stop.column, $s.text)
175 if localctx.e.stop is not None:
176 self.StoreEnumerationDefinition($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)
178 | (IDENTIFIER type_qualifier* declarator)
184 //{self.printTokenInfo($a.line, $a.pos, $a.text)}
187 struct_or_union_specifier
188 : struct_or_union IDENTIFIER? '{' struct_declaration_list '}'
189 | struct_or_union IDENTIFIER
197 struct_declaration_list
198 : struct_declaration+
202 : specifier_qualifier_list struct_declarator_list ';'
205 specifier_qualifier_list
206 : ( type_qualifier | type_specifier )+
209 struct_declarator_list
210 : struct_declarator (',' struct_declarator)*
214 : declarator (':' constant_expression)?
215 | ':' constant_expression
219 : 'enum' '{' enumerator_list ','? '}'
220 | 'enum' IDENTIFIER '{' enumerator_list ','? '}'
225 : enumerator (',' enumerator)*
229 : IDENTIFIER ('=' constant_expression)?
241 | 'GLOBAL_REMOVE_IF_UNREFERENCED'
244 | 'EFI_RUNTIMESERVICE'
249 : pointer? ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? direct_declarator
250 // | ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? pointer? direct_declarator
255 : IDENTIFIER declarator_suffix*
256 | '(' ('EFIAPI')? declarator ')' declarator_suffix+
260 : '[' constant_expression ']'
262 | '(' parameter_type_list ')'
263 | '(' identifier_list ')'
268 : '*' type_qualifier+ pointer?
274 : parameter_list (',' ('OPTIONAL')? '...')?
278 : parameter_declaration (',' ('OPTIONAL')? parameter_declaration)*
281 parameter_declaration
282 : declaration_specifiers (declarator|abstract_declarator)* ('OPTIONAL')?
283 //accomerdate user-defined type only, no declarator follow.
284 | pointer* IDENTIFIER
293 : specifier_qualifier_list abstract_declarator?
298 : pointer direct_abstract_declarator?
299 | direct_abstract_declarator
302 direct_abstract_declarator
303 : ( '(' abstract_declarator ')' | abstract_declarator_suffix ) abstract_declarator_suffix*
306 abstract_declarator_suffix
308 | '[' constant_expression ']'
310 | '(' parameter_type_list ')'
315 : assignment_expression
316 | '{' initializer_list ','? '}'
320 : initializer (',' initializer )*
323 // E x p r e s s i o n s
325 argument_expression_list
326 : assignment_expression ('OPTIONAL')? (',' assignment_expression ('OPTIONAL')?)*
330 : (multiplicative_expression) ('+' multiplicative_expression | '-' multiplicative_expression)*
333 multiplicative_expression
334 : (cast_expression) ('*' cast_expression | '/' cast_expression | '%' cast_expression)*
338 : '(' type_name ')' cast_expression
344 | '++' unary_expression
345 | '--' unary_expression
346 | unary_operator cast_expression
347 | 'sizeof' unary_expression
348 | 'sizeof' '(' type_name ')'
352 locals [FuncCallText='']
357 : p=primary_expression {self.FuncCallText += $p.text}
359 | '(' a=')'{self.StoreFunctionCalling($p.start.line, $p.start.column, $a.line, localctx.a.column, self.FuncCallText, '')}
360 | '(' c=argument_expression_list b=')' {self.StoreFunctionCalling($p.start.line, $p.start.column, $b.line, localctx.b.column, self.FuncCallText, $c.text)}
361 | '(' macro_parameter_list ')'
362 | '.' x=IDENTIFIER {self.FuncCallText += '.' + $x.text}
363 | '*' y=IDENTIFIER {self.FuncCallText = $y.text}
364 | '->' z=IDENTIFIER {self.FuncCallText += '->' + $z.text}
371 : parameter_declaration (',' parameter_declaration)*
394 | (IDENTIFIER* STRING_LITERAL+)+ IDENTIFIER*
395 | FLOATING_POINT_LITERAL
401 : assignment_expression (',' assignment_expression)*
405 : conditional_expression
408 assignment_expression
409 : lvalue assignment_operator assignment_expression
410 | conditional_expression
431 conditional_expression
432 : e=logical_or_expression ('?' expression ':' conditional_expression {self.StorePredicateExpression($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)})?
435 logical_or_expression
436 : logical_and_expression ('||' logical_and_expression)*
439 logical_and_expression
440 : inclusive_or_expression ('&&' inclusive_or_expression)*
443 inclusive_or_expression
444 : exclusive_or_expression ('|' exclusive_or_expression)*
447 exclusive_or_expression
448 : and_expression ('^' and_expression)*
452 : equality_expression ('&' equality_expression)*
455 : relational_expression (('=='|'!=') relational_expression )*
458 relational_expression
459 : shift_expression (('<'|'>'|'<='|'>=') shift_expression)*
463 : additive_expression (('<<'|'>>') additive_expression)*
466 // S t a t e m e n t s
471 | expression_statement
472 | selection_statement
473 | iteration_statement
483 : '__asm__'? IDENTIFIER '(' (~(';'))* ')' ';'
487 : '_asm' '{' (~('}'))* '}'
491 : '__asm' '{' (~('}'))* '}'
495 : IDENTIFIER '(' declaration* statement_list? expression? ')'
499 : IDENTIFIER ':' statement
500 | 'case' constant_expression ':' statement
501 | 'default' ':' statement
505 : '{' declaration* statement_list? '}'
518 : 'if' '(' e=expression ')' {self.StorePredicateExpression($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)} statement (:'else' statement)?
519 | 'switch' '(' expression ')' statement
523 : 'while' '(' e=expression ')' statement {self.StorePredicateExpression($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)}
524 | 'do' statement 'while' '(' e=expression ')' ';' {self.StorePredicateExpression($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)}
525 //| 'for' '(' expression_statement e=expression_statement expression? ')' statement {self.StorePredicateExpression($e.start.line, $e.start.column, $e.stop.line, $e.stop.column, $e.text)}
529 : 'goto' IDENTIFIER ';'
533 | 'return' expression ';'
537 : LETTER (LETTER|'0'..'9')*
549 : ('L')? '\'' ( EscapeSequence | ~('\''|'\\') ) '\''
553 : ('L')? '"' ( EscapeSequence | ~('\\'|'"') )* '"'
556 HEX_LITERAL : '0' ('x'|'X') HexDigit+ IntegerTypeSuffix? ;
558 DECIMAL_LITERAL : ('0' | '1'..'9' '0'..'9'*) IntegerTypeSuffix? ;
560 OCTAL_LITERAL : '0' ('0'..'7')+ IntegerTypeSuffix? ;
563 HexDigit : ('0'..'9'|'a'..'f'|'A'..'F') ;
569 | ('u'|'U') ('l'|'L')
570 | ('u'|'U') ('l'|'L') ('l'|'L')
573 FLOATING_POINT_LITERAL
574 : ('0'..'9')+ '.' ('0'..'9')* Exponent? FloatTypeSuffix?
575 | '.' ('0'..'9')+ Exponent? FloatTypeSuffix?
576 | ('0'..'9')+ Exponent FloatTypeSuffix?
577 | ('0'..'9')+ Exponent? FloatTypeSuffix
581 Exponent : ('e'|'E') ('+'|'-')? ('0'..'9')+ ;
584 FloatTypeSuffix : ('f'|'F'|'d'|'D') ;
588 : '\\' ('b'|'t'|'n'|'f'|'r'|'\''|'\\')
594 : '\\' ('0'..'3') ('0'..'7') ('0'..'7')
595 | '\\' ('0'..'7') ('0'..'7')
601 : '\\' 'u' HexDigit HexDigit HexDigit HexDigit
604 WS : (' '|'\r'|'\t'|'\u000C'|'\n')
608 // ingore '\' of line concatenation
623 : '//' ~('\n'|'\r')* '\r'? '\n'
627 // ignore #line info for now
629 : '#' ~('\n'|'\r')* '\r'? '\n'