Browsable C90 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: c/c90/rascal/extracted
Source used for this grammar: Arnold Lankamp, lang::c90::syntax::C, 2011 [GitHub]

Summary

• Total 145 production rules with 145 top alternatives and 907 symbols.
• Vocabulary: 159 = 34 nonterminals + 78 terminals + 47 labels + 0 markers.
• Total 34 nonterminal symbols: 28 defined (StructDeclarator, PrototypeParameter, TypeSpecifier, StructDeclaration, TypeName, Initializer, InitDeclarator, Statement, ExternalDeclaration, PrototypeParameters, Parameters, FunctionPrototype, Parameter, AnonymousIdentifier, PrototypeDeclarator, AbstractDeclarator, Declarator, Specifier, StorageClass, Declaration, Enumerator, NonCommaExpression, FunctionDefinition, GlobalDeclaration, TranslationUnit, TypeQualifier, MoreParameters, Expression), 0 root (—), 1 top (TranslationUnit), 6 bottom (HexadecimalConstant, Identifier ¹⁶, IntegerConstant, StringConstant, FloatingPointConstant, CharacterConstant).
• Total 78 terminal symbols: 32 keywords ("struct" ³, "union" ³, "int", "void" ³, "short", "enum" ³, "signed", "unsigned", "long", "double", "float", "char", "default", "switch", "return" ², "for", "case", "continue", "goto", "do", "while" ², "break", "if" ², "else", "register", "static", "extern", "auto", "typedef", "const", "volatile", "sizeof" ²), 0 letters (—), 0 numerics (—), 46 signs (":" ⁵, "{" ⁹, "}" ⁹, "," ¹², ";" ¹⁷, "=" ³, "(" ¹⁶, ")" ¹⁶, "[" ⁴, "]" ⁴, "*" ⁵, "...", "--", "++", ".", "->", "&" ², "!", "+" ², "-" ², "~", "/", "%", ">>", "<<", "<=", ">=", ">", "<", "==", "!=", "^", "|", "&&", "||", "?", "|=", "&=", "*=", "/=", "+=", ">>=", "^=", "-=", "<<=", "%=").
• Total 47 labels: [StructDecl], [Union], [Int], [Void], [StructAnonDecl], [Short], [Identifier] ⁴, [EnumDecl], [UnionDecl], [UnionAnonDecl], [Enum], [Struct], [Long], [Double], [Float], [EnumAnonDecl], [Char], [specs] ⁸, [StructDeclWithoutDecl], [StructDeclWithDecl], [decl] ¹⁵, [DefaultFunctionPrototype], [params] ³, [FunctionDeclarator] ³, [Bracket] ⁴, [exp] ⁴, [ArrayDeclarator] ³, [qualifiers] ³, [PointerDeclarator] ³, [StorageClass], [TypeQualifier], [TypeSpecifier], [TypeDef], [DeclarationWithoutInitDecls], [initDeclarators] ², [DeclarationWithInitDecls], [expr], [NonCommaExpression], [DefaultFunctionDefinition], [GlobalDeclarationWithoutInitDecls], [GlobalDeclarationWithInitDecls], [Variable], [SizeOfExpression], [lexp], [rexp], [MultiplicationExpression], [CommaExpression].

Syntax

StructDeclarator ::=
	Declarator

StructDeclarator ::=
	Declarator? ":" Expression

PrototypeParameter ::=
	Specifier* AbstractDeclarator

TypeSpecifier ::=
	[StructDecl]::("struct" Identifier "{" StructDeclaration* "}")

TypeSpecifier ::=
	[Union]::("union" Identifier)

TypeSpecifier ::=
	[Int]::"int"

TypeSpecifier ::=
	[Void]::"void"

TypeSpecifier ::=
	[StructAnonDecl]::("struct" "{" StructDeclaration* "}")

TypeSpecifier ::=
	[Short]::"short"

TypeSpecifier ::=
	[Identifier]::Identifier

TypeSpecifier ::=
	[EnumDecl]::("enum" Identifier "{" {Enumerator ","}+ "}")

TypeSpecifier ::=
	"signed"

TypeSpecifier ::=
	[UnionDecl]::("union" Identifier "{" StructDeclaration* "}")

TypeSpecifier ::=
	[UnionAnonDecl]::("union" "{" StructDeclaration* "}")

TypeSpecifier ::=
	[Enum]::("enum" Identifier)

TypeSpecifier ::=
	[Struct]::("struct" Identifier)

TypeSpecifier ::=
	"unsigned"

TypeSpecifier ::=
	[Long]::"long"

TypeSpecifier ::=
	[Double]::"double"

TypeSpecifier ::=
	[Float]::"float"

TypeSpecifier ::=
	[EnumAnonDecl]::("enum" "{" {Enumerator ","}+ "}")

TypeSpecifier ::=
	[Char]::"char"

StructDeclaration ::=
	[StructDeclWithoutDecl]::([specs]::Specifier+ ";")

StructDeclaration ::=
	[StructDeclWithDecl]::([specs]::Specifier+ {StructDeclarator ","}+ ";")

TypeName ::=
	Specifier+ AbstractDeclarator

Initializer ::=
	"{" {Initializer ","}+ ","? "}"

Initializer ::=
	NonCommaExpression

InitDeclarator ::=
	[decl]::Declarator "=" Initializer

InitDeclarator ::=
	[decl]::Declarator

Statement ::=
	"default" ":" Statement

Statement ::=
	"switch" "(" Expression ")" Statement

Statement ::=
	"return" ";"

Statement ::=
	"for" "(" Expression? ";" Expression? ";" Expression? ")" Statement

Statement ::=
	"case" Expression ":" Statement

Statement ::=
	"continue" ";"

Statement ::=
	";"

Statement ::=
	"goto" Identifier ";"

Statement ::=
	"do" Statement "while" "(" Expression ")" ";"

Statement ::=
	"{" Declaration* Statement* "}"

Statement ::=
	"while" "(" Expression ")" Statement

Statement ::=
	"break" ";"

Statement ::=
	"if" "(" Expression ")" Statement

Statement ::=
	Identifier ":" Statement

Statement ::=
	Expression ";"

Statement ::=
	"if" "(" Expression ")" Statement "else" Statement

Statement ::=
	"return" Expression ";"

ExternalDeclaration ::=
	FunctionPrototype

ExternalDeclaration ::=
	FunctionDefinition

ExternalDeclaration ::=
	GlobalDeclaration

PrototypeParameters ::=
	"void"

PrototypeParameters ::=
	{PrototypeParameter ","}+ MoreParameters?

Parameters ::=
	{Parameter ","}+ MoreParameters?

Parameters ::=
	"void"

FunctionPrototype ::=
	[DefaultFunctionPrototype]::([specs]::Specifier* [decl]::PrototypeDeclarator ";")

Parameter ::=
	Specifier* Declarator

AnonymousIdentifier ::=
	ε

PrototypeDeclarator ::=
	[FunctionDeclarator]::([decl]::PrototypeDeclarator "(" [params]::PrototypeParameters? ")")

PrototypeDeclarator ::=
	[Identifier]::Identifier

PrototypeDeclarator ::=
	[Bracket]::("(" [decl]::AbstractDeclarator ")")

PrototypeDeclarator ::=
	[ArrayDeclarator]::([decl]::PrototypeDeclarator "[" [exp]::Expression? "]")

PrototypeDeclarator ::=
	[PointerDeclarator]::("*" [qualifiers]::TypeQualifier* [decl]::PrototypeDeclarator)

AbstractDeclarator ::=
	[Identifier]::AnonymousIdentifier

AbstractDeclarator ::=
	[ArrayDeclarator]::([decl]::AbstractDeclarator "[" [exp]::Expression? "]")

AbstractDeclarator ::=
	[Bracket]::("(" [decl]::AbstractDeclarator ")")

AbstractDeclarator ::=
	[FunctionDeclarator]::([decl]::AbstractDeclarator "(" [params]::Parameters? ")")

AbstractDeclarator ::=
	[PointerDeclarator]::("*" [qualifiers]::TypeQualifier* [decl]::AbstractDeclarator)

Declarator ::=
	[ArrayDeclarator]::([decl]::Declarator "[" [exp]::Expression? "]")

Declarator ::=
	[Identifier]::Identifier

Declarator ::=
	[FunctionDeclarator]::([decl]::Declarator "(" [params]::Parameters? ")")

Declarator ::=
	[Bracket]::("(" [decl]::Declarator ")")

Declarator ::=
	[PointerDeclarator]::("*" [qualifiers]::TypeQualifier* [decl]::Declarator)

Specifier ::=
	[StorageClass]::StorageClass

Specifier ::=
	[TypeQualifier]::TypeQualifier

Specifier ::=
	[TypeSpecifier]::TypeSpecifier

StorageClass ::=
	"register"

StorageClass ::=
	"static"

StorageClass ::=
	"extern"

StorageClass ::=
	"auto"

StorageClass ::=
	[TypeDef]::"typedef"

Declaration ::=
	[DeclarationWithoutInitDecls]::([specs]::Specifier+ ";")

Declaration ::=
	[DeclarationWithInitDecls]::([specs]::Specifier+ [initDeclarators]::{InitDeclarator ","}+ ";")

Enumerator ::=
	Identifier

Enumerator ::=
	Identifier "=" NonCommaExpression

NonCommaExpression ::=
	[NonCommaExpression]::[expr]::Expression

FunctionDefinition ::=
	[DefaultFunctionDefinition]::([specs]::Specifier* Declarator Declaration* "{" Declaration* Statement* "}")

GlobalDeclaration ::=
	[GlobalDeclarationWithoutInitDecls]::([specs]::Specifier+ ";")

GlobalDeclaration ::=
	[GlobalDeclarationWithInitDecls]::([specs]::Specifier* [initDeclarators]::{InitDeclarator ","}+ ";")

TranslationUnit ::=
	ExternalDeclaration+

TypeQualifier ::=
	"const"

TypeQualifier ::=
	"volatile"

MoreParameters ::=
	"," "..."

Expression ::=
	CharacterConstant

Expression ::=
	Expression "--"

Expression ::=
	[Variable]::Identifier

Expression ::=
	Expression "[" Expression "]"

Expression ::=
	[Bracket]::("(" Expression ")")

Expression ::=
	"sizeof" "(" TypeName ")"

Expression ::=
	Expression "++"

Expression ::=
	FloatingPointConstant

Expression ::=
	Expression "." Identifier

Expression ::=
	StringConstant

Expression ::=
	IntegerConstant

Expression ::=
	HexadecimalConstant

Expression ::=
	Expression "->" Identifier

Expression ::=
	Expression "(" {NonCommaExpression ","}* ")"

Expression ::=
	Expression

Expression ::=
	[SizeOfExpression]::("sizeof" [exp]::Expression)

Expression ::=
	"&" Expression

Expression ::=
	"!" Expression

Expression ::=
	"(" TypeName ")" Expression

Expression ::=
	"*" Expression

Expression ::=
	"+" Expression

Expression ::=
	"-" Expression

Expression ::=
	"~" Expression

Expression ::=
	[MultiplicationExpression]::([lexp]::Expression "*" [rexp]::Expression)

Expression ::=
	Expression "/" Expression

Expression ::=
	Expression "%" Expression

Expression ::=
	Expression "+" Expression

Expression ::=
	Expression "-" Expression

Expression ::=
	Expression ">>" Expression

Expression ::=
	Expression "<<" Expression

Expression ::=
	Expression "<=" Expression

Expression ::=
	Expression ">=" Expression

Expression ::=
	Expression ">" Expression

Expression ::=
	Expression "<" Expression

Expression ::=
	Expression "==" Expression

Expression ::=
	Expression "!=" Expression

Expression ::=
	Expression "&" Expression

Expression ::=
	Expression "^" Expression

Expression ::=
	Expression "|" Expression

Expression ::=
	Expression "&&" Expression

Expression ::=
	Expression "||" Expression

Expression ::=
	Expression "?" Expression ":" Expression

Expression ::=
	Expression "|=" Expression

Expression ::=
	Expression "&=" Expression

Expression ::=
	Expression "*=" Expression

Expression ::=
	Expression "/=" Expression

Expression ::=
	Expression "+=" Expression

Expression ::=
	Expression ">>=" Expression

Expression ::=
	Expression "^=" Expression

Expression ::=
	Expression "-=" Expression

Expression ::=
	Expression "<<=" Expression

Expression ::=
	Expression "%=" Expression

Expression ::=
	Expression "=" Expression

Expression ::=
	[CommaExpression]::(Expression "," Expression)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]