1**: {
2 style.border-radius: 16
3}
4
5**: {
6 &label: end
7 label: ⬤
8 shape: circle
9 height: 10
10 width: 10
11}
12
13**: {
14 &label: start
15 label: ⬤
16 label.near: center-center
17 style.fill: black
18 shape: circle
19 height: 10
20 width: 10
21}
22
23**: {
24 &shape: diamond
25 label: ""
26 height: 20
27 width: 20
28}
29
30start -> Check PIN
31
32Check PIN: {
33 direction: right
34
35 start -> Enter PIN
36 choice.shape: diamond
37
38 Enter PIN -> choice: "/check PIN"
39 choice -> Enter PIN: "[pin invalid]"
40 choice -> end: "[pin OK]"
41}
42
43Check PIN -> Search Network: "[pin OK]"
44Search Network -> Ready: network found
45
46Check PIN -> Off: power off
47Search Network -> Off: power off
48Ready -> Off: power off
View as plain text