BaseTools/Source/Python/Ecc/C.g - device/linaro/bootloader/edk2 - Git at Google

 /* @file
  This file is used to be the grammar file of ECC tool

  Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
  This program and the accompanying materials
  are licensed and made available under the terms and conditions of the BSD License
  which accompanies this distribution.  The full text of the license may be found at
  http://opensource.org/licenses/bsd-license.php

  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
 */

 grammar C;
 options {
     language=Python;
     backtrack=true;
     memoize=true;
     k=2;
 }

 @lexer::header{
 ## @file
 # The file defines the Lexer for C source files.
 #
 # THIS FILE IS AUTO-GENENERATED. PLEASE DON NOT MODIFY THIS FILE.
 # This file is generated by running:
 # java org.antlr.Tool C.g
 #
 # Copyright (c) 2009 - 2010, Intel Corporation  All rights reserved.
 #
 # This program and the accompanying materials are licensed and made available
 # under the terms and conditions of the BSD License which accompanies this
 # distribution.  The full text of the license may be found at:
 #   http://opensource.org/licenses/bsd-license.php
 #
 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
 #
 ##
 }

 @header {
 ## @file
 # The file defines the parser for C source files.
 #
 # THIS FILE IS AUTO-GENENERATED. PLEASE DON NOT MODIFY THIS FILE.
 # This file is generated by running:
 # java org.antlr.Tool C.g
 #
 # Copyright (c) 2009 - 2010, Intel Corporation  All rights reserved.
 #
 # This program and the accompanying materials are licensed and made available
 # under the terms and conditions of the BSD License which accompanies this
 # distribution.  The full text of the license may be found at:
 #   http://opensource.org/licenses/bsd-license.php
 #
 # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
 # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
 #
 ##

 import CodeFragment
 import FileProfile
 }

 @members {

     def printTokenInfo(self, line, offset, tokenText):
     	print str(line)+ ',' + str(offset) + ':' + str(tokenText)

     def StorePredicateExpression(self, StartLine, StartOffset, EndLine, EndOffset, Text):
     	PredExp = CodeFragment.PredicateExpression(Text, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.PredicateExpressionList.append(PredExp)

     def StoreEnumerationDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
     	EnumDef = CodeFragment.EnumerationDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.EnumerationDefinitionList.append(EnumDef)

     def StoreStructUnionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
     	SUDef = CodeFragment.StructUnionDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.StructUnionDefinitionList.append(SUDef)

     def StoreTypedefDefinition(self, StartLine, StartOffset, EndLine, EndOffset, FromText, ToText):
     	Tdef = CodeFragment.TypedefDefinition(FromText, ToText, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.TypedefDefinitionList.append(Tdef)

     def StoreFunctionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText, LeftBraceLine, LeftBraceOffset, DeclLine, DeclOffset):
     	FuncDef = CodeFragment.FunctionDefinition(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset), (LeftBraceLine, LeftBraceOffset), (DeclLine, DeclOffset))
     	FileProfile.FunctionDefinitionList.append(FuncDef)

     def StoreVariableDeclaration(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText):
     	VarDecl = CodeFragment.VariableDeclaration(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.VariableDeclarationList.append(VarDecl)

     def StoreFunctionCalling(self, StartLine, StartOffset, EndLine, EndOffset, FuncName, ParamList):
     	FuncCall = CodeFragment.FunctionCalling(FuncName, ParamList, (StartLine, StartOffset), (EndLine, EndOffset))
     	FileProfile.FunctionCallingList.append(FuncCall)

 }

 translation_unit
 	: external_declaration*
 	;


 /*function_declaration
 @after{
   print $function_declaration.text
 }
 	: declaration_specifiers IDENTIFIER '(' parameter_list ')' ';'
 	;
 */
 external_declaration
 options {k=1;}
 /*@after{
   print $external_declaration.text
 }*/
 	: ( declaration_specifiers? declarator declaration* '{' )=> function_definition
 	| declaration
 	| macro_statement (';')?
 	;


 function_definition
 scope {
   ModifierText;
   DeclText;
   LBLine;
   LBOffset;
   DeclLine;
   DeclOffset;
 }
 @init {
   $function_definition::ModifierText = '';
   $function_definition::DeclText = '';
   $function_definition::LBLine = 0;
   $function_definition::LBOffset = 0;
   $function_definition::DeclLine = 0;
   $function_definition::DeclOffset = 0;
 }
 @after{
   self.StoreFunctionDefinition($function_definition.start.line, $function_definition.start.charPositionInLine, $function_definition.stop.line, $function_definition.stop.charPositionInLine, $function_definition::ModifierText, $function_definition::DeclText, $function_definition::LBLine, $function_definition::LBOffset, $function_definition::DeclLine, $function_definition::DeclOffset)
 }
 	:	d=declaration_specifiers? declarator
 		(	declaration+ a=compound_statement	// K&R style
 		|	b=compound_statement				// ANSI style
 		) {
 		    if d != None:
 		      $function_definition::ModifierText = $declaration_specifiers.text
 		    else:
 		      $function_definition::ModifierText = ''
 		    $function_definition::DeclText = $declarator.text
 		    $function_definition::DeclLine = $declarator.start.line
 		    $function_definition::DeclOffset = $declarator.start.charPositionInLine
 		    if a != None:
 		      $function_definition::LBLine = $a.start.line
 		      $function_definition::LBOffset = $a.start.charPositionInLine
 		    else:
 		      $function_definition::LBLine = $b.start.line
 		      $function_definition::LBOffset = $b.start.charPositionInLine
 		  }
 	;

 declaration
 	: a='typedef' b=declaration_specifiers?
 	  c=init_declarator_list d=';'
 	  {
 	  if b != None:
 	    self.StoreTypedefDefinition($a.line, $a.charPositionInLine, $d.line, $d.charPositionInLine, $b.text, $c.text)
 	  else:
 	    self.StoreTypedefDefinition($a.line, $a.charPositionInLine, $d.line, $d.charPositionInLine, '', $c.text)
 	  }
 	| s=declaration_specifiers t=init_declarator_list? e=';'
 	{
 	if t != None:
 	  self.StoreVariableDeclaration($s.start.line, $s.start.charPositionInLine, $t.start.line, $t.start.charPositionInLine, $s.text, $t.text)
 	}
 	;

 declaration_specifiers
 	:   (   storage_class_specifier
 		|   type_specifier
         |   type_qualifier
         )+
 	;

 init_declarator_list
 	: init_declarator (',' init_declarator)*
 	;

 init_declarator
 	: declarator ('=' initializer)?
 	;

 storage_class_specifier
 	: 'extern'
 	| 'static'
 	| 'auto'
 	| 'register'
 	| 'STATIC'
 	;

 type_specifier
 	: 'void'
 	| 'char'
 	| 'short'
 	| 'int'
 	| 'long'
 	| 'float'
 	| 'double'
 	| 'signed'
 	| 'unsigned'
 	| s=struct_or_union_specifier
 	{
 	if s.stop != None:
 	  self.StoreStructUnionDefinition($s.start.line, $s.start.charPositionInLine, $s.stop.line, $s.stop.charPositionInLine, $s.text)
 	}
 	| e=enum_specifier
 	{
 	if e.stop != None:
 	  self.StoreEnumerationDefinition($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)
 	}
 	| (IDENTIFIER type_qualifier* declarator)=> type_id
 	;

 type_id
     :   IDENTIFIER
     	//{self.printTokenInfo($a.line, $a.pos, $a.text)}
     ;

 struct_or_union_specifier
 options {k=3;}
 	: struct_or_union IDENTIFIER? '{' struct_declaration_list '}'
 	| struct_or_union IDENTIFIER
 	;

 struct_or_union
 	: 'struct'
 	| 'union'
 	;

 struct_declaration_list
 	: struct_declaration+
 	;

 struct_declaration
 	: specifier_qualifier_list struct_declarator_list ';'
 	;

 specifier_qualifier_list
 	: ( type_qualifier | type_specifier )+
 	;

 struct_declarator_list
 	: struct_declarator (',' struct_declarator)*
 	;

 struct_declarator
 	: declarator (':' constant_expression)?
 	| ':' constant_expression
 	;

 enum_specifier
 options {k=3;}
 	: 'enum' '{' enumerator_list ','? '}'
 	| 'enum' IDENTIFIER '{' enumerator_list ','? '}'
 	| 'enum' IDENTIFIER
 	;

 enumerator_list
 	: enumerator (',' enumerator)*
 	;

 enumerator
 	: IDENTIFIER ('=' constant_expression)?
 	;

 type_qualifier
 	: 'const'
 	| 'volatile'
 	| 'IN'
 	| 'OUT'
 	| 'OPTIONAL'
 	| 'CONST'
 	| 'UNALIGNED'
 	| 'VOLATILE'
 	| 'GLOBAL_REMOVE_IF_UNREFERENCED'
 	| 'EFIAPI'
 	| 'EFI_BOOTSERVICE'
 	| 'EFI_RUNTIMESERVICE'
 	| 'PACKED'
 	;

 declarator
 	: pointer? ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? direct_declarator
 //	| ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? pointer? direct_declarator
 	| pointer
 	;

 direct_declarator
 	: IDENTIFIER declarator_suffix*
 	| '(' ('EFIAPI')? declarator ')' declarator_suffix+
 	;

 declarator_suffix
 	:   '[' constant_expression ']'
     |   '[' ']'
     |   '(' parameter_type_list ')'
     |   '(' identifier_list ')'
     |   '(' ')'
 	;

 pointer
 	: '*' type_qualifier+ pointer?
 	| '*' pointer
 	| '*'
 	;

 parameter_type_list
 	: parameter_list (',' ('OPTIONAL')? '...')?
 	;

 parameter_list
 	: parameter_declaration (',' ('OPTIONAL')? parameter_declaration)*
 	;

 parameter_declaration
 	: declaration_specifiers (declarator|abstract_declarator)* ('OPTIONAL')?
 	//accomerdate user-defined type only, no declarator follow.
 	| pointer* IDENTIFIER
 	;

 identifier_list
 	: IDENTIFIER
 	(',' IDENTIFIER)*
 	;

 type_name
 	: specifier_qualifier_list abstract_declarator?
 	| type_id
 	;

 abstract_declarator
 	: pointer direct_abstract_declarator?
 	| direct_abstract_declarator
 	;

 direct_abstract_declarator
 	:	( '(' abstract_declarator ')' | abstract_declarator_suffix ) abstract_declarator_suffix*
 	;

 abstract_declarator_suffix
 	:	'[' ']'
 	|	'[' constant_expression ']'
 	|	'(' ')'
 	|	'(' parameter_type_list ')'
 	;

 initializer

 	: assignment_expression
 	| '{' initializer_list ','? '}'
 	;

 initializer_list
 	: initializer (',' initializer )*
 	;

 // E x p r e s s i o n s

 argument_expression_list
 	:   assignment_expression ('OPTIONAL')? (',' assignment_expression ('OPTIONAL')?)*
 	;

 additive_expression
 	: (multiplicative_expression) ('+' multiplicative_expression | '-' multiplicative_expression)*
 	;

 multiplicative_expression
 	: (cast_expression) ('*' cast_expression | '/' cast_expression | '%' cast_expression)*
 	;

 cast_expression
 	: '(' type_name ')' cast_expression
 	| unary_expression
 	;

 unary_expression
 	: postfix_expression
 	| '++' unary_expression
 	| '--' unary_expression
 	| unary_operator cast_expression
 	| 'sizeof' unary_expression
 	| 'sizeof' '(' type_name ')'
 	;

 postfix_expression
 scope {
   FuncCallText;
 }
 @init {
   $postfix_expression::FuncCallText = '';
 }
 	:   p=primary_expression {$postfix_expression::FuncCallText += $p.text}
         (   '[' expression ']'
         |   '(' a=')'{self.StoreFunctionCalling($p.start.line, $p.start.charPositionInLine, $a.line, $a.charPositionInLine, $postfix_expression::FuncCallText, '')}
         |   '(' c=argument_expression_list b=')' {self.StoreFunctionCalling($p.start.line, $p.start.charPositionInLine, $b.line, $b.charPositionInLine, $postfix_expression::FuncCallText, $c.text)}
         |   '(' macro_parameter_list ')'
         |   '.' x=IDENTIFIER {$postfix_expression::FuncCallText += '.' + $x.text}
         |   '*' y=IDENTIFIER {$postfix_expression::FuncCallText = $y.text}
         |   '->' z=IDENTIFIER {$postfix_expression::FuncCallText += '->' + $z.text}
         |   '++'
         |   '--'
         )*
 	;

 macro_parameter_list
 	: parameter_declaration (',' parameter_declaration)*
 	;

 unary_operator
 	: '&'
 	| '*'
 	| '+'
 	| '-'
 	| '~'
 	| '!'
 	;

 primary_expression
 	: IDENTIFIER
 	| constant
 	| '(' expression ')'
 	;

 constant
     :   HEX_LITERAL
     |   OCTAL_LITERAL
     |   DECIMAL_LITERAL
     |	CHARACTER_LITERAL
     |	(IDENTIFIER* STRING_LITERAL+)+ IDENTIFIER*
     |   FLOATING_POINT_LITERAL
     ;

 /////

 expression
 	: assignment_expression (',' assignment_expression)*
 	;

 constant_expression
 	: conditional_expression
 	;

 assignment_expression
 	: lvalue assignment_operator assignment_expression
 	| conditional_expression
 	;

 lvalue
 	:	unary_expression
 	;

 assignment_operator
 	: '='
 	| '*='
 	| '/='
 	| '%='
 	| '+='
 	| '-='
 	| '<<='
 	| '>>='
 	| '&='
 	| '^='
 	| '|='
 	;

 conditional_expression
 	: e=logical_or_expression ('?' expression ':' conditional_expression {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)})?
 	;

 logical_or_expression
 	: logical_and_expression ('||' logical_and_expression)*
 	;

 logical_and_expression
 	: inclusive_or_expression ('&&' inclusive_or_expression)*
 	;

 inclusive_or_expression
 	: exclusive_or_expression ('|' exclusive_or_expression)*
 	;

 exclusive_or_expression
 	: and_expression ('^' and_expression)*
 	;

 and_expression
 	: equality_expression ('&' equality_expression)*
 	;
 equality_expression
 	: relational_expression (('=='|'!=') relational_expression )*
 	;

 relational_expression
 	: shift_expression (('<'|'>'|'<='|'>=') shift_expression)*
 	;

 shift_expression
 	: additive_expression (('<<'|'>>') additive_expression)*
 	;

 // S t a t e m e n t s

 statement
 	: labeled_statement
 	| compound_statement
 	| expression_statement
 	| selection_statement
 	| iteration_statement
 	| jump_statement
 	| macro_statement
 	| asm2_statement
 	| asm1_statement
 	| asm_statement
 	| declaration
 	;

 asm2_statement
 	: '__asm__'? IDENTIFIER '(' (~(';'))* ')' ';'
 	;

 asm1_statement
 	: '_asm' '{' (~('}'))* '}'
 	;

 asm_statement
 	: '__asm' '{' (~('}'))* '}'
 	;

 macro_statement
 	: IDENTIFIER '(' declaration*  statement_list? expression? ')'
 	;

 labeled_statement
 	: IDENTIFIER ':' statement
 	| 'case' constant_expression ':' statement
 	| 'default' ':' statement
 	;

 compound_statement
 	: '{' declaration* statement_list? '}'
 	;

 statement_list
 	: statement+
 	;

 expression_statement
 	: ';'
 	| expression ';'
 	;

 selection_statement
 	: 'if' '(' e=expression ')' {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)} statement (options {k=1; backtrack=false;}:'else' statement)?
 	| 'switch' '(' expression ')' statement
 	;

 iteration_statement
 	: 'while' '(' e=expression ')' statement {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
 	| 'do' statement 'while' '(' e=expression ')' ';' {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
 	| 'for' '(' expression_statement e=expression_statement expression? ')' statement {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
 	;

 jump_statement
 	: 'goto' IDENTIFIER ';'
 	| 'continue' ';'
 	| 'break' ';'
 	| 'return' ';'
 	| 'return' expression ';'
 	;

 IDENTIFIER
 	:	LETTER (LETTER|'0'..'9')*
 	;

 fragment
 LETTER
 	:	'$'
 	|  'A'..'Z'
 	|  'a'..'z'
 	|	'_'
 	;

 CHARACTER_LITERAL
     :   ('L')? '\'' ( EscapeSequence | ~('\''|'\\') ) '\''
     ;

 STRING_LITERAL
     :  ('L')? '"' ( EscapeSequence | ~('\\'|'"') )* '"'
     ;

 HEX_LITERAL : '0' ('x'|'X') HexDigit+ IntegerTypeSuffix? ;

 DECIMAL_LITERAL : ('0' | '1'..'9' '0'..'9'*) IntegerTypeSuffix? ;

 OCTAL_LITERAL : '0' ('0'..'7')+ IntegerTypeSuffix? ;

 fragment
 HexDigit : ('0'..'9'|'a'..'f'|'A'..'F') ;

 fragment
 IntegerTypeSuffix
 	: ('u'|'U')
 	| ('l'|'L')
 	| ('u'|'U')  ('l'|'L')
 	| ('u'|'U')  ('l'|'L') ('l'|'L')
 	;

 FLOATING_POINT_LITERAL
     :   ('0'..'9')+ '.' ('0'..'9')* Exponent? FloatTypeSuffix?
     |   '.' ('0'..'9')+ Exponent? FloatTypeSuffix?
     |   ('0'..'9')+ Exponent FloatTypeSuffix?
     |   ('0'..'9')+ Exponent? FloatTypeSuffix
 	;

 fragment
 Exponent : ('e'|'E') ('+'|'-')? ('0'..'9')+ ;

 fragment
 FloatTypeSuffix : ('f'|'F'|'d'|'D') ;

 fragment
 EscapeSequence
     :  '\\' ('b'|'t'|'n'|'f'|'r'|'\"'|'\''|'\\')
     |   OctalEscape
     ;

 fragment
 OctalEscape
     :   '\\' ('0'..'3') ('0'..'7') ('0'..'7')
     |   '\\' ('0'..'7') ('0'..'7')
     |   '\\' ('0'..'7')
     ;

 fragment
 UnicodeEscape
     :   '\\' 'u' HexDigit HexDigit HexDigit HexDigit
     ;

 WS  :  (' '|'\r'|'\t'|'\u000C'|'\n') {$channel=HIDDEN;}
     ;

 // ingore '\' of line concatenation
 BS  : ('\\') {$channel=HIDDEN;}
     ;

 // ingore function modifiers
 //FUNC_MODIFIERS  : 'EFIAPI' {$channel=HIDDEN;}
 //    ;

 UnicodeVocabulary
     : '\u0003'..'\uFFFE'
     ;
 COMMENT
     :   '/*' ( options {greedy=false;} : . )* '*/' {$channel=HIDDEN;}
     ;


 LINE_COMMENT
     : '//' ~('\n'|'\r')* '\r'? '\n' {$channel=HIDDEN;}
     ;

 // ignore #line info for now
 LINE_COMMAND
     : '#' ~('\n'|'\r')* '\r'? '\n' {$channel=HIDDEN;}
     ;
	/* @file
	This file is used to be the grammar file of ECC tool

	Copyright (c) 2009 - 2010, Intel Corporation. All rights reserved.<BR>
	This program and the accompanying materials
	are licensed and made available under the terms and conditions of the BSD License
	which accompanies this distribution. The full text of the license may be found at
	http://opensource.org/licenses/bsd-license.php

	THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
	WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
	*/

	grammar C;
	options {
	language=Python;
	backtrack=true;
	memoize=true;
	k=2;
	}

	@lexer::header{
	## @file
	# The file defines the Lexer for C source files.
	#
	# THIS FILE IS AUTO-GENENERATED. PLEASE DON NOT MODIFY THIS FILE.
	# This file is generated by running:
	# java org.antlr.Tool C.g
	#
	# Copyright (c) 2009 - 2010, Intel Corporation All rights reserved.
	#
	# This program and the accompanying materials are licensed and made available
	# under the terms and conditions of the BSD License which accompanies this
	# distribution. The full text of the license may be found at:
	# http://opensource.org/licenses/bsd-license.php
	#
	# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
	# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
	#
	##
	}

	@header {
	## @file
	# The file defines the parser for C source files.
	#
	# THIS FILE IS AUTO-GENENERATED. PLEASE DON NOT MODIFY THIS FILE.
	# This file is generated by running:
	# java org.antlr.Tool C.g
	#
	# Copyright (c) 2009 - 2010, Intel Corporation All rights reserved.
	#
	# This program and the accompanying materials are licensed and made available
	# under the terms and conditions of the BSD License which accompanies this
	# distribution. The full text of the license may be found at:
	# http://opensource.org/licenses/bsd-license.php
	#
	# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
	# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
	#
	##

	import CodeFragment
	import FileProfile
	}

	@members {

	def printTokenInfo(self, line, offset, tokenText):
	print str(line)+ ',' + str(offset) + ':' + str(tokenText)

	def StorePredicateExpression(self, StartLine, StartOffset, EndLine, EndOffset, Text):
	PredExp = CodeFragment.PredicateExpression(Text, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.PredicateExpressionList.append(PredExp)

	def StoreEnumerationDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
	EnumDef = CodeFragment.EnumerationDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.EnumerationDefinitionList.append(EnumDef)

	def StoreStructUnionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, Text):
	SUDef = CodeFragment.StructUnionDefinition(Text, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.StructUnionDefinitionList.append(SUDef)

	def StoreTypedefDefinition(self, StartLine, StartOffset, EndLine, EndOffset, FromText, ToText):
	Tdef = CodeFragment.TypedefDefinition(FromText, ToText, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.TypedefDefinitionList.append(Tdef)

	def StoreFunctionDefinition(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText, LeftBraceLine, LeftBraceOffset, DeclLine, DeclOffset):
	FuncDef = CodeFragment.FunctionDefinition(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset), (LeftBraceLine, LeftBraceOffset), (DeclLine, DeclOffset))
	FileProfile.FunctionDefinitionList.append(FuncDef)

	def StoreVariableDeclaration(self, StartLine, StartOffset, EndLine, EndOffset, ModifierText, DeclText):
	VarDecl = CodeFragment.VariableDeclaration(ModifierText, DeclText, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.VariableDeclarationList.append(VarDecl)

	def StoreFunctionCalling(self, StartLine, StartOffset, EndLine, EndOffset, FuncName, ParamList):
	FuncCall = CodeFragment.FunctionCalling(FuncName, ParamList, (StartLine, StartOffset), (EndLine, EndOffset))
	FileProfile.FunctionCallingList.append(FuncCall)

	}

	translation_unit
	: external_declaration*
	;


	/*function_declaration
	@after{
	print $function_declaration.text
	}
	: declaration_specifiers IDENTIFIER '(' parameter_list ')' ';'
	;
	*/
	external_declaration
	options {k=1;}
	/*@after{
	print $external_declaration.text
	}*/
	: ( declaration_specifiers? declarator declaration* '{' )=> function_definition
	\| declaration
	\| macro_statement (';')?
	;



	function_definition
	scope {
	ModifierText;
	DeclText;
	LBLine;
	LBOffset;
	DeclLine;
	DeclOffset;
	}
	@init {
	$function_definition::ModifierText = '';
	$function_definition::DeclText = '';
	$function_definition::LBLine = 0;
	$function_definition::LBOffset = 0;
	$function_definition::DeclLine = 0;
	$function_definition::DeclOffset = 0;
	}
	@after{
	self.StoreFunctionDefinition($function_definition.start.line, $function_definition.start.charPositionInLine, $function_definition.stop.line, $function_definition.stop.charPositionInLine, $function_definition::ModifierText, $function_definition::DeclText, $function_definition::LBLine, $function_definition::LBOffset, $function_definition::DeclLine, $function_definition::DeclOffset)
	}
	: d=declaration_specifiers? declarator
	( declaration+ a=compound_statement // K&R style
	\| b=compound_statement // ANSI style
	) {
	if d != None:
	$function_definition::ModifierText = $declaration_specifiers.text
	else:
	$function_definition::ModifierText = ''
	$function_definition::DeclText = $declarator.text
	$function_definition::DeclLine = $declarator.start.line
	$function_definition::DeclOffset = $declarator.start.charPositionInLine
	if a != None:
	$function_definition::LBLine = $a.start.line
	$function_definition::LBOffset = $a.start.charPositionInLine
	else:
	$function_definition::LBLine = $b.start.line
	$function_definition::LBOffset = $b.start.charPositionInLine
	}
	;

	declaration
	: a='typedef' b=declaration_specifiers?
	c=init_declarator_list d=';'
	{
	if b != None:
	self.StoreTypedefDefinition($a.line, $a.charPositionInLine, $d.line, $d.charPositionInLine, $b.text, $c.text)
	else:
	self.StoreTypedefDefinition($a.line, $a.charPositionInLine, $d.line, $d.charPositionInLine, '', $c.text)
	}
	\| s=declaration_specifiers t=init_declarator_list? e=';'
	{
	if t != None:
	self.StoreVariableDeclaration($s.start.line, $s.start.charPositionInLine, $t.start.line, $t.start.charPositionInLine, $s.text, $t.text)
	}
	;

	declaration_specifiers
	: ( storage_class_specifier
	\| type_specifier
	\| type_qualifier
	)+
	;

	init_declarator_list
	: init_declarator (',' init_declarator)*
	;

	init_declarator
	: declarator ('=' initializer)?
	;

	storage_class_specifier
	: 'extern'
	\| 'static'
	\| 'auto'
	\| 'register'
	\| 'STATIC'
	;

	type_specifier
	: 'void'
	\| 'char'
	\| 'short'
	\| 'int'
	\| 'long'
	\| 'float'
	\| 'double'
	\| 'signed'
	\| 'unsigned'
	\| s=struct_or_union_specifier
	{
	if s.stop != None:
	self.StoreStructUnionDefinition($s.start.line, $s.start.charPositionInLine, $s.stop.line, $s.stop.charPositionInLine, $s.text)
	}
	\| e=enum_specifier
	{
	if e.stop != None:
	self.StoreEnumerationDefinition($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)
	}
	\| (IDENTIFIER type_qualifier* declarator)=> type_id
	;

	type_id
	: IDENTIFIER
	//{self.printTokenInfo($a.line, $a.pos, $a.text)}
	;

	struct_or_union_specifier
	options {k=3;}
	: struct_or_union IDENTIFIER? '{' struct_declaration_list '}'
	\| struct_or_union IDENTIFIER
	;

	struct_or_union
	: 'struct'
	\| 'union'
	;

	struct_declaration_list
	: struct_declaration+
	;

	struct_declaration
	: specifier_qualifier_list struct_declarator_list ';'
	;

	specifier_qualifier_list
	: ( type_qualifier \| type_specifier )+
	;

	struct_declarator_list
	: struct_declarator (',' struct_declarator)*
	;

	struct_declarator
	: declarator (':' constant_expression)?
	\| ':' constant_expression
	;

	enum_specifier
	options {k=3;}
	: 'enum' '{' enumerator_list ','? '}'
	\| 'enum' IDENTIFIER '{' enumerator_list ','? '}'
	\| 'enum' IDENTIFIER
	;

	enumerator_list
	: enumerator (',' enumerator)*
	;

	enumerator
	: IDENTIFIER ('=' constant_expression)?
	;

	type_qualifier
	: 'const'
	\| 'volatile'
	\| 'IN'
	\| 'OUT'
	\| 'OPTIONAL'
	\| 'CONST'
	\| 'UNALIGNED'
	\| 'VOLATILE'
	\| 'GLOBAL_REMOVE_IF_UNREFERENCED'
	\| 'EFIAPI'
	\| 'EFI_BOOTSERVICE'
	\| 'EFI_RUNTIMESERVICE'
	\| 'PACKED'
	;

	declarator
	: pointer? ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? direct_declarator
	// \| ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? pointer? direct_declarator
	\| pointer
	;

	direct_declarator
	: IDENTIFIER declarator_suffix*
	\| '(' ('EFIAPI')? declarator ')' declarator_suffix+
	;

	declarator_suffix
	: '[' constant_expression ']'
	\| '[' ']'
	\| '(' parameter_type_list ')'
	\| '(' identifier_list ')'
	\| '(' ')'
	;

	pointer
	: '*' type_qualifier+ pointer?
	\| '*' pointer
	\| '*'
	;

	parameter_type_list
	: parameter_list (',' ('OPTIONAL')? '...')?
	;

	parameter_list
	: parameter_declaration (',' ('OPTIONAL')? parameter_declaration)*
	;

	parameter_declaration
	: declaration_specifiers (declarator\|abstract_declarator)* ('OPTIONAL')?
	//accomerdate user-defined type only, no declarator follow.
	\| pointer* IDENTIFIER
	;

	identifier_list
	: IDENTIFIER
	(',' IDENTIFIER)*
	;

	type_name
	: specifier_qualifier_list abstract_declarator?
	\| type_id
	;

	abstract_declarator
	: pointer direct_abstract_declarator?
	\| direct_abstract_declarator
	;

	direct_abstract_declarator
	: ( '(' abstract_declarator ')' \| abstract_declarator_suffix ) abstract_declarator_suffix*
	;

	abstract_declarator_suffix
	: '[' ']'
	\| '[' constant_expression ']'
	\| '(' ')'
	\| '(' parameter_type_list ')'
	;

	initializer

	: assignment_expression
	\| '{' initializer_list ','? '}'
	;

	initializer_list
	: initializer (',' initializer )*
	;

	// E x p r e s s i o n s

	argument_expression_list
	: assignment_expression ('OPTIONAL')? (',' assignment_expression ('OPTIONAL')?)*
	;

	additive_expression
	: (multiplicative_expression) ('+' multiplicative_expression \| '-' multiplicative_expression)*
	;

	multiplicative_expression
	: (cast_expression) ('' cast_expression \| '/' cast_expression \| '%' cast_expression)
	;

	cast_expression
	: '(' type_name ')' cast_expression
	\| unary_expression
	;

	unary_expression
	: postfix_expression
	\| '++' unary_expression
	\| '--' unary_expression
	\| unary_operator cast_expression
	\| 'sizeof' unary_expression
	\| 'sizeof' '(' type_name ')'
	;

	postfix_expression
	scope {
	FuncCallText;
	}
	@init {
	$postfix_expression::FuncCallText = '';
	}
	: p=primary_expression {$postfix_expression::FuncCallText += $p.text}
	( '[' expression ']'
	\| '(' a=')'{self.StoreFunctionCalling($p.start.line, $p.start.charPositionInLine, $a.line, $a.charPositionInLine, $postfix_expression::FuncCallText, '')}
	\| '(' c=argument_expression_list b=')' {self.StoreFunctionCalling($p.start.line, $p.start.charPositionInLine, $b.line, $b.charPositionInLine, $postfix_expression::FuncCallText, $c.text)}
	\| '(' macro_parameter_list ')'
	\| '.' x=IDENTIFIER {$postfix_expression::FuncCallText += '.' + $x.text}
	\| '*' y=IDENTIFIER {$postfix_expression::FuncCallText = $y.text}
	\| '->' z=IDENTIFIER {$postfix_expression::FuncCallText += '->' + $z.text}
	\| '++'
	\| '--'
	)*
	;

	macro_parameter_list
	: parameter_declaration (',' parameter_declaration)*
	;

	unary_operator
	: '&'
	\| '*'
	\| '+'
	\| '-'
	\| '~'
	\| '!'
	;

	primary_expression
	: IDENTIFIER
	\| constant
	\| '(' expression ')'
	;

	constant
	: HEX_LITERAL
	\| OCTAL_LITERAL
	\| DECIMAL_LITERAL
	\| CHARACTER_LITERAL
	\| (IDENTIFIER* STRING_LITERAL+)+ IDENTIFIER*
	\| FLOATING_POINT_LITERAL
	;

	/////

	expression
	: assignment_expression (',' assignment_expression)*
	;

	constant_expression
	: conditional_expression
	;

	assignment_expression
	: lvalue assignment_operator assignment_expression
	\| conditional_expression
	;

	lvalue
	: unary_expression
	;

	assignment_operator
	: '='
	\| '*='
	\| '/='
	\| '%='
	\| '+='
	\| '-='
	\| '<<='
	\| '>>='
	\| '&='
	\| '^='
	\| '\|='
	;

	conditional_expression
	: e=logical_or_expression ('?' expression ':' conditional_expression {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)})?
	;

	logical_or_expression
	: logical_and_expression ('\|\|' logical_and_expression)*
	;

	logical_and_expression
	: inclusive_or_expression ('&&' inclusive_or_expression)*
	;

	inclusive_or_expression
	: exclusive_or_expression ('\|' exclusive_or_expression)*
	;

	exclusive_or_expression
	: and_expression ('^' and_expression)*
	;

	and_expression
	: equality_expression ('&' equality_expression)*
	;
	equality_expression
	: relational_expression (('=='\|'!=') relational_expression )*
	;

	relational_expression
	: shift_expression (('<'\|'>'\|'<='\|'>=') shift_expression)*
	;

	shift_expression
	: additive_expression (('<<'\|'>>') additive_expression)*
	;

	// S t a t e m e n t s

	statement
	: labeled_statement
	\| compound_statement
	\| expression_statement
	\| selection_statement
	\| iteration_statement
	\| jump_statement
	\| macro_statement
	\| asm2_statement
	\| asm1_statement
	\| asm_statement
	\| declaration
	;

	asm2_statement
	: '__asm__'? IDENTIFIER '(' (~(';'))* ')' ';'
	;

	asm1_statement
	: '_asm' '{' (~('}'))* '}'
	;

	asm_statement
	: '__asm' '{' (~('}'))* '}'
	;

	macro_statement
	: IDENTIFIER '(' declaration* statement_list? expression? ')'
	;

	labeled_statement
	: IDENTIFIER ':' statement
	\| 'case' constant_expression ':' statement
	\| 'default' ':' statement
	;

	compound_statement
	: '{' declaration* statement_list? '}'
	;

	statement_list
	: statement+
	;

	expression_statement
	: ';'
	\| expression ';'
	;

	selection_statement
	: 'if' '(' e=expression ')' {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)} statement (options {k=1; backtrack=false;}:'else' statement)?
	\| 'switch' '(' expression ')' statement
	;

	iteration_statement
	: 'while' '(' e=expression ')' statement {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
	\| 'do' statement 'while' '(' e=expression ')' ';' {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
	\| 'for' '(' expression_statement e=expression_statement expression? ')' statement {self.StorePredicateExpression($e.start.line, $e.start.charPositionInLine, $e.stop.line, $e.stop.charPositionInLine, $e.text)}
	;

	jump_statement
	: 'goto' IDENTIFIER ';'
	\| 'continue' ';'
	\| 'break' ';'
	\| 'return' ';'
	\| 'return' expression ';'
	;

	IDENTIFIER
	: LETTER (LETTER\|'0'..'9')*
	;

	fragment
	LETTER
	: '$'
	\| 'A'..'Z'
	\| 'a'..'z'
	\| '_'
	;

	CHARACTER_LITERAL
	: ('L')? '\'' ( EscapeSequence \| ~('\''\|'\\') ) '\''
	;

	STRING_LITERAL
	: ('L')? '"' ( EscapeSequence \| ~('\\'\|'"') )* '"'
	;

	HEX_LITERAL : '0' ('x'\|'X') HexDigit+ IntegerTypeSuffix? ;

	DECIMAL_LITERAL : ('0' \| '1'..'9' '0'..'9'*) IntegerTypeSuffix? ;

	OCTAL_LITERAL : '0' ('0'..'7')+ IntegerTypeSuffix? ;

	fragment
	HexDigit : ('0'..'9'\|'a'..'f'\|'A'..'F') ;

	fragment
	IntegerTypeSuffix
	: ('u'\|'U')
	\| ('l'\|'L')
	\| ('u'\|'U') ('l'\|'L')
	\| ('u'\|'U') ('l'\|'L') ('l'\|'L')
	;

	FLOATING_POINT_LITERAL
	: ('0'..'9')+ '.' ('0'..'9')* Exponent? FloatTypeSuffix?
	\| '.' ('0'..'9')+ Exponent? FloatTypeSuffix?
	\| ('0'..'9')+ Exponent FloatTypeSuffix?
	\| ('0'..'9')+ Exponent? FloatTypeSuffix
	;

	fragment
	Exponent : ('e'\|'E') ('+'\|'-')? ('0'..'9')+ ;

	fragment
	FloatTypeSuffix : ('f'\|'F'\|'d'\|'D') ;

	fragment
	EscapeSequence
	: '\\' ('b'\|'t'\|'n'\|'f'\|'r'\|'\"'\|'\''\|'\\')
	\| OctalEscape
	;

	fragment
	OctalEscape
	: '\\' ('0'..'3') ('0'..'7') ('0'..'7')
	\| '\\' ('0'..'7') ('0'..'7')
	\| '\\' ('0'..'7')
	;

	fragment
	UnicodeEscape
	: '\\' 'u' HexDigit HexDigit HexDigit HexDigit
	;

	WS : (' '\|'\r'\|'\t'\|'\u000C'\|'\n') {$channel=HIDDEN;}
	;

	// ingore '\' of line concatenation
	BS : ('\\') {$channel=HIDDEN;}
	;

	// ingore function modifiers
	//FUNC_MODIFIERS : 'EFIAPI' {$channel=HIDDEN;}
	// ;

	UnicodeVocabulary
	: '\u0003'..'\uFFFE'
	;
	COMMENT
	: '/' ( options {greedy=false;} : . ) '*/' {$channel=HIDDEN;}
	;


	LINE_COMMENT
	: '//' ~('\n'\|'\r')* '\r'? '\n' {$channel=HIDDEN;}
	;

	// ignore #line info for now
	LINE_COMMAND
	: '#' ~('\n'\|'\r')* '\r'? '\n' {$channel=HIDDEN;}
	;