-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathgraph.html
More file actions
172 lines (169 loc) · 13.9 KB
/
graph.html
File metadata and controls
172 lines (169 loc) · 13.9 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
<!DOCTYPE html>
<html>
<head>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.3/jquery.min.js"></script>
<script>
$(document).ready(function(){
$(".edge").click(function(){
var child = $(this).children( "path" ).css({ 'stroke': 'black'});
});
});
</script>
</head>
<body>
<h1>State machine</h1>
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
-->
<!-- Title: Idle Pages: 1 -->
<svg width="846pt" height="209pt"
viewBox="0.00 0.00 846.00 209.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 205)">
<title>Idle</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-205 842,-205 842,4 -4,4"/>
<!-- Idle -->
<g id="node1" class="node"><title>Idle</title>
<path fill="none" stroke="#aaaaaa" d="M6.33333,-57.5C6.33333,-57.5 25.6667,-57.5 25.6667,-57.5 28.8333,-57.5 32,-60.6667 32,-63.8333 32,-63.8333 32,-70.1667 32,-70.1667 32,-73.3333 28.8333,-76.5 25.6667,-76.5 25.6667,-76.5 6.33333,-76.5 6.33333,-76.5 3.16667,-76.5 0,-73.3333 0,-70.1667 0,-70.1667 0,-63.8333 0,-63.8333 0,-60.6667 3.16667,-57.5 6.33333,-57.5"/>
<text text-anchor="middle" x="16" y="-64.5" font-family="Arial" font-size="10.00">Idle</text>
</g>
<!-- LoginDefault -->
<g id="node2" class="node"><title>LoginDefault</title>
<path fill="none" stroke="#aaaaaa" d="M104.333,-114.5C104.333,-114.5 131.667,-114.5 131.667,-114.5 134.833,-114.5 138,-117.667 138,-120.833 138,-120.833 138,-127.167 138,-127.167 138,-130.333 134.833,-133.5 131.667,-133.5 131.667,-133.5 104.333,-133.5 104.333,-133.5 101.167,-133.5 98,-130.333 98,-127.167 98,-127.167 98,-120.833 98,-120.833 98,-117.667 101.167,-114.5 104.333,-114.5"/>
<text text-anchor="middle" x="118" y="-121.5" font-family="Arial" font-size="10.00">Login</text>
</g>
<!-- Idle->LoginDefault -->
<g id="edge1" class="edge"><title>Idle->LoginDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M32.3282,-69.8901C42.3036,-75.3258 55.7004,-84.0411 68,-91 78.6354,-97.0173 90.9944,-103.064 100.639,-108.735"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="98.9144,-111.787 109.215,-114.265 102.708,-105.904 98.9144,-111.787"/>
</g>
<!-- CreateNewAccountDefault -->
<g id="node10" class="node"><title>CreateNewAccountDefault</title>
<path fill="none" stroke="#aaaaaa" d="M74.3333,-0.5C74.3333,-0.5 161.667,-0.5 161.667,-0.5 164.833,-0.5 168,-3.66667 168,-6.83333 168,-6.83333 168,-13.1667 168,-13.1667 168,-16.3333 164.833,-19.5 161.667,-19.5 161.667,-19.5 74.3333,-19.5 74.3333,-19.5 71.1667,-19.5 68,-16.3333 68,-13.1667 68,-13.1667 68,-6.83333 68,-6.83333 68,-3.66667 71.1667,-0.5 74.3333,-0.5"/>
<text text-anchor="middle" x="118" y="-7.5" font-family="Arial" font-size="10.00">CreateNewAccount</text>
</g>
<!-- Idle->CreateNewAccountDefault -->
<g id="edge17" class="edge"><title>Idle->CreateNewAccountDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M22.8255,-57.2466C32.1533,-47.4228 51.111,-34.5555 68,-25 68.3014,-24.8295 68.6043,-24.6589 68.9084,-24.4883"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="70.8412,-27.4232 77.996,-19.6092 67.5299,-21.2559 70.8412,-27.4232"/>
</g>
<!-- LoginDefault->Idle -->
<g id="edge16" class="edge"><title>LoginDefault->Idle</title>
<path fill="none" stroke="pink" stroke-width="4" d="M97.6454,-123.335C88.521,-119.846 77.5636,-114.411 68,-109 54.8055,-101.535 40.3483,-92.0482 30.2068,-83.5707"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="32.5464,-80.9671 22.8255,-76.7534 27.797,-86.1094 32.5464,-80.9671"/>
</g>
<!-- CommandScreenLogin_OK -->
<g id="node3" class="node"><title>CommandScreenLogin_OK</title>
<path fill="none" stroke="#aaaaaa" d="M210.333,-114.5C210.333,-114.5 289.667,-114.5 289.667,-114.5 292.833,-114.5 296,-117.667 296,-120.833 296,-120.833 296,-127.167 296,-127.167 296,-130.333 292.833,-133.5 289.667,-133.5 289.667,-133.5 210.333,-133.5 210.333,-133.5 207.167,-133.5 204,-130.333 204,-127.167 204,-127.167 204,-120.833 204,-120.833 204,-117.667 207.167,-114.5 210.333,-114.5"/>
<text text-anchor="middle" x="250" y="-121.5" font-family="Arial" font-size="10.00">CommandScreen</text>
</g>
<!-- LoginDefault->CommandScreenLogin_OK -->
<g id="edge2" class="edge"><title>LoginDefault->CommandScreenLogin_OK</title>
<path fill="none" stroke="pink" stroke-width="4" d="M138.182,-124C152.857,-124 173.872,-124 193.664,-124"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="193.863,-127.5 203.863,-124 193.863,-120.5 193.863,-127.5"/>
</g>
<!-- CommandScreenLogin_OK->Idle -->
<g id="edge15" class="edge"><title>CommandScreenLogin_OK->Idle</title>
<path fill="none" stroke="pink" stroke-width="4" d="M210.005,-114.419C162.152,-102.662 82.414,-83.0715 42.0492,-73.1543"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="42.7685,-69.727 32.2222,-70.7399 41.0983,-76.5249 42.7685,-69.727"/>
</g>
<!-- ArmedDefault -->
<g id="node4" class="node"><title>ArmedDefault</title>
<path fill="none" stroke="#aaaaaa" d="M632.833,-67.5C632.833,-67.5 665.167,-67.5 665.167,-67.5 668.333,-67.5 671.5,-70.6667 671.5,-73.8333 671.5,-73.8333 671.5,-80.1667 671.5,-80.1667 671.5,-83.3333 668.333,-86.5 665.167,-86.5 665.167,-86.5 632.833,-86.5 632.833,-86.5 629.667,-86.5 626.5,-83.3333 626.5,-80.1667 626.5,-80.1667 626.5,-73.8333 626.5,-73.8333 626.5,-70.6667 629.667,-67.5 632.833,-67.5"/>
<text text-anchor="middle" x="649" y="-74.5" font-family="Arial" font-size="10.00">Armed</text>
</g>
<!-- CommandScreenLogin_OK->ArmedDefault -->
<g id="edge3" class="edge"><title>CommandScreenLogin_OK->ArmedDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M286.669,-114.479C300.709,-111.036 317.026,-107.407 332,-105 435.193,-88.4114 559.039,-81.0305 616.213,-78.3217"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="616.584,-81.8085 626.413,-77.8549 616.264,-74.8158 616.584,-81.8085"/>
</g>
<!-- ChangeTemperatureDefault -->
<g id="node7" class="node"><title>ChangeTemperatureDefault</title>
<path fill="none" stroke="#aaaaaa" d="M603.333,-181.5C603.333,-181.5 694.667,-181.5 694.667,-181.5 697.833,-181.5 701,-184.667 701,-187.833 701,-187.833 701,-194.167 701,-194.167 701,-197.333 697.833,-200.5 694.667,-200.5 694.667,-200.5 603.333,-200.5 603.333,-200.5 600.167,-200.5 597,-197.333 597,-194.167 597,-194.167 597,-187.833 597,-187.833 597,-184.667 600.167,-181.5 603.333,-181.5"/>
<text text-anchor="middle" x="649" y="-188.5" font-family="Arial" font-size="10.00">ChangeTemperature</text>
</g>
<!-- CommandScreenLogin_OK->ChangeTemperatureDefault -->
<g id="edge13" class="edge"><title>CommandScreenLogin_OK->ChangeTemperatureDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M288.777,-133.519C302.355,-136.766 317.817,-140.264 332,-143 419.999,-159.976 522.739,-174.638 586.593,-183.148"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="586.514,-186.668 596.887,-184.511 587.433,-179.728 586.514,-186.668"/>
</g>
<!-- ConfirmationScreenNOK -->
<g id="node9" class="node"><title>ConfirmationScreenNOK</title>
<path fill="none" stroke="#aaaaaa" d="M338.333,-114.5C338.333,-114.5 426.667,-114.5 426.667,-114.5 429.833,-114.5 433,-117.667 433,-120.833 433,-120.833 433,-127.167 433,-127.167 433,-130.333 429.833,-133.5 426.667,-133.5 426.667,-133.5 338.333,-133.5 338.333,-133.5 335.167,-133.5 332,-130.333 332,-127.167 332,-127.167 332,-120.833 332,-120.833 332,-117.667 335.167,-114.5 338.333,-114.5"/>
<text text-anchor="middle" x="382.5" y="-121.5" font-family="Arial" font-size="10.00">ConfirmationScreen</text>
</g>
<!-- CommandScreenLogin_OK->ConfirmationScreenNOK -->
<g id="edge14" class="edge"><title>CommandScreenLogin_OK->ConfirmationScreenNOK</title>
<path fill="none" stroke="pink" stroke-width="4" d="M296.276,-124C304.441,-124 313.067,-124 321.572,-124"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="321.847,-127.5 331.847,-124 321.847,-120.5 321.847,-127.5"/>
</g>
<!-- DisarmedDefault -->
<g id="node5" class="node"><title>DisarmedDefault</title>
<path fill="none" stroke="#aaaaaa" d="M764.833,-95.5C764.833,-95.5 810.167,-95.5 810.167,-95.5 813.333,-95.5 816.5,-98.6667 816.5,-101.833 816.5,-101.833 816.5,-108.167 816.5,-108.167 816.5,-111.333 813.333,-114.5 810.167,-114.5 810.167,-114.5 764.833,-114.5 764.833,-114.5 761.667,-114.5 758.5,-111.333 758.5,-108.167 758.5,-108.167 758.5,-101.833 758.5,-101.833 758.5,-98.6667 761.667,-95.5 764.833,-95.5"/>
<text text-anchor="middle" x="787.5" y="-102.5" font-family="Arial" font-size="10.00">Disarmed</text>
</g>
<!-- ArmedDefault->DisarmedDefault -->
<g id="edge4" class="edge"><title>ArmedDefault->DisarmedDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M671.629,-81.4367C692.243,-85.6652 723.727,-92.1234 748.524,-97.21"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="747.847,-100.644 758.346,-99.2249 749.254,-93.7868 747.847,-100.644"/>
</g>
<!-- CommandScreenDefault -->
<g id="node6" class="node"><title>CommandScreenDefault</title>
<path fill="none" stroke="#aaaaaa" d="M475.333,-114.5C475.333,-114.5 554.667,-114.5 554.667,-114.5 557.833,-114.5 561,-117.667 561,-120.833 561,-120.833 561,-127.167 561,-127.167 561,-130.333 557.833,-133.5 554.667,-133.5 554.667,-133.5 475.333,-133.5 475.333,-133.5 472.167,-133.5 469,-130.333 469,-127.167 469,-127.167 469,-120.833 469,-120.833 469,-117.667 472.167,-114.5 475.333,-114.5"/>
<text text-anchor="middle" x="515" y="-121.5" font-family="Arial" font-size="10.00">CommandScreen</text>
</g>
<!-- DisarmedDefault->CommandScreenDefault -->
<g id="edge5" class="edge"><title>DisarmedDefault->CommandScreenDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M758.493,-106.967C714.511,-110.057 628.407,-116.105 571.537,-120.099"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="571.006,-116.628 561.276,-120.82 571.496,-123.61 571.006,-116.628"/>
</g>
<!-- CommandScreenDefault->Idle -->
<g id="edge12" class="edge"><title>CommandScreenDefault->Idle</title>
<path fill="none" stroke="pink" stroke-width="4" d="M477.499,-114.445C463.64,-111.079 447.664,-107.513 433,-105 286.369,-79.8748 107.623,-70.6162 42.3783,-67.9287"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="42.3534,-64.4251 32.2227,-67.5265 42.0763,-71.4196 42.3534,-64.4251"/>
</g>
<!-- CommandScreenDefault->ArmedDefault -->
<g id="edge6" class="edge"><title>CommandScreenDefault->ArmedDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M542.712,-114.489C564.105,-106.872 594.157,-96.1715 616.681,-88.1515"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="617.887,-91.4374 626.133,-84.7858 615.539,-84.843 617.887,-91.4374"/>
</g>
<!-- CommandScreenDefault->ChangeTemperatureDefault -->
<g id="edge7" class="edge"><title>CommandScreenDefault->ChangeTemperatureDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M533.57,-133.642C549.892,-142.523 574.931,-155.957 597,-167 603.738,-170.372 611.037,-173.886 617.95,-177.153"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="616.507,-180.342 627.047,-181.417 619.478,-174.004 616.507,-180.342"/>
</g>
<!-- CommandScreenDefault->ConfirmationScreenNOK -->
<g id="edge10" class="edge"><title>CommandScreenDefault->ConfirmationScreenNOK</title>
<path fill="none" stroke="pink" stroke-width="4" d="M468.714,-130.461C460.564,-130.704 451.955,-130.794 443.465,-130.73"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="443.26,-127.227 433.209,-130.577 443.155,-134.226 443.26,-127.227"/>
</g>
<!-- ConfirmationScreenOK -->
<g id="node8" class="node"><title>ConfirmationScreenOK</title>
<path fill="none" stroke="#aaaaaa" d="M743.333,-152.5C743.333,-152.5 831.667,-152.5 831.667,-152.5 834.833,-152.5 838,-155.667 838,-158.833 838,-158.833 838,-165.167 838,-165.167 838,-168.333 834.833,-171.5 831.667,-171.5 831.667,-171.5 743.333,-171.5 743.333,-171.5 740.167,-171.5 737,-168.333 737,-165.167 737,-165.167 737,-158.833 737,-158.833 737,-155.667 740.167,-152.5 743.333,-152.5"/>
<text text-anchor="middle" x="787.5" y="-159.5" font-family="Arial" font-size="10.00">ConfirmationScreen</text>
</g>
<!-- ChangeTemperatureDefault->ConfirmationScreenOK -->
<g id="edge8" class="edge"><title>ChangeTemperatureDefault->ConfirmationScreenOK</title>
<path fill="none" stroke="pink" stroke-width="4" d="M695.074,-181.424C706.722,-178.949 719.392,-176.257 731.486,-173.688"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="732.42,-177.068 741.474,-171.566 730.965,-170.221 732.42,-177.068"/>
</g>
<!-- ConfirmationScreenOK->CommandScreenDefault -->
<g id="edge9" class="edge"><title>ConfirmationScreenOK->CommandScreenDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M736.946,-155.039C690.108,-148.459 619.953,-138.603 571.312,-131.77"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="571.665,-128.286 561.276,-130.36 570.691,-135.218 571.665,-128.286"/>
</g>
<!-- ConfirmationScreenNOK->CommandScreenDefault -->
<g id="edge11" class="edge"><title>ConfirmationScreenNOK->CommandScreenDefault</title>
<path fill="none" stroke="pink" stroke-width="4" d="M433.209,-117.423C441.505,-117.235 450.156,-117.2 458.584,-117.319"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="458.64,-120.821 468.714,-117.539 458.792,-113.822 458.64,-120.821"/>
</g>
<!-- CreateNewAccountDefault->Idle -->
<g id="edge18" class="edge"><title>CreateNewAccountDefault->Idle</title>
<path fill="none" stroke="pink" stroke-width="4" d="M109.215,-19.7351C99.4253,-26.9009 82.1805,-34.977 68,-43 59.0636,-48.0561 49.548,-54.0394 41.1862,-59.0183"/>
<polygon fill="pink" stroke="pink" stroke-width="4" points="39.2538,-56.092 32.3282,-64.1099 42.7422,-62.1608 39.2538,-56.092"/>
</g>
</g>
</svg>
</body>
</html>