ノードラベルの下にステータスの属性を表示しようとしています。
現在、次のようになっています。
________________________ ________________________
| | pause() | |
| |------------>| |
| | continue() | |
|________________________|<------------|________________________|
私はコードを持っています:
Graph = new Graph<State>();
var a = new State()
{
Status = "Ready",
AllowedPurchaserOperations = "operation1, operation2",
AllowedSupplierOperations = "operarion1, operation 3"
};
var b = new State()
{
Status = "Paused",
AllowedPurchaserOperations = "operation1, operation2",
AllowedSupplierOperations = "operarion1, operation 3"
};
Graph.AddVertex(a);
Graph.AddVertex(b);
Graph.AddEdge(new Edge<State>(a, b) {Label = "pause()"});
Graph.AddEdge(new Edge<State>(b, a) {Label = "continue()"});
多かれ少なかれ次のように表示したい:
________________________ ________________________
| Ready | pause() | Paused |
| operation1, operation2 |------------>| operation1, operation2 |
| operation1, operation3 | continue() | operation1, operation3 |
|________________________|<------------|________________________|
Graphviz を使用した実装例を見つけるのは難しいため、ノードに値を追加する方法がわかりません。誰かがそれを変換する前に何をすべきか知っていますか?