Browsable Dot Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/graphical/dot/doux/extracted
Source used for this grammar: Guillaume Doux, GraphvizDot 1.0, GraphVizDot.ecore, 2008/06/04 [Atlantic]

Summary

• Total 17 production rules with 18 top alternatives and 98 symbols.
• Vocabulary: 29 = 11 nonterminals + 2 terminals + 16 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (LocatedElement, NamedElement, Graph, GraphElement, Node, DirectedArc, Constraint, SubGraph, Boolean, Integer, String), 0 root (—), 2 top (LocatedElement, Boolean), 0 bottom (—).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 16 labels: [type] ², [rankDir] ², [dim] ², [contents] ², [shape] ², [style], [sourceNode], [sourcePart], [targetNode], [targetPart], [val], [refers], [label], [color], [z], [graph].

Syntax

LocatedElement ::=
	NamedElement

NamedElement ::=
	Graph

NamedElement ::=
	GraphElement

NamedElement ::=
	Node

Graph ::=
	SubGraph

Graph ::=
	[type]::String [rankDir]::String [dim]::Integer [contents]::GraphElement+

GraphElement ::=
	DirectedArc

GraphElement ::=
	Constraint

GraphElement ::=
	Node

GraphElement ::=
	SubGraph

Node ::=
	[shape]::String [style]::String

DirectedArc ::=
	[sourceNode]::String [sourcePart]::String [targetNode]::String [targetPart]::String [shape]::String

Constraint ::=
	[val]::String [refers]::String+

SubGraph ::=
	[type]::String [rankDir]::String [dim]::Integer [contents]::GraphElement+ [label]::String [color]::String [z]::Integer [graph]::Graph

Boolean ::=
	"true"
	"false"

Integer ::=
	integer

String ::=
	string

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