Browsable C++ subset Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: cpp/subset/bruneliere/extracted
Source used for this grammar: Hugo Brunelière, C++ 1.0, a simplified metamodel corresponding to a small subset of the language, CPP.ecore, 2005/08/05

Summary

• Total 26 production rules with 32 top alternatives and 143 symbols.
• Vocabulary: 43 = 20 nonterminals + 2 terminals + 21 labels + 0 markers.
• Total 20 nonterminal symbols: 20 defined (Integer, String, Boolean, CDerived, CStructured, CBehavorialFeature, CFunction, CStructureContents, CField, CDerivableType, VisibilityKind, CPPReference, CPPExtern, CPPConst, CPPTemplate, CPPClass, CPPGeneralization, CPPOperation, CPPOperator, CPPMember), 0 root (—), 8 top (Integer, CDerived, CStructured, CBehavorialFeature, CStructureContents, CField, CDerivableType, CPPMember), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 21 labels: [isVsrArg], [vk_public], [vk_private], [vk_protected], [linkage], [classes], [isAbstract], [isVolatile] ², [visibility] ⁵, [templates], [generalizations], [isVirtual] ², [supertype], [isStatic] ², [isExtern], [isInline] ², [isPure], [isCtor], [isDtor], [throws], [isRegister].

Syntax

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

CDerived ::=
	CPPReference

CDerived ::=
	CPPExtern

CDerived ::=
	CPPConst

CDerived ::=
	CPPTemplate

CDerived ::=
	CPPReference
	CPPExtern
	CPPConst
	CPPTemplate

CStructured ::=
	CPPClass

CBehavorialFeature ::=
	CFunction

CFunction ::=
	CPPOperation

CFunction ::=
	[isVsrArg]::Boolean

CStructureContents ::=
	CPPOperator

CStructureContents ::=
	CPPOperation

CField ::=
	ε

CDerivableType ::=
	ε

VisibilityKind ::=
	[vk_public]::ε
	[vk_private]::ε
	[vk_protected]::ε

CPPReference ::=
	ε

CPPExtern ::=
	[linkage]::String

CPPConst ::=
	ε

CPPTemplate ::=
	[classes]::CPPClass+

CPPClass ::=
	[isAbstract]::Boolean [isVolatile]::Boolean [visibility]::VisibilityKind [templates]::CPPTemplate+ [generalizations]::CPPGeneralization+

CPPGeneralization ::=
	[visibility]::VisibilityKind [isVirtual]::Boolean [supertype]::CPPClass

CPPOperation ::=
	[isStatic]::Boolean [isExtern]::Boolean [isInline]::Boolean [isVirtual]::Boolean [isPure]::Boolean [visibility]::VisibilityKind [isCtor]::Boolean [isDtor]::Boolean [throws]::CPPClass+

CPPOperator ::=
	[isInline]::Boolean [visibility]::VisibilityKind

CPPMember ::=
	[isStatic]::Boolean [isVolatile]::Boolean [isRegister]::Boolean [visibility]::VisibilityKind

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