Browsable DSL Tools Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/syntax/dsltools/hillairet1/extracted
Source used for this grammar: Guillaume Hillairet, DSL.ecore, 2005/06/14

Summary

• Total 23 production rules with 24 top alternatives and 109 symbols.
• Vocabulary: 39 = 19 nonterminals + 2 terminals + 18 labels + 0 markers.
• Total 19 nonterminal symbols: 16 defined (NamedElement, LoadedElement, Namespace, DomainModel, Classifier, Class, Relationship, Role, ValueProperty, Type, SimpleType, EnumerationLiteral, Enumeration, Boolean, Integer, String), 0 root (—), 4 top (NamedElement, Boolean, Integer, String), 3 bottom (PrimitiveTypes/Integer ³, PrimitiveTypes/String, PrimitiveTypes/Boolean ⁶).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 18 labels: [classifiers], [types], [isSerializationRoot], [isEmbedding], [roles], [min], [max], [isUnbounded], [accepts], [isOrdered], [isNavigableFrom], [isPropertyGenerator], [source], [type] ², [relation], [owner], [value], [literals].

Syntax

NamedElement ::=
	Namespace

NamedElement ::=
	Role

NamedElement ::=
	ValueProperty

NamedElement ::=
	EnumerationLiteral

LoadedElement ::=
	DomainModel

LoadedElement ::=
	Classifier

Namespace ::=
	LoadedElement

Namespace ::=
	Type

DomainModel ::=
	[classifiers]::Classifier+ [types]::Type+

Classifier ::=
	Class

Classifier ::=
	Relationship

Class ::=
	[isSerializationRoot]::PrimitiveTypes/Boolean

Relationship ::=
	[isEmbedding]::PrimitiveTypes/Boolean [roles]::Role

Role ::=
	[min]::PrimitiveTypes/Integer [max]::PrimitiveTypes/Integer [isUnbounded]::PrimitiveTypes/Boolean [accepts]::PrimitiveTypes/String [isOrdered]::PrimitiveTypes/Boolean [isNavigableFrom]::PrimitiveTypes/Boolean [isPropertyGenerator]::PrimitiveTypes/Boolean [source]::Classifier [type]::Classifier [relation]::Relationship

ValueProperty ::=
	[owner]::Classifier [type]::Type

Type ::=
	SimpleType

Type ::=
	Enumeration

SimpleType ::=
	ε

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

Enumeration ::=
	[literals]::EnumerationLiteral+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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