Browsable C♯ subset Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: csharp/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, CSharp.ecore, 2005/08/08

Summary

• Total 20 production rules with 21 top alternatives and 130 symbols.
• Vocabulary: 37 = 13 nonterminals + 2 terminals + 22 labels + 0 markers.
• Total 13 nonterminal symbols: 13 defined (Member, TypedAttribute, Field, Property, MethodBase, Constructor, Method, Type, Parameter, Assembly, Integer, String, Boolean), 0 root (—), 0 top (—), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 22 labels: [name] ³, [owner], [type] ³, [isReadable], [isWritable], [visibility] ³, [isAbstract] ³, [isFinal] ², [isStatic] ², [parameters] ², [returnType], [qualifiedName], [isSealed], [nameSpace], [members], [t_container], [super], [isIn], [isOut], [position], [method], [content].

Syntax

Member ::=
	TypedAttribute

Member ::=
	MethodBase

Member ::=
	Type

Member ::=
	[name]::String [owner]::Type

TypedAttribute ::=
	Field

TypedAttribute ::=
	Property

TypedAttribute ::=
	[type]::Type

Field ::=
	[type]::Type

Property ::=
	[isReadable]::Boolean [isWritable]::Boolean

MethodBase ::=
	Constructor

MethodBase ::=
	Method

MethodBase ::=
	[visibility]::String [isAbstract]::Boolean [isFinal]::Boolean [isStatic]::Boolean [parameters]::Parameter+

Constructor ::=
	[visibility]::String [isAbstract]::Boolean [isFinal]::Boolean [isStatic]::Boolean [parameters]::Parameter+

Method ::=
	[returnType]::Type

Type ::=
	[qualifiedName]::String [isAbstract]::Boolean [visibility]::String [isSealed]::Boolean [nameSpace]::String [members]::Member+ [t_container]::Assembly [super]::Type

Parameter ::=
	[isIn]::Boolean [isOut]::Boolean [name]::Boolean [position]::Integer [method]::MethodBase [type]::Type

Assembly ::=
	[name]::String [content]::Type+

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

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