Browsable Integration of OCL Expressions in UML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/ocl/uml/extracted
Source used for this grammar: Julien Baudry, IntegrationOfOCL_ExpressionsInUML.ecore, 2006/07/10

Summary

• Total 7 production rules with 8 top alternatives and 23 symbols.
• Vocabulary: 9 = 7 nonterminals + 2 terminals + 0 labels + 0 markers.
• Total 7 nonterminal symbols: 7 defined (PreCondition, PortCondition, Invariant, Guard, Boolean, Integer, String), 0 root (—), 7 top (PreCondition, PortCondition, Invariant, Guard, Boolean, Integer, String), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).

Syntax

PreCondition ::=
	ε

PortCondition ::=
	ε

Invariant ::=
	ε

Guard ::=
	ε

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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