Browsable Cristal 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: dsl/architecture/cristal/srour/extracted
Source used for this grammar: Youssef Srour, Cristal 1.0, Cristal.ecore, 2006/07/28

Summary

• Total 16 production rules with 17 top alternatives and 71 symbols.
• Vocabulary: 20 = 12 nonterminals + 2 terminals + 6 labels + 0 markers.
• Total 12 nonterminal symbols: 12 defined (Condition, CompositeParDef, ElementaryPartDef, ElementaryActDef, CompositeActDef, ActCompositeMember, ActivityDefinition, PartDefinition, PartCompositeMember, String, Boolean, Integer), 0 root (—), 4 top (Condition, String, Boolean, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 6 labels: [partCompositeMembers] ³, [actCompositeMembers] ², [partCompositeMember], [actCompositeMember] ², [activityDefinitions], [partDefinitions].

Syntax

Condition ::=
	[partCompositeMembers]::PartCompositeMember+ [actCompositeMembers]::ActCompositeMember+

CompositeParDef ::=
	[partCompositeMember]::PartCompositeMember+

ElementaryPartDef ::=
	[partCompositeMembers]::PartCompositeMember+

ElementaryActDef ::=
	[actCompositeMember]::ActCompositeMember

CompositeActDef ::=
	[actCompositeMembers]::ActCompositeMember+

ActCompositeMember ::=
	[activityDefinitions]::ActivityDefinition+

ActivityDefinition ::=
	ElementaryActDef

ActivityDefinition ::=
	CompositeActDef

ActivityDefinition ::=
	[actCompositeMember]::ActCompositeMember

PartDefinition ::=
	CompositeParDef

PartDefinition ::=
	ElementaryPartDef

PartDefinition ::=
	[partCompositeMembers]::PartCompositeMember+

PartCompositeMember ::=
	[partDefinitions]::PartDefinition

String ::=
	string

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

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