Browsable DSL Tools Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/dsltools/hillairet2/extracted
Source used for this grammar: Guillaume Hillairet, DSLModel.ecore, 2005/07/05

Summary

• Total 24 production rules with 25 top alternatives and 115 symbols.
• Vocabulary: 36 = 21 nonterminals + 2 terminals + 13 labels + 0 markers.
• Total 21 nonterminal symbols: 17 defined (Model, Element, ModelElement, ModelElementLink, EmbeddingLink, ReferenceLink, NamedElement, Property, Role, Value, IntegerValue, DoubleValue, BooleanValue, StringValue, Boolean, Integer, String), 0 root (—), 6 top (Model, Element, NamedElement, Boolean, Integer, String), 4 bottom (PrimitiveTypes/String ², PrimitiveTypes/Double, PrimitiveTypes/Boolean, PrimitiveTypes/Integer).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 13 labels: [domainModel], [contents], [parentLink], [properties], [embeddinglinks], [referencelinks], [links], [owner] ⁴, [elements], [modelElement], [roles], [value] ⁵, [element].

Syntax

Model ::=
	[domainModel]::PrimitiveTypes/String [contents]::ModelElement+

Element ::=
	ModelElement

Element ::=
	ReferenceLink

ModelElement ::=
	ModelElementLink

ModelElement ::=
	[parentLink]::EmbeddingLink [properties]::Property+ [embeddinglinks]::EmbeddingLink+ [referencelinks]::ReferenceLink+

ModelElementLink ::=
	[links]::ReferenceLink+

EmbeddingLink ::=
	[owner]::ModelElement [elements]::ModelElement+

ReferenceLink ::=
	[owner]::ModelElement [modelElement]::ModelElementLink [roles]::Role

NamedElement ::=
	EmbeddingLink

NamedElement ::=
	Property

NamedElement ::=
	Role

Property ::=
	[owner]::ModelElement [value]::Value

Role ::=
	[element]::ModelElement [owner]::ReferenceLink

Value ::=
	IntegerValue

Value ::=
	DoubleValue

Value ::=
	BooleanValue

Value ::=
	StringValue

IntegerValue ::=
	[value]::PrimitiveTypes/Integer

DoubleValue ::=
	[value]::PrimitiveTypes/Double

BooleanValue ::=
	[value]::PrimitiveTypes/Boolean

StringValue ::=
	[value]::PrimitiveTypes/String

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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