Browsable OCL Operations Grammar

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

Summary

Total 24 production rules with 27 top alternatives and 100 symbols.
Vocabulary: 31 = 18 nonterminals + 2 terminals + 11 labels + 0 markers.
Total 18 nonterminal symbols: 16 defined (OperationExp, PropertyOperation, OclOperation, ConstExp, IntegerConstExp, StringConstExp, RealConstExp, AttributeExp, Attribute, NaviguationExp, AssocationEnd, ClassifierOperation, Operation, Boolean, Integer, String), 0 root (—), 1 top (OperationExp), 2 bottom (Double, OclExpression⁴).
Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
Total 11 labels: [isMarkedPre], [source], [arguments]², [value]³, [attr], [attrExp], [assEnd], [qualifierValues], [navExp], [op], [classOp].

OperationExp ::=
	PropertyOperation

OperationExp ::=
	OclOperation

OperationExp ::=
	ConstExp

PropertyOperation ::=
	AttributeExp

PropertyOperation ::=
	NaviguationExp

PropertyOperation ::=
	ClassifierOperation

PropertyOperation ::=
	[isMarkedPre]::Boolean [source]::OclExpression

OclOperation ::=
	[arguments]::OclExpression

ConstExp ::=
	IntegerConstExp

ConstExp ::=
	StringConstExp

ConstExp ::=
	RealConstExp

ConstExp ::=
	IntegerConstExp
	StringConstExp
	RealConstExp

IntegerConstExp ::=
	[value]::Integer

StringConstExp ::=
	[value]::String

RealConstExp ::=
	[value]::Double

AttributeExp ::=
	[attr]::Attribute

Attribute ::=
	[attrExp]::AttributeExp+

NaviguationExp ::=
	[assEnd]::AssocationEnd [qualifierValues]::OclExpression

AssocationEnd ::=
	[navExp]::NaviguationExp+

ClassifierOperation ::=
	[op]::Operation [arguments]::OclExpression

Operation ::=
	[classOp]::ClassifierOperation+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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