Browsable PRR (Production Rule Representation) 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/PRR/extracted
Source used for this grammar: Anas Abouzahra, PRR (Production Rule Representation) 0.1, PRR.ecore, 2006/06/22

Summary

• Total 47 production rules with 48 top alternatives and 224 symbols.
• Vocabulary: 87 = 45 nonterminals + 2 terminals + 40 labels + 0 markers.
• Total 45 nonterminal symbols: 35 defined (Element, NamedElement, RuleSet, Rule, RuleAction, RuleCondition, Binding, RuleVariable, DeleteAction, CreateAction, AssignAction, InvokeAction, IteratorExp, LoopExp, OperatorCallExp, OperationCallExp, CollectionOperationCallExp, StringExp, BooleanExp, IntegerExp, RealExp, NavigationOrAttributeCallExp, Iterator, VariableDeclaration, VariableExp, TypeExp, AllInstanceExp, OclType, StringType, RealType, BooleanType, IntegerType, Integer, String, Boolean), 0 root (—), 19 top (Element, IteratorExp, LoopExp, OperatorCallExp, OperationCallExp, CollectionOperationCallExp, StringExp, BooleanExp, IntegerExp, RealExp, NavigationOrAttributeCallExp, Iterator, VariableExp, TypeExp, AllInstanceExp, StringType, RealType, BooleanType, IntegerType), 10 bottom (PRRExpressions/TypeExp, PRRExpressions/Iterator, Double, PRRExpressions/OclExpression ¹⁰, PRRTypes/OclType ³, PRRExpressions/VariableExp, PRRExpressions/VariableDeclaration ², PRRExpressions/LoopExp, OclExpression, PRRExpressions/AllInstanceExp).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 40 labels: [location], [commentsBefore], [commentsAfter], [rules], [binding], [condition], [actions], [ruleOwner], [actionOwner], [ruleConditionOwner], [conditionExp], [bindingOwner], [ruleVariable], [ruleVariableOwner], [filter], [objValue] ², [insertArguments], [aValue], [invocation], [name] ², [body], [iterators], [arguments], [operationName], [signature], [stringSymbol], [booleanSymbol], [integerSymbol], [realSymbol], [loopExpr], [type], [varName], [variableExp], [referredVariable], [referredType], [sourceType], [variableDeclaration], [oclExpression], [appliedAllInstance], [typeExp].

Syntax

Element ::=
	NamedElement

Element ::=
	RuleSet

Element ::=
	RuleAction

Element ::=
	RuleCondition

Element ::=
	Binding

Element ::=
	OclExpression

Element ::=
	VariableDeclaration

Element ::=
	[location]::String [commentsBefore]::String+ [commentsAfter]::String+

NamedElement ::=
	Rule

NamedElement ::=
	OclType

RuleSet ::=
	[rules]::Rule+

Rule ::=
	[binding]::Binding [condition]::RuleCondition [actions]::RuleAction+ [ruleOwner]::RuleSet

RuleAction ::=
	DeleteAction

RuleAction ::=
	AssignAction

RuleAction ::=
	InvokeAction

RuleAction ::=
	CreateAction

RuleAction ::=
	[actionOwner]::Rule

RuleCondition ::=
	[ruleConditionOwner]::Rule [conditionExp]::PRRExpressions/OclExpression

Binding ::=
	[bindingOwner]::Rule [ruleVariable]::RuleVariable+

RuleVariable ::=
	[ruleVariableOwner]::Binding [filter]::PRRExpressions/OclExpression

DeleteAction ::=
	[objValue]::PRRExpressions/OclExpression

CreateAction ::=
	[insertArguments]::PRRExpressions/OclExpression+

AssignAction ::=
	[objValue]::PRRExpressions/OclExpression [aValue]::PRRExpressions/OclExpression

InvokeAction ::=
	[invocation]::PRRExpressions/OclExpression

IteratorExp ::=
	[name]::String

LoopExp ::=
	[body]::PRRExpressions/OclExpression [iterators]::PRRExpressions/Iterator+

OperatorCallExp ::=
	ε

OperationCallExp ::=
	[arguments]::PRRExpressions/OclExpression+ [operationName]::String [signature]::String

CollectionOperationCallExp ::=
	ε

StringExp ::=
	[stringSymbol]::String

BooleanExp ::=
	[booleanSymbol]::Boolean

IntegerExp ::=
	[integerSymbol]::Integer

RealExp ::=
	[realSymbol]::Double

NavigationOrAttributeCallExp ::=
	[name]::String

Iterator ::=
	[loopExpr]::PRRExpressions/LoopExp

VariableDeclaration ::=
	[type]::PRRTypes/OclType [varName]::String [variableExp]::PRRExpressions/VariableExp+

VariableExp ::=
	[referredVariable]::PRRExpressions/VariableDeclaration

TypeExp ::=
	[referredType]::PRRTypes/OclType

AllInstanceExp ::=
	[sourceType]::PRRTypes/OclType

OclType ::=
	[variableDeclaration]::PRRExpressions/VariableDeclaration+ [oclExpression]::PRRExpressions/OclExpression+ [appliedAllInstance]::PRRExpressions/AllInstanceExp [typeExp]::PRRExpressions/TypeExp+

StringType ::=
	ε

RealType ::=
	ε

BooleanType ::=
	ε

IntegerType ::=
	ε

Integer ::=
	integer

String ::=
	string

Boolean ::=
	"true"
	"false"

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