Packages

dotx

0.3.0
0.3.1 0.3.0 0.2.0

Dotx is a full feature library for DOT file parsing and generation. The whole spec [https://www.graphviz.org/doc/info/lang.html](https://www.graphviz.org/doc/info/lang.html) is implemented.

HexDocs

Current section

Files

Jump to
Readme
3 Versions
0 Dependencies
Dependants
Files
Activity
dotx src dot_parser.yrl
Raw

src/dot_parser.yrl 

Nonterminals

Graph GraphTy Strict

StmtList Stmt NodeStmt EdgeStmt AttrStmt Equality Subgraph

AttrList AList NodeId EdgeRHS EdgeOp

.



Terminals

'strict' 'graph' 'digraph' 'node' 'edge' 'subgraph'

';' ',' ':' '=' '{' '[' ']' '}'

id

'--' '->'

.



Rootsymbol Graph.



Graph -> Strict GraphTy    '{' StmtList '}'    : 'Elixir.Dotx.Graph':childattrs2fields('Elixir.Dotx.Graph':'__struct__'([{strict,'$1'},{type,'$2'},{children,'$4'}])).

Graph -> Strict GraphTy id '{' StmtList '}'    : 'Elixir.Dotx.Graph':childattrs2fields('Elixir.Dotx.Graph':'__struct__'([{strict,'$1'},{type,'$2'},{id,element(3,'$3')},{children,'$5'}])).

GraphTy -> 'graph'      : element(1,'$1').

GraphTy -> 'digraph'    : element(1,'$1').

Strict -> '$empty'    : false.

Strict -> 'strict'    : true.



StmtList -> Stmt                 : ['$1'].

StmtList -> Stmt     StmtList    : ['$1'|'$2'].

StmtList -> Stmt ';'             : ['$1'].

StmtList -> Stmt ';' StmtList    : ['$1'|'$3'].

% not in spec but handled by graphvis : comma separated statements

StmtList -> Stmt ','             : ['$1'].

StmtList -> Stmt ',' StmtList    : ['$1'|'$3'].



Stmt -> NodeStmt    : '$1'.

Stmt -> EdgeStmt    : '$1'.

Stmt -> AttrStmt    : '$1'.

Stmt -> Equality    : '$1'.

Stmt -> Subgraph    : '$1'.



Equality -> id '=' id    : {element(3,'$1'),element(3,'$3')}.



AttrStmt -> 'graph' AttrList    : {element(1,'$1'),'$2'}.

AttrStmt -> 'node'  AttrList    : {element(1,'$1'),'$2'}.

AttrStmt -> 'edge'  AttrList    : {element(1,'$1'),'$2'}.



AttrList -> '['       ']'             : #{}.

AttrList -> '[' AList ']'             : 'Elixir.Map':new('$2').

AttrList -> '['       ']' AttrList    : 'Elixir.Map':new('$3').

AttrList -> '[' AList ']' AttrList    : 'Elixir.Enum':into(['$2'],'Elixir.Map':new('$4')).



AList -> Equality              : ['$1'].

AList -> Equality     AList    : ['$1'|'$2'].

AList -> Equality ','          : ['$1'].

AList -> Equality ',' AList    : ['$1'|'$3'].



EdgeStmt -> NodeId   EdgeOp EdgeRHS             : 'Elixir.Dotx.Edge':'__struct__'([{from,'Elixir.Dotx.Node':'__struct__'([{id,'$1'}])},{bidir,'$2'},{to,'$3'}]).

EdgeStmt -> NodeId   EdgeOp EdgeRHS AttrList    : 'Elixir.Dotx.Edge':'__struct__'([{from,'Elixir.Dotx.Node':'__struct__'([{id,'$1'}])},{bidir,'$2'},{to,'$3'},{attrs,'$4'}]).

EdgeStmt -> Subgraph EdgeOp EdgeRHS             : 'Elixir.Dotx.Edge':'__struct__'([{from,'$1'},{bidir,'$2'},{to,'$3'}]).

EdgeStmt -> Subgraph EdgeOp EdgeRHS AttrList    : 'Elixir.Dotx.Edge':'__struct__'([{from,'$1'},{bidir,'$2'},{to,'$3'},{attrs,'$4'}]).



%% Missing here that EdgeRHS must be another edge RHS handling edgeop direction

EdgeRHS -> NodeId              : 'Elixir.Dotx.Node':'__struct__'([{id,'$1'}]).

EdgeRHS -> NodeId EdgeOp EdgeRHS      : 'Elixir.Dotx.Edge':'__struct__'([{from,'Elixir.Dotx.Node':'__struct__'([{id,'$1'}])},{bidir,'$2'},{to,'$3'}]).

EdgeRHS -> Subgraph            : '$1'.

EdgeRHS -> Subgraph EdgeOp EdgeRHS    : 'Elixir.Dotx.Edge':'__struct__'([{from,'$1'},{bidir,'$2'},{to,'$3'}]).

EdgeOp -> '--'    : true.

EdgeOp -> '->'    : false.



NodeStmt -> NodeId             : 'Elixir.Dotx.Node':'__struct__'([{id,'$1'}]).

NodeStmt -> NodeId AttrList    : 'Elixir.Dotx.Node':'__struct__'([{id,'$1'},{attrs,'$2'}]).







NodeId -> id                  : [element(3,'$1')].

NodeId -> id ':' id           : [element(3,'$1'),element(3,'$3')].

NodeId -> id ':' id ':' id    : [element(3,'$1'),element(3,'$3'),element(3,'$5')].



Subgraph ->               '{' StmtList '}'    : 'Elixir.Dotx.Graph':childattrs2fields('Elixir.Dotx.SubGraph':'__struct__'([{children,'$2'}])).

Subgraph -> 'subgraph' id '{' StmtList '}'    : 'Elixir.Dotx.Graph':childattrs2fields('Elixir.Dotx.SubGraph':'__struct__'([{id,element(3,'$2')},{children,'$4'}])).



%% Number of shift/reduce conflicts

Expect 2.



Erlang code.





%% End of Parser.