Browsable UML with Reuse Contracts Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: uml/reuse/extracted
Source used for this grammar: Julien Baudry, UML with reuse contracts, UML_withReuseContracts.ecore, 2006/07/10

Summary

• Total 19 production rules with 23 top alternatives and 77 symbols.
• Vocabulary: 20 = 12 nonterminals + 2 terminals + 6 labels + 0 markers.
• Total 12 nonterminal symbols: 12 defined (ReuseContract, Dependency, ProviderClause, Package, ReuserClause, CompositeProvider, BasicProvider, CompositeReuser, BasicReuser, Boolean, Integer, String), 0 root (—), 4 top (Package, Boolean, Integer, String), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 6 labels: [supplier], [client], [owningDependency], [subDependency], [subcontract], [subreuser].

Syntax

ReuseContract ::=
	[supplier]::ProviderClause [client]::ReuserClause

Dependency ::=
	ReuseContract

Dependency ::=
	[owningDependency]::Dependency [subDependency]::Dependency+

ProviderClause ::=
	CompositeProvider

ProviderClause ::=
	BasicProvider

ProviderClause ::=
	CompositeProvider
	BasicProvider

Package ::=
	ProviderClause

Package ::=
	ReuserClause

Package ::=
	ProviderClause
	ReuserClause

ReuserClause ::=
	CompositeReuser

ReuserClause ::=
	BasicReuser

ReuserClause ::=
	CompositeReuser
	BasicReuser

CompositeProvider ::=
	[subcontract]::ReuseContract

BasicProvider ::=
	ε

CompositeReuser ::=
	[subreuser]::ReuserClause+

BasicReuser ::=
	ε

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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