12345678910111213141516171819 |
- // This can be regenerated with the following command:
- // dot -Tpdf -o PubSubStateGraph.pdf PubSubStateGraph.gv
- digraph {
- Runtime
- ClientInit
- ServerInit
- Subed
- Listening
- Runtime -> ClientInit [label = "Activate", style = "dashed"]
- Runtime -> ServerInit [label = "Activate", style = "dashed"]
- ClientInit -> Subed [label = "Activate"]
- Subed -> Subed [label = " Pub"]
- ClientInit -> Listening [label = "Sub", style = "dashed"]
- ServerInit -> Listening [label = "Activate"]
- Listening -> Listening [label = " Pub|Sub"]
- Runtime -> Listening [label = "Pub", style = "dashed"]
- Listening -> Subed [label = "Pub", style = "dashed"]
- }
|