Browsable OCL Expressions Grammar

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

Summary

Total 19 production rules with 20 top alternatives and 108 symbols.
Vocabulary: 31 = 18 nonterminals + 2 terminals + 11 labels + 0 markers.
Total 18 nonterminal symbols: 15 defined (OclExpression, SelfExp, ResultExp, VariableExp, VariableDeclaration, VariableInitialisation, ForAllExp, ExistsExp, SelectExp, RejectExp, CollectExp, IterateExp, Boolean, Integer, String), 0 root (—), 7 top (ForAllExp, ExistsExp, SelectExp, RejectExp, CollectExp, Boolean, Integer), 3 bottom (Type³, OperationExp, QueryExp⁶).
Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
Total 11 labels: [queryArg]², [querySrc]², [resultType]², [varDec]³, [varInit]⁴, [var]², [varType], [oclExpression], [queryExp], [initExpression], [iterateExp].

OclExpression ::=
	SelfExp

OclExpression ::=
	ResultExp

OclExpression ::=
	VariableExp

OclExpression ::=
	OperationExp

OclExpression ::=
	QueryExp

SelfExp ::=
	[queryArg]::QueryExp+ [querySrc]::QueryExp+ [resultType]::Type [varDec]::VariableDeclaration+ [varInit]::VariableInitialisation+

ResultExp ::=
	[queryArg]::QueryExp+ [querySrc]::QueryExp+ [resultType]::Type [varDec]::VariableDeclaration+ [varInit]::VariableInitialisation+

VariableExp ::=
	[var]::String

VariableDeclaration ::=
	[var]::String [varType]::Type [oclExpression]::OclExpression+ [queryExp]::QueryExp+ [varInit]::VariableInitialisation+

VariableInitialisation ::=
	[initExpression]::OclExpression [varDec]::VariableDeclaration [iterateExp]::IterateExp

ForAllExp ::=
	ε

ExistsExp ::=
	ε

SelectExp ::=
	ε

RejectExp ::=
	ε

CollectExp ::=
	ε

IterateExp ::=
	[varInit]::VariableInitialisation

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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