PubSubStateGraph.gv 676 B

12345678910111213141516171819
  1. // This can be regenerated with the following command:
  2. // dot -Tpdf -o PubSubStateGraph.pdf PubSubStateGraph.gv
  3. digraph {
  4. Runtime
  5. ClientInit
  6. ServerInit
  7. Subed
  8. Listening
  9. Runtime -> ClientInit [label = "Activate", style = "dashed"]
  10. Runtime -> ServerInit [label = "Activate", style = "dashed"]
  11. ClientInit -> Subed [label = "Activate"]
  12. Subed -> Subed [label = " Pub"]
  13. ClientInit -> Listening [label = "Sub", style = "dashed"]
  14. ServerInit -> Listening [label = "Activate"]
  15. Listening -> Listening [label = " Pub|Sub"]
  16. Runtime -> Listening [label = "Pub", style = "dashed"]
  17. Listening -> Subed [label = "Pub", style = "dashed"]
  18. }