grammar-0.1.txt

FinC is Fava in C! A C-like syntax language. It s designed to apply to embededd system.

Fava in C Grammar v0.1
------------------------------------------------------------
2002-2-1 ffxz: come from Fava Grammar 0.72
------------------------------------------------------------
program -> declaration-list
declaration-list -> declaration-list declaration | declaration
declaration -> package-declaration-list ; | function-declaration
package-declaration-list -> package-declaration-list package-declaration | package- declaration
package-declaration -> package ID : string package-block
	| package ID package-block
package-block -> { package_decl_list }
package_decl_list -> package_decl
	| package_decl package_decl_list
package-decl -> decl-native-func
	| decl-struct
	| decl-global
	| decl-function
decl-native-func -> native type ID ( decl-param-list-opt );
decl-struct ->
decl-global ->
decl-function ->

modifier-list -> modifier-list modifier | modifier
modifier -> static | native | unsigned 
variable-list -> variable-list, variable-declaration | variable-declaration
variable-declaration -> ID | ID = expression
function-declaration -> function main( function-arg-list[opt] ) compound- statement
function-arg-list -> function-arg-list , function-arg | function-arg
function-arg -> type ID
type -> int | char | float | double | string | void | short | bool | pointer
compound-statement -> { statment-list }
statement-list -> statement-list statement | statement
statement -> compound-statement
        | if ( expression ) statement
        | if ( expression ) statement else statement
        | while ( expression ) statement
        | for ( expression[opt] ; expression[opt] ; expression[opt] ) statement
        | switch ( expression ) { case-statement-list }
        | break ;
        | continue ;
        | return expression[opt] ;
        | type variable-list ;
        | expression ;
        | ;
case-statement-list -> case-statement-list case-statement | case-statement
case-statement -> label-statement statement-list
label-statement -> case expression: | default :
expression -> assignment-expression
        | expression , assignment-expression
assignment-expression -> conditional-expression
        | logical-or-expression assignment-operator assignment-expression
assignment-operator -> =
conditional-expression -> logical-or-expression
        | logical-or-expression ? expression : assignment-expression
logical-or-expression -> logical-and-expression
        | logical-or-expression || logical-and-expression
logical-and-expression -> inclusive-or-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
        | equality-expression == relational-expression
        | equality-expression != relational-expression
relational-expression -> additive-expression
        | relational-expression < additive-expression
        | relational-expression > additive-expression
        | relational-expression <= additive-expression
        | relational-expression >= additive-expression
additive-expression -> multiplicative-expression
        | additive-expression + multiplicative-expression
        | additive-expression - multiplicative-expression
multiplicative-expression -> unary-expression
        | multiplicative-expression * unary-expression
        | multiplicative-expression / unary-expression
        | multiplicative-expression % unary-expression
unary-expression -> postfix-expression
        | unary-operator unary-expression
unary-operator -> + | - 
postfix-expression -> primary-expression
        | postfix-expression [ expression ]
        | postfix-expression ( call-arg-list[opt] )
        | postfix-expression -> expression
        | postfix-expression ++
        | postfix-expression --
        | addrof ( expression )
	| contentof ( expression )
primary-expression -> literal
        | ( expression )
        | ID
        | null
        | false
        | true
call-arg-list -> assignment-expression
        | call-arg-list , assignment-expression
literal -> integer-literal
        | floating-literal
        | character-literal
        | string-literal
        | boolean-literal
        | null-literal