User Tools

Site Tools


playground:playground

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
playground:playground [2012/11/09 12:53]
andy [Graphviz]
playground:playground [2016/07/06 06:57] (current)
Line 1: Line 1:
 ====== PlayGround ====== ====== PlayGround ======
- 
-This page is used to check syntax uncertainties and test the installation of new plugins. 
- 
-===== Graphviz ===== 
- 
-<​graphviz>​ 
-digraph finite_state_machine { 
-        graph [dpi=60]; 
- rankdir=LR;​ 
- size="​9,​5"​ 
- node [shape = doublecircle];​ LR_0 LR_3 LR_4 LR_8; 
- node [shape = circle]; 
- LR_0 -> LR_2 [ label = "​SS(B)"​ ]; 
- LR_0 -> LR_1 [ label = "​SS(S)"​ ]; 
- LR_1 -> LR_3 [ label = "​S($end)"​ ]; 
- LR_2 -> LR_6 [ label = "​SS(b)"​ ]; 
- LR_2 -> LR_5 [ label = "​SS(a)"​ ]; 
- LR_2 -> LR_4 [ label = "​S(A)"​ ]; 
- LR_5 -> LR_7 [ label = "​S(b)"​ ]; 
- LR_5 -> LR_5 [ label = "​S(a)"​ ]; 
- LR_6 -> LR_6 [ label = "​S(b)"​ ]; 
- LR_6 -> LR_5 [ label = "​S(a)"​ ]; 
- LR_7 -> LR_8 [ label = "​S(b)"​ ]; 
- LR_7 -> LR_5 [ label = "​S(a)"​ ]; 
- LR_8 -> LR_6 [ label = "​S(b)"​ ]; 
- LR_8 -> LR_5 [ label = "​S(a)"​ ]; 
-} 
-</​graphviz>​ 
- 
-<​graphviz>​ 
-digraph sequence { 
-  graph [dpi=60]; 
-  node [shape=box];​ 
-  {rank=same; "​Client";​ "​Log";​ "​Proxy";​ "​Server";​} 
-  node [shape=point];​ 
-  "​Client"​ -> "​src_1"​ [arrowhead=none];​ 
-  "​Proxy"​ -> "​dst_1"​ [arrowhead=none];​ 
-  {rank=same; "​src_1"​ -> "​dst_1"​ [label="​GET /​image.png"​];​} 
-  "​dst_1"​ -> "​src_2"​ [arrowhead=none];​ 
-  "​Server"​ -> "​dst_2"​ [arrowhead=none];​ 
-  {rank=same; "​src_2"​ -> "​dst_2"​ [label="​GET /​image.png"​];​} 
-  "​dst_2"​ -> "​src_3"​ [arrowhead=none];​ 
-  "​Log"​ -> "​dst_3"​ [arrowhead=none];​ 
-  {rank=same; "​src_3"​ -> "​dst_3"​ [label="​Foo"​];​} 
-  "​src_3"​ -> "​src_4"​ [arrowhead=none];​ 
-  "​src_2"​ -> "​dst_4"​ [arrowhead=none];​ 
-  {rank=same; "​dst_4"​ -> "​src_4"​ [label="​200 OK" dir=back];} 
-  "​dst_4"​ -> "​src_5"​ [arrowhead=none];​ 
-  "​src_1"​ -> "​dst_5"​ [arrowhead=none];​ 
-  {rank=same; "​dst_5"​ -> "​src_5"​ [label="​200 OK" dir=back];} 
-  "​dst_5"​ -> "​src_6"​ [arrowhead=none];​ 
-  "​dst_3"​ -> "​dst_6"​ [arrowhead=none];​ 
-  {rank=same; "​src_6"​ -> "​dst_6"​ [label="​Bar"​];​} 
-  node [shape=box] 
-  {rank=same; "​end_Client"​ [label="​Client"​];"​end_Log"​ [label="​Log"​];"​end_Proxy"​ [label="​Proxy"​];"​end_Server"​ [label="​Server"​];​} 
-  "​src_6"​ -> "​end_Client"​ [arrowhead=none];​ 
-  "​dst_6"​ -> "​end_Log"​ [arrowhead=none];​ 
-  "​src_5"​ -> "​end_Proxy"​ [arrowhead=none];​ 
-  "​src_4"​ -> "​end_Server"​ [arrowhead=none];​ 
- 
-} 
-</​graphviz>​ 
  
playground/playground.1352465611.txt.gz ยท Last modified: 2012/11/09 12:53 by andy