Browsable MTRANS 0.1 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/MTRANS/extracted
Source used for this grammar: Hugo Brunelière, MTRANS 0.1, MTRANS.ecore, 2005/08/10

Summary

• Total 11 production rules with 12 top alternatives and 101 symbols.
• Vocabulary: 37 = 11 nonterminals + 2 terminals + 24 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (MetaClass, MetaModel, Module, Rule, Inheritance, Expression, Section, Instruction, Variable, Boolean, String), 0 root (—), 0 top (—), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 24 labels: [name] ³, [mode], [metaDest], [metaSource], [rules], [isAbstract], [isEntryPoint], [module], [target], [source], [declaration], [sections], [guard], [inheritances], [rule] ⁴, [expressions], [inheritedRules], [operator], [inheritance], [instruction], [kind], [instructions], [body], [section].

Syntax

MetaClass ::=
	ε

MetaModel ::=
	ε

Module ::=
	[name]::String [mode]::String [metaDest]::MetaModel+ [metaSource]::MetaModel+ [rules]::Rule+

Rule ::=
	[isAbstract]::Boolean [isEntryPoint]::Boolean [name]::String [module]::Module [target]::MetaClass [source]::MetaClass [declaration]::Variable [sections]::Section+ [guard]::Expression [inheritances]::Inheritance+

Inheritance ::=
	[rule]::Rule [expressions]::Expression+ [inheritedRules]::Rule+

Expression ::=
	[operator]::String [inheritance]::Inheritance [rule]::Rule [instruction]::Instruction

Section ::=
	[kind]::String [rule]::Rule [instructions]::Instruction+

Instruction ::=
	[body]::Expression [section]::Section

Variable ::=
	[name]::String [rule]::Rule

Boolean ::=
	"true"
	"false"

String ::=
	string

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