Browsable PDG Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: §wip/metasyntax/pdg/extracted
Source used for this grammar: Jean-Sébastien Sottet, Program Dependence Graph, PDG.ecore, 2009/03/20

Summary

• Total 7 production rules with 8 top alternatives and 46 symbols.
• Vocabulary: 16 = 7 nonterminals + 2 terminals + 7 labels + 0 markers.
• Total 7 nonterminal symbols: 7 defined (MProgramDependenceGraph, EnterNode, ExpressionNode, Expression, Boolean, String, Integer), 0 root (—), 2 top (MProgramDependenceGraph, Integer), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 7 labels: [node], [name] ³, [controlDependenceNodes] ², [expression], [dataDependenceNodes], [isIdentifier], [innerExpressions].

Syntax

MProgramDependenceGraph ::=
	[node]::EnterNode

EnterNode ::=
	[name]::String [controlDependenceNodes]::ExpressionNode+

ExpressionNode ::=
	[name]::String [expression]::Expression [dataDependenceNodes]::ExpressionNode+ [controlDependenceNodes]::ExpressionNode+

Expression ::=
	[name]::String [isIdentifier]::Boolean [innerExpressions]::Expression+

Boolean ::=
	"true"
	"false"

String ::=
	string

Integer ::=
	integer

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