Browsable Dot Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/graphical/dot/rascal/abstract/extracted
Source used for this grammar: Bert Lisser, lang::dot::Dot, 2012 [GitHub]

Summary

• Total 11 production rules with 48 top alternatives and 253 symbols.
• Vocabulary: 43 = 11 nonterminals + 0 terminals + 32 labels + 0 markers.
• Total 11 nonterminal symbols: 11 defined (Id, DotGraph, Stms, NodeId, PortId, CompassPt, Stm, Attr, Attrs, Outline, Dotline), 0 root (—), 1 top (Dotline), 0 bottom (—).
• Total 32 labels: [id] ⁵, [stmts] ², [graph] ², [digraph], [N] ⁵, [NE], [E] ¹⁹, [SE], [S] ³, [SW], [W], [NW], [C], [_], [attrs] ¹⁴, [nid] ², [from] ⁶, [to] ⁶, [nfrom] ⁶, [sfrom] ⁶, [nto] ⁶, [sto] ⁶, [stms] ², [prop] ², [val] ², [A], [GRAPH], [NODE], [EDGE], [key], [args], [outline].

Syntax

Id ::=
	string

DotGraph ::=
	[graph]::([id]::Id [stmts]::Stms)
	[digraph]::([id]::Id [stmts]::Stms)

Stms ::=
	Stm*

NodeId ::=
	Id PortId

PortId ::=
	Id CompassPt

CompassPt ::=
	[N]::ε
	[NE]::ε
	[E]::ε
	[SE]::ε
	[S]::ε
	[SW]::ε
	[W]::ε
	[NW]::ε
	[C]::ε
	[_]::ε

Stm ::=
	[N]::([id]::Id [attrs]::Attrs)
	[N]::[id]::Id
	[N]::([nid]::NodeId [attrs]::Attrs)
	[N]::[nid]::NodeId
	[E]::([from]::Id [to]::Id [attrs]::Attrs)
	[E]::([from]::Id [to]::Id)
	[E]::([nfrom]::NodeId [to]::Id [attrs]::Attrs)
	[E]::([nfrom]::NodeId [to]::Id)
	[E]::([sfrom]::Stm [to]::Id [attrs]::Attrs)
	[E]::([sfrom]::Stm [to]::Id)
	[E]::([from]::Id [nto]::NodeId [attrs]::Attrs)
	[E]::([from]::Id [nto]::NodeId)
	[E]::([nfrom]::NodeId [nto]::NodeId [attrs]::Attrs)
	[E]::([nfrom]::NodeId [nto]::NodeId)
	[E]::([sfrom]::Stm [nto]::NodeId [attrs]::Attrs)
	[E]::([sfrom]::Stm [nto]::NodeId)
	[E]::([from]::Id [sto]::Stm [attrs]::Attrs)
	[E]::([from]::Id [sto]::Stm)
	[E]::([nfrom]::NodeId [sto]::Stm [attrs]::Attrs)
	[E]::([nfrom]::NodeId [sto]::Stm)
	[E]::([sfrom]::Stm [sto]::Stm [attrs]::Attrs)
	[E]::([sfrom]::Stm [sto]::Stm)
	[S]::([id]::Id [stms]::Stms)
	[S]::[stms]::Stms
	[A]::([prop]::Id [val]::Id)
	[GRAPH]::[attrs]::Attrs
	[NODE]::[attrs]::Attrs
	[EDGE]::[attrs]::Attrs

Attr ::=
	[prop]::string [val]::Id

Attrs ::=
	Attr*

Outline ::=
	([key]::integer [args]::string*)*

Dotline ::=
	[graph]::DotGraph [outline]::Outline

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