The DOT Language

下方表格定义了 DOT 语言的抽象语法。终端以粗体显示，而非终端以斜体显示。字符字面量使用单引号包裹。圆括号 ( and ) 用来标识分组。方括号 [ and ] 包含可选项。竖线 | 分割可选方案。

graph	:	[ strict ] (graph \| digraph) [ ID ] '{' stmt_list '}'
stmt_list	:	[ stmt [ ';' ] stmt_list ]
stmt	:	node_stmt
	\|	edge_stmt
	\|	attr_stmt
	\|	ID '=' ID
	\|	subgraph
attr_stmt	:	(graph \| node \| edge) attr_list
attr_list	:	'[' [ a_list ] ']' [ attr_list ]
a_list	:	ID '=' ID [ (';' \| ',') ] [ a_list ]
edge_stmt	:	(node_id \| subgraph) edgeRHS [ attr_list ]
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 '}'
compass_pt	:	(n \| ne \| e \| se \| s \| sw \| w \| nw \| c \| _)

关键字 node, edge, graph, digraph, subgraph 和 strict 是大小写无关的。另外请注意：compass point 不是关键字，因此这些字符串可以在其他地方用作普通标识符，相反，解析器实际将接受任意的标识符。

一个 ID 可以是以下之一：

任何不以数字开头的字母 ([a-zA-Z\200-\377])，下划线 ('_') 或数字 ([0-9])；
数字 [-]?(.[0-9]+ | [0-9]+(.[0-9]*)? );
任意双引号字符串 ("...") 都可能包含转义字符 \"^[1]；
HTML 字符串 (<...>)。

ID 是个字符串，前两种形式缺少引号 " 字符仅仅是为了简单起见。abc_2 和 "abc_2" 或 2.34 和 "2.34" 之间没有语义上的差异。显然，使用关键字作为 ID 时，必须对其加双引号。值得注意的是：在 HTML 字符串中，尖括号 <> 必须成对出现，且允许使用换行符或其他格式的空白符。除此之外，内容必须是合法的 XML，为了将 <, >, &, ', " 这些 XML 特殊字符嵌入属性值或原始文本中，使用特殊的 XML 转义序列 (<, >, &, ', ") 可能是必需的。作为 ID，HTML 字符串可以是任何合法的 XML 字符串。但是，如果用作标签属性，它要被特殊解释，且必须遵循类似 HTML 的标签的语法。

带引号的字符串和 HTML 字符串都当作一个单元被扫描，因此任何嵌入的注释都将视作字符串的一部分被处理。

一个边操作 edgeop 在有向图中是 ->，在无向图是 --。

该语言支持 C++ 风格的注释：/ * * / 和 //。除此之外，以 ＃ 字符开头的行被视作从 C 预处理器输出的行（e.g., ＃ 34 表示行 34）并被丢弃。

分号和逗号有助于提高可读性，但不是必需的。另外，可以在终端之间插入任意数量的空格。

作为增强可读性的另一种手段，DOT 允许双引号字符串使用（换行符^[2]前的）反斜杠 \ （标准 C 约定）来跨越多行物理行。除此之外，可以使用 + 运算符将多个双引号字符串连接在一起。由于 HTML 字符串可以包含仅用于格式设置的换行符 (<br />)，因此 DOT 不允许在其中使用转义的换行符或串联运算符 (如 +)。

子图 Subgraphs 和聚类 Clusters

子图在 Graphviz 中扮演三个角色。首先，子图可用于表示图结构，指示哪些节点和边应分组在一起。子图的通常角色是指定关于图组件的语义信息。它还可以为边提供方便的简写：边语句允许在边运算符的左侧和右侧都有子图，发生这种情况时，将左侧的每个节点到右侧的每个节点都创建一条边。例如：

  A -> {B C}

相当于

  A -> B
  A -> C

在第二个角色中，子图可以提供用于设置属性的上下文。例如，子图可以指定蓝色是其中定义的所有节点的默认颜色。在图绘制的上下文中，一个更有趣的示例是：

subgraph {
rank = same; A; B; C;
}

该（匿名）子图指定如果使用点绘制，则节点 A, B 和 C 都应置于同一等级。

子图的第三个角色直接涉及某些布局引擎如何布置图。如果子图的名称以 cluster 开头，则 Graphviz 将该子图记为特殊的 cluster 子图。如果支持，布局引擎将进行布局，以便将属于 cluster 的节点绘制在一起，并将 cluster 的整个图包含在边界矩形内。值得注意的是，无论好坏，cluster 子图都不是 DOT 语言的一部分，而仅仅是某些布局引擎遵守的语法约定。

词法 Lexical 和语义注释 Semantic Notes

图必须指定为一个有向图或无向图。从语义上讲，这表明从边的一个节点到另一个节点是否存在自然方向。从词法上讲，有向图必须使用 edge 运算符 -> 指定边，而无向图使用 --。从操作上讲，该区别用于定义不同的默认渲染属性。例如，默认情况下，使用指向头节点的箭头来绘制有向图的边。对于普通图，默认情况下绘制的边没有任何箭头。

图也可以描述为 strict。这会禁止创建多边，i.e., 在定向情况下，一个边最多具有给定的尾节点和头节点。对于无向图，一个边最多可以连接到相同的两个节点。随后使用相同两个节点的 edge 语句将使用先前的定义标识该 edge，并应用 edge 语句中给定的任何属性。例如，下图：

strict graph {
  a -- b
  a -- b
  b -- a [color=blue]
}

将具有连接节点 a 和 b 的单个边，其颜色为蓝色。

如果使用 node, edge 或 graph 语句或通过未附加到节点或边的属性分配，定义了默认属性，则以后定义的任何适当类型的对象都将继承此属性值。直到默认属性设置为新值为止，此属性一直有效。在设置默认属性定义后，设置默认属性之前定义的对象将具有一个空字符串值附加到该属性。

尤其值得注意的是，子图在定义时会接收其父图的属性设置，这可能很有用。例如，可以为根图分配一种字体，其所有子图也将使用该字体。但是，对于某些属性，此属性是不可取的。如果将标签附加到根图，则所有子图都使用标签可能不是理想的效果。与其在子图的顶部列出图属性，以及在子图中按需要重置属性，不如简单地将图中的属性定义推迟到定义了适当的子图之前。

如果边属于某个 cluster，则其端点属于该 cluster。因此，放置边的位置会影响布局，因为有时会以递归方式排列 clusters。

对子图和 clusters 有某些限制。首先，目前，图及其子图的名称共享相同的命名空间，因此，每个子图必须具有唯一的名称。其次，尽管节点可以属于任意数量的子图，但是当视为节点和边的子集时，可以认为 clusters 形成严格的层次结构。

字符编码

DOT 语言至少采用 ascii 字符集。带引号的字符串（普通字符串和类似 HTML 的字符串都）可能包含非 ascii 字符。在大多数情况下，这些字符串是无法解释的：它们只是用作唯一标识符或通过不变的方式传递值。但是，必须要显示标签，这要求软件能够计算文本的大小并确定适当的字形，为此，它需要知道使用什么字符编码。

默认情况下，DOT 假定使用 UTF-8 字符编码。它还接受 Latin1 (ISO-8859-1) 字符集，假设输入图使用 charset 属性指定字符集。对于使用其他字符集的图，可以使用一些程序，例如 iconv：它将一个字符集转换为另一个字符集。

避免标签中使用非 ascii 字符的另一种方法是将 HTML 实体用于特殊字符。在标签 evaluation 期间，这些实体会转换为基础字符。该表显示了受支持的实体及其 Unicode 值，典型字形和 HTML 实体名称。因此，为了在字符串中包含小写的希腊语贝塔 beta，可以使用 ascii 序列 β。通常，仅应使用输出字符集中允许的实体，并且其字体中包含字形。

The DOT Language

子图 Subgraphs 和聚类 Clusters

词法 Lexical 和语义注释 Semantic Notes

字符编码

See also

相关推荐