DOT language

「文法」を説明するための、「文法の書式」について
- １行ごとに何かが書いてある
  - たとえば、次のような１行は"hogeとは*****と書かれたものである"と言う意味

hoge:*****

graph:[strict](graph|digraph)[ID]'{'stmt_list'}'

stmt_list:[stmt[';'][stmt_list]]

「stmt_listとは」
- 空(から)でもよい
- stmtが一つあってもよい。ただしstmtが何であるかの定義は後述される
- stmtが並んでいてもよい
- stmtの区切りはなくてもよいし、つけるなら";"を使う

stmt:node_stmt | edge_stmt | attr_stmt | ID '=' ID |subgraph

「stmtとは」
- ５つのいずれかである。node_stmt,edge_stmt,attr_stmt,ID=ID,subgraph がその５つ。それぞれ後述される
- (それらの説明はアルファベット順のようだ。途中にさらに詳しく説明するための用語が登場しそれについてもアルファベット順で定義が加えられている)

attr_stmt:(graph | node | edge) attr_list

「attr_stmtとは」
- "graph"または"node"または"edge"で始まり、その後にattr_listが続いたもので、属性のリストをアイテムに与えるためのもの
- すべてのgraph,node,edgeに一括して属性を与えるためのもの

attr_list:'['[a_list] ']' [attr_list]

「attr_listとは」
- [ ]で囲まれたもので、属性リストを与える
  - [ ]の中身は空(から)でもよい
  - [ ]の中身は何かを入れるならa_listを入れる。a_listの定義は後述
  - [ ]で囲まれたものを１個以上連ねてもよい

a_list : ID '=' [','][a_list]

「a_listとは」
- ID = ID と書いたもの、もしくは、それを連ねたものであって、区切り文字を使うなら","を使う
- ここでIDと言うのは非常に自由度の大きい文字列であって、アイテムの固有名詞を作ったり、グラフオブジェクトの属性(colorとか)を決めたり、その属性の値を定めたりするのに使う
  - 色々な属性がグラフ・ノード・エッジ、サブグラフ、クラスターサブグラフに定められており、ここに一覧表がある

edge_stmt:(node_id|subgraph)edgeRHS [attr_list]

edgeRHS : edgeop (node_id | subgraph) [ edgeRHS ]

「edgeRHSとは」
- edgeop で始まり
- node_id もしくはsubgraphが続く
- edgeRHSをつなげてもよい(つなげるとパスができる)

node_stmt: node_id [ attr_list]

node_id: ID [port]

port: ':' ID [ ':' compass_pt ] | ':' compass_pt

subgraph:[ subgraph [ID] ] '{' stmt_list '}'

「subgraphとは」
- { }でstmt_listを囲んだものであって
- そのまえに宣言をつけるならsubgraphという宣言をつける
- subgraphにIDをつけてもよい
  - subgraphのIDが"cluster"で始まると、それはGraphvizが視覚化するときに、塊として囲って表示する、という仕様になっており、特別にcluster subgraphと呼ばれる。あくまでDOT languageではsubgraphがあるのであって、cluster subgraphという概念はない

compass_pt: (n | ne | e | se | s | sw | w | nw | c| _)