Browsable OCL Values Grammar

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

Summary

• Total 25 production rules with 26 top alternatives and 103 symbols.
• Vocabulary: 34 = 21 nonterminals + 2 terminals + 11 labels + 0 markers.
• Total 21 nonterminal symbols: 18 defined (Value, BasicValue, IntegerValue, RealValue, StringValue, BooleanValue, ObjectValue, Object, EnumValue, EnumLiteral, UndefinedValue, BagValue, SequenceValue, SetValue, Count, Boolean, Integer, String), 0 root (—), 1 top (Count), 3 bottom (CollectionValue, Double, Type).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 11 labels: [val] ⁴, [object], [objectValue], [enumLiteral], [enumValue], [type], [bagValue], [sequenceValue], [setValue], [elements] ³, [num].

Syntax

Value ::=
	BasicValue

Value ::=
	ObjectValue

Value ::=
	EnumValue

Value ::=
	UndefinedValue

Value ::=
	CollectionValue

BasicValue ::=
	IntegerValue

BasicValue ::=
	RealValue

BasicValue ::=
	StringValue

BasicValue ::=
	BooleanValue

IntegerValue ::=
	[val]::Integer

RealValue ::=
	[val]::Double

StringValue ::=
	[val]::String

BooleanValue ::=
	[val]::Boolean

ObjectValue ::=
	[object]::Object

Object ::=
	[objectValue]::ObjectValue

EnumValue ::=
	[enumLiteral]::EnumLiteral

EnumLiteral ::=
	[enumValue]::EnumValue

UndefinedValue ::=
	[type]::Type [bagValue]::BagValue+ [sequenceValue]::SequenceValue+ [setValue]::SetValue+

BagValue ::=
	[elements]::Value+

SequenceValue ::=
	[elements]::Value+

SetValue ::=
	[elements]::Value+

Count ::=
	[num]::Integer

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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