Browsable Promenade 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/Promenade/extracted
Source used for this grammar: Youssef Srour, Promenade 1.0, Promenade.ecore, 2006/07/19

Summary

Total 39 production rules with 40 top alternatives and 205 symbols.
Vocabulary: 44 = 21 nonterminals + 2 terminals + 21 labels + 0 markers.
Total 21 nonterminal symbols: 21 defined (String, Boolean, Integer, Strong, Start, End, FeedBack, Weak, Grouping, Precedence, DynPrecedence, DerPrecedence, BasPrecedence, MetaTaskOccurence, ParBinding, ParameterPrec, ModelElement, DependancyUML, MetaTask, ParameterUML, MetaDocument), 0 root (—), 2 top (String, Integer), 0 bottom (—).
Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
Total 21 labels: [precs]⁴, [auxTasks]³, [deprecs]³, [parbind]³, [dprecs], [taskCl], [inclusion], [targetPar], [sourcePar], [parbindsTar], [parbindsSour], [dstParams], [orParams], [dependencyUMLsupp], [dependencyUMLcli], [suppier], [client], [params]², [occurs], [task], [doc].

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

Strong ::=
	ε

Start ::=
	ε

End ::=
	ε

FeedBack ::=
	ε

Weak ::=
	[precs]::Precedence+ [auxTasks]::MetaTaskOccurence+

Grouping ::=
	[precs]::Precedence+ [auxTasks]::MetaTaskOccurence+

Precedence ::=
	DynPrecedence

Precedence ::=
	DerPrecedence

Precedence ::=
	BasPrecedence

Precedence ::=
	[deprecs]::DerPrecedence+ [parbind]::ParBinding+

DynPrecedence ::=
	Strong

DynPrecedence ::=
	Start

DynPrecedence ::=
	End

DynPrecedence ::=
	FeedBack

DynPrecedence ::=
	Weak

DynPrecedence ::=
	Grouping

DynPrecedence ::=
	[deprecs]::DerPrecedence+ [parbind]::ParBinding+

DerPrecedence ::=
	Weak

DerPrecedence ::=
	Grouping

DerPrecedence ::=
	[precs]::Precedence+ [auxTasks]::MetaTaskOccurence+

BasPrecedence ::=
	Strong

BasPrecedence ::=
	Start

BasPrecedence ::=
	End

BasPrecedence ::=
	FeedBack

BasPrecedence ::=
	[deprecs]::DerPrecedence+ [parbind]::ParBinding+

MetaTaskOccurence ::=
	[dprecs]::DerPrecedence+ [taskCl]::MetaTask+

ParBinding ::=
	[inclusion]::Boolean [precs]::Precedence+ [targetPar]::ParameterPrec [sourcePar]::ParameterPrec

ParameterPrec ::=
	[parbindsTar]::ParBinding+ [parbindsSour]::ParBinding+ [dstParams]::ParameterPrec+ [orParams]::ParameterPrec+

ModelElement ::=
	MetaTaskOccurence

ModelElement ::=
	MetaTask

ModelElement ::=
	[dependencyUMLsupp]::DependancyUML [dependencyUMLcli]::DependancyUML

DependancyUML ::=
	[suppier]::ModelElement+ [client]::ModelElement+

MetaTask ::=
	[params]::ParameterUML+ [occurs]::MetaTaskOccurence+

ParameterUML ::=
	ParameterPrec

ParameterUML ::=
	[task]::MetaTask [doc]::MetaDocument+

MetaDocument ::=
	[params]::ParameterUML+

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