Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/OpenQVT/extracted
Source used for this grammar: Hugo Brunelière, OpenQVT 0.1, OpenQVT.ecore
, 2005/08/09
Variable
, Context
, Rule
, RootRule
, RuleSetCall
, QARule
, RuleSet
, Service
, OCLService
, RTransService
, JavaService
, RulePart
, Action
, RTransAction
, JavaAction
, Query
, OCLFilter
, RTransQuery
, JavaQuery
, JavaFilter
, String
), 0 root (—), 1 top (RulePart
), 0 bottom (—).[name]
, [type]
, [value]
, [visibility]
5, [context]
2, [variables]
, [rule]
5, [subRule]
, [superRule]
, [services]
, [ruleSet]
2, [query]
, [action]
, [rootRule]
, [signature]
4, [qARule]
8.Variable ::= [name]::String [type]::String [value]::String [visibility]::String [context]::Context
Context ::=
[variables]::Variable
[rule]::RuleRule ::= RootRule
Rule ::= RuleSetCall
Rule ::= QARule
Rule ::=
[context]::Context [subRule]::Rule [superRule]::Rule [services]::Service
RootRule ::= [ruleSet]::RuleSet
RuleSetCall ::= [ruleSet]::RuleSet
QARule ::= [query]::Query [action]::Action
RuleSet ::= [rootRule]::RootRule
Service ::= OCLService
Service ::= RTransService
Service ::= JavaService
Service ::= [visibility]::String [signature]::String [rule]::Rule
OCLService ::= [visibility]::String [signature]::String [rule]::Rule
RTransService ::= [visibility]::String [signature]::String [rule]::Rule
JavaService ::= [visibility]::String [signature]::String [rule]::Rule
RulePart ::= Action
RulePart ::= Query
Action ::= RTransAction
Action ::= JavaAction
Action ::= [qARule]::QARule
RTransAction ::= [qARule]::QARule
JavaAction ::= [qARule]::QARule
Query ::= OCLFilter
Query ::= RTransQuery
Query ::= JavaQuery
Query ::= JavaFilter
Query ::= [qARule]::QARule
OCLFilter ::= [qARule]::QARule
RTransQuery ::= [qARule]::QARule
JavaQuery ::= [qARule]::QARule
JavaFilter ::= [qARule]::QARule
String ::= string