我注意到Graphviz可以处理重复的节点名称(即使它们带有唯一标签),而不会有任何警告。例如,考虑下面这个简单的图形,在使用circo渲染后如下图所示:
graph {
a [label="a1"]
a [label="a2"]
b
c
d
e
a -- b;
b -- c;
a -- c;
d -- c;
e -- c;
e -- a;
}
我希望上面的图形有两个节点:a1和a2。所以我知道我应该用唯一的名称实例化它们(与我上面所做的不同)。但是在一个大的图形中,我可能没有注意到我错误地使用相同的名称实例化了两个不同的节点。因此,如果我这样做,我希望强制 Graphviz 抱怨或以某种方式提醒我,也许是通过警告或错误消息。
我该如何实现呢?