diff options
| -rw-r--r-- | states-horizontal.png | bin | 0 -> 82636 bytes | |||
| -rw-r--r-- | states.dot | 17 | ||||
| -rw-r--r-- | states.png | bin | 0 -> 264960 bytes |
3 files changed, 17 insertions, 0 deletions
diff --git a/states-horizontal.png b/states-horizontal.png Binary files differnew file mode 100644 index 0000000..e4ff979 --- /dev/null +++ b/states-horizontal.png diff --git a/states.dot b/states.dot new file mode 100644 index 0000000..efd489d --- /dev/null +++ b/states.dot @@ -0,0 +1,17 @@ +digraph G { + node [shape=doublecircle] Start; + node [shape=circle,fontname="monospace"]; + edge [fontname="Helvetica,Arial,sans-serif"]; + rankdir=LR; + + Start -> STATE_UNARMED; + STATE_UNARMED -> STATE_ARMED [label="Kode indtastes"]; + STATE_ARMED -> STATE_AWARE [label="Vægt ændrer sig"]; + STATE_AWARE -> STATE_RINGING [label="Tiden er gået"]; + STATE_AWARE -> STATE_ARMED [label="Vægt normal"]; + + edge [color=gray,fontcolor=gray]; + STATE_ARMED -> STATE_UNARMED [label="Korrekt kode indtastes"]; + STATE_AWARE -> STATE_UNARMED [label="Korrekt kode indtastes"]; + STATE_RINGING -> STATE_UNARMED [label="Korrekt kode indtastes"]; +}
\ No newline at end of file diff --git a/states.png b/states.png Binary files differnew file mode 100644 index 0000000..42dfddc --- /dev/null +++ b/states.png |
