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)

}

: external_declaration*

;

options {k=1;}

: ( declaration_specifiers? declarator declaration* '{' )=> function_definition

| declaration

| macro_statement (';')?

;

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

}

;

: 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)

}

;

: ( storage_class_specifier

| type_specifier

| type_qualifier

)+

;

: init_declarator (',' init_declarator)*

;

: declarator ('=' initializer)?

;

: 'extern'

| 'static'

| 'auto'

| 'register'

| 'STATIC'

;

: '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

;

: IDENTIFIER

//{self.printTokenInfo($a.line, $a.pos, $a.text)}

;

options {k=3;}

: struct_or_union IDENTIFIER? '{' struct_declaration_list '}'

| struct_or_union IDENTIFIER

;

: 'struct'

| 'union'

;

: struct_declaration+

;

: specifier_qualifier_list struct_declarator_list ';'

;

: ( type_qualifier | type_specifier )+

;

: struct_declarator (',' struct_declarator)*

;

: declarator (':' constant_expression)?

| ':' constant_expression

;

options {k=3;}

: 'enum' '{' enumerator_list ','? '}'

| 'enum' IDENTIFIER '{' enumerator_list ','? '}'

| 'enum' IDENTIFIER

;

: enumerator (',' enumerator)*

;

: IDENTIFIER ('=' constant_expression)?

;

: 'const'

| 'volatile'

| 'IN'

| 'OUT'

| 'OPTIONAL'

| 'CONST'

| 'UNALIGNED'

| 'VOLATILE'

| 'GLOBAL_REMOVE_IF_UNREFERENCED'

| 'EFIAPI'

| 'EFI_BOOTSERVICE'

| 'EFI_RUNTIMESERVICE'

| 'PACKED'

;

: pointer? ('EFIAPI')? ('EFI_BOOTSERVICE')? ('EFI_RUNTIMESERVICE')? direct_declarator

| pointer

;

: IDENTIFIER declarator_suffix*

| '(' ('EFIAPI')? declarator ')' declarator_suffix+

;

: '[' constant_expression ']'

| '[' ']'

| '(' parameter_type_list ')'

| '(' identifier_list ')'

| '(' ')'

;

: '*' type_qualifier+ pointer?

| '*' pointer

| '*'

;

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

;

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

;

: declaration_specifiers (declarator|abstract_declarator)* ('OPTIONAL')?

//accomerdate user-defined type only, no declarator follow.

| pointer* IDENTIFIER

;

: IDENTIFIER

(',' IDENTIFIER)*

;

: specifier_qualifier_list abstract_declarator?

| type_id

;

: pointer direct_abstract_declarator?

| direct_abstract_declarator

;

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

;

: '[' ']'

| '[' constant_expression ']'

| '(' ')'

| '(' parameter_type_list ')'

;

: assignment_expression

| '{' initializer_list ','? '}'

;

: initializer (',' initializer )*

;

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

;

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

;

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

;

: '(' type_name ')' cast_expression

| unary_expression

;

: postfix_expression

| '++' unary_expression

| '--' unary_expression

| unary_operator cast_expression

| 'sizeof' unary_expression

| 'sizeof' '(' type_name ')'

;

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}

| '++'

| '--'

)*

;

: parameter_declaration (',' parameter_declaration)*

;

: '&'

| '*'

| '+'

| '-'

| '~'

| '!'

;

: IDENTIFIER

| constant

| '(' expression ')'

;

: HEX_LITERAL

| OCTAL_LITERAL

| DECIMAL_LITERAL

| CHARACTER_LITERAL

| (IDENTIFIER* STRING_LITERAL+)+ IDENTIFIER*

| FLOATING_POINT_LITERAL

;

: assignment_expression (',' assignment_expression)*

;

: conditional_expression

;

: lvalue assignment_operator assignment_expression

| conditional_expression

;

: unary_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_and_expression ('||' logical_and_expression)*

;

: inclusive_or_expression ('&&' inclusive_or_expression)*

;

: exclusive_or_expression ('|' exclusive_or_expression)*

;

: and_expression ('^' and_expression)*

;

: equality_expression ('&' equality_expression)*

;

: relational_expression (('=='|'!=') relational_expression )*

;

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

;

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

;

: labeled_statement

| compound_statement

| expression_statement

| selection_statement

| iteration_statement

| jump_statement

| macro_statement

| asm2_statement

| asm1_statement

| asm_statement

| declaration

;

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

;

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

;

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

;

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

;

: IDENTIFIER ':' statement

| 'case' constant_expression ':' statement

| 'default' ':' statement

;

: '{' declaration* statement_list? '}'

;

: statement+

;

: ';'

| expression ';'

;

: '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

;

: '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)}

;

: 'goto' IDENTIFIER ';'

| 'continue' ';'

| 'break' ';'

| 'return' ';'

| 'return' expression ';'

;

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

;

: '$'

| 'A'..'Z'

| 'a'..'z'

| '_'

;

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

;

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

;

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

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

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

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

: ('u'|'U')

| ('l'|'L')

| ('u'|'U') ('l'|'L')

| ('u'|'U') ('l'|'L') ('l'|'L')

;

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

| '.' ('0'..'9')+ Exponent? FloatTypeSuffix?

| ('0'..'9')+ Exponent FloatTypeSuffix?

| ('0'..'9')+ Exponent? FloatTypeSuffix

;

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

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

: '\\' ('b'|'t'|'n'|'f'|'r'|'\"'|'\''|'\\')

| OctalEscape

;

: '\\' ('0'..'3') ('0'..'7') ('0'..'7')

| '\\' ('0'..'7') ('0'..'7')

| '\\' ('0'..'7')

;

: '\\' 'u' HexDigit HexDigit HexDigit HexDigit

;

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

;

BS : ('\\') {$channel=HIDDEN;}

;

: '\u0003'..'\uFFFE'

;

: '/*' ( options {greedy=false;} : . )* '*/' {$channel=HIDDEN;}

;

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

;

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

;