Browsable M 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/M/extracted
Source used for this grammar: Hugo Brunelière, M 1.0, M.ecore, 2009

Summary

• Total 42 production rules with 43 top alternatives and 222 symbols.
• Vocabulary: 78 = 44 nonterminals + 2 terminals + 32 labels + 0 markers.
• Total 44 nonterminal symbols: 33 defined (IdentifiedElement, MElement, MElementReference, Module, ModuleMember, ImportDirective, ExportDirective, Value, NumericalValue, StringValue, IntegerValue, DecimalValue, BooleanValue, DerivedType, TypeReference, IntrinsicTypeReference, DerivedTypeReference, Field, Collection, ComputedValue, InitializationExpression, WhereExpression, IdentityExpression, EqualExpression, InExpression, CollectionExpression, DefaultValueExpression, StandardValueExpression, Language, Entity, Boolean, Integer, String), 0 root (—), 12 top (IdentifiedElement, TypeReference, IntrinsicTypeReference, DerivedTypeReference, InitializationExpression, WhereExpression, IdentityExpression, EqualExpression, InExpression, CollectionExpression, DefaultValueExpression, StandardValueExpression), 11 bottom (Types/TypeReference ², Double, Expressions/InExpression, Expressions/InitializationExpression, Expressions/Expression, Expressions/QueryExpression, Expressions/CollectionExpression, Types/Field ³, Expressions/ValueExpression ⁵, Expressions/WhereExpression, Types/DerivedType ⁵).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 32 labels: [alias], [referencedElement], [imports], [exports], [moduleMembers], [module] ⁴, [importedElements], [exportedElements], [value] ⁶, [supertypes], [fields], [initializationExpression], [whereExpression], [expression], [subtype], [field], [lowerBound], [upperBound], [typeIdentifier], [type] ⁴, [owner], [qualifiers] ², [identifier] ², [values], [queryExpressions], [identity], [leftValue], [rightValue], [collection], [inExpression], [collectionValue], [context].

Syntax

IdentifiedElement ::=
	MElement

IdentifiedElement ::=
	Field

IdentifiedElement ::=
	Collection

IdentifiedElement ::=
	ComputedValue

MElement ::=
	Module

MElement ::=
	ModuleMember

MElementReference ::=
	[alias]::String [referencedElement]::MElement

Module ::=
	[imports]::ImportDirective+ [exports]::ExportDirective+ [moduleMembers]::ModuleMember+

ModuleMember ::=
	DerivedType

ModuleMember ::=
	Language

ModuleMember ::=
	Entity

ImportDirective ::=
	[module]::Module [importedElements]::MElementReference+

ExportDirective ::=
	[module]::Module [exportedElements]::ModuleMember+

Value ::=
	NumericalValue

Value ::=
	StringValue

Value ::=
	BooleanValue

NumericalValue ::=
	IntegerValue

NumericalValue ::=
	DecimalValue

StringValue ::=
	[value]::String

IntegerValue ::=
	[value]::Integer

DecimalValue ::=
	[value]::Double

BooleanValue ::=
	[value]::Boolean

DerivedType ::=
	[supertypes]::Types/TypeReference+ [fields]::Types/Field+ [initializationExpression]::Expressions/InitializationExpression [whereExpression]::Expressions/WhereExpression [expression]::Expressions/Expression

TypeReference ::=
	[subtype]::Types/DerivedType [field]::Types/Field [lowerBound]::Integer [upperBound]::Integer

IntrinsicTypeReference ::=
	[typeIdentifier]::String

DerivedTypeReference ::=
	[type]::Types/DerivedType

Field ::=
	[owner]::Types/DerivedType [type]::Types/TypeReference

Collection ::=
	[qualifiers]::String+ [identifier]::String

ComputedValue ::=
	[qualifiers]::String+ [identifier]::String

InitializationExpression ::=
	[type]::Types/DerivedType [values]::Value+

WhereExpression ::=
	[type]::Types/DerivedType [queryExpressions]::Expressions/QueryExpression+

IdentityExpression ::=
	[identity]::Types/Field

EqualExpression ::=
	[leftValue]::Expressions/ValueExpression [rightValue]::Expressions/ValueExpression

InExpression ::=
	[value]::Expressions/ValueExpression [collection]::Expressions/CollectionExpression

CollectionExpression ::=
	[inExpression]::Expressions/InExpression [collectionValue]::Expressions/ValueExpression

DefaultValueExpression ::=
	ε

StandardValueExpression ::=
	[context]::Expressions/ValueExpression [value]::String

Language ::=
	[module]::Module

Entity ::=
	[module]::Module

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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