Browsable CWMCore 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: meta/mof/cwm/core/extracted
Source used for this grammar: Hugo Brunelière, CWMCore 1.0, CWMCore.ecore, 2005/08/10

Summary

• Total 31 production rules with 34 top alternatives and 158 symbols.
• Vocabulary: 41 = 18 nonterminals + 2 terminals + 21 labels + 0 markers.
• Total 18 nonterminal symbols: 18 defined (VisibilityKind, BooleanExpression, ModelElement, Dependency, Constraint, Feature, StructuralFeature, Attribute, NameSpace, Classifier, Package, Class, Datatype, Subsystem, Model, Integer, String, Boolean), 0 root (—), 2 top (Integer, Boolean), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 21 labels: [vk_public_vis], [vk_private_vis], [vk_protected_vis], [expresssion], [name], [visibility], [contraints], [clientDependencies], [supplierDependencies], [namespace], [importers], [kind], [clients], [suppliers], [body], [constrainedElements], [owner], [type] ², [ownedElements], [features] ⁴, [importedElements] ³.

Syntax

VisibilityKind ::=
	[vk_public_vis]::ε
	[vk_private_vis]::ε
	[vk_protected_vis]::ε

BooleanExpression ::=
	[expresssion]::String

ModelElement ::=
	Dependency

ModelElement ::=
	Constraint

ModelElement ::=
	Feature

ModelElement ::=
	NameSpace

ModelElement ::=
	[name]::String [visibility]::VisibilityKind [contraints]::Constraint+ [clientDependencies]::Dependency+ [supplierDependencies]::Dependency+ [namespace]::NameSpace [importers]::Package+

Dependency ::=
	[kind]::String [clients]::ModelElement+ [suppliers]::ModelElement+

Constraint ::=
	[body]::BooleanExpression [constrainedElements]::ModelElement+

Feature ::=
	StructuralFeature

Feature ::=
	[owner]::Classifier

StructuralFeature ::=
	Attribute

StructuralFeature ::=
	[type]::Classifier

Attribute ::=
	[type]::Classifier

NameSpace ::=
	Classifier

NameSpace ::=
	Package

NameSpace ::=
	[ownedElements]::ModelElement+

Classifier ::=
	Class

Classifier ::=
	Datatype

Classifier ::=
	Subsystem

Classifier ::=
	[features]::Feature+

Package ::=
	Model

Package ::=
	Subsystem

Package ::=
	[importedElements]::ModelElement+

Class ::=
	[features]::Feature+

Datatype ::=
	[features]::Feature+

Subsystem ::=
	[features]::Feature+ [importedElements]::ModelElement+

Model ::=
	[importedElements]::ModelElement+

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

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