Browsable MetaH 1.0 Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/atl/METAH/extracted
Source used for this grammar: Julien Baudry, MetaH 1.0, METAH.ecore, 2006/05/27

Summary

• Total 23 production rules with 24 top alternatives and 151 symbols.
• Vocabulary: 50 = 17 nonterminals + 2 terminals + 31 labels + 0 markers.
• Total 17 nonterminal symbols: 17 defined (METAHFile, METAHEntry, Package, PackageImplementation, Data, Attribute, ProcessDeclaration, ProcessImplementation, ProcessAttribute, Process, Port, Connection, MacroDeclaration, MacroImplementation, Boolean, Integer, String), 0 root (—), 2 top (METAHFile, Boolean), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 31 labels: [entries], [packName], [data], [implementationName], [implements], [attributes], [dataName], [attName] ², [attValue] ², [attValueType] ², [attType], [procDecName], [ports] ², [procImpName], [declaration] ³, [processAttributes], [procName], [periodic], [implementation], [portName], [portCom], [portPackage], [portType], [compSrc], [portSrc], [compDest], [portDest], [name], [macroImpName], [process], [connections].

Syntax

METAHFile ::=
	[entries]::METAHEntry+

METAHEntry ::=
	Package

METAHEntry ::=
	PackageImplementation

METAHEntry ::=
	ProcessDeclaration

METAHEntry ::=
	ProcessImplementation

METAHEntry ::=
	Connection

METAHEntry ::=
	MacroDeclaration

METAHEntry ::=
	MacroImplementation

Package ::=
	[packName]::String [data]::Data+

PackageImplementation ::=
	[implementationName]::String [implements]::String [attributes]::Attribute+

Data ::=
	[dataName]::String

Attribute ::=
	[attName]::String [attValue]::Integer [attValueType]::String [attType]::String

ProcessDeclaration ::=
	[procDecName]::String [ports]::Port+

ProcessImplementation ::=
	[procImpName]::String [declaration]::String [processAttributes]::ProcessAttribute+

ProcessAttribute ::=
	[attName]::String [attValue]::Integer [attValueType]::String

Process ::=
	[procName]::String [periodic]::String [declaration]::String [implementation]::String

Port ::=
	[portName]::String [portCom]::String [portPackage]::String [portType]::String

Connection ::=
	[compSrc]::String [portSrc]::String [compDest]::String [portDest]::String

MacroDeclaration ::=
	[name]::String [ports]::Port+

MacroImplementation ::=
	[macroImpName]::String [declaration]::String [process]::Process+ [connections]::Connection+

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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