|
@@ -0,0 +1,15 @@
|
|
|
|
|
+/* UI for up/down counting */
|
|
|
|
|
+
|
|
|
|
|
+digraph {
|
|
|
|
|
+ pad=0.5; bgcolor="lightgrey"; nodesep=1.2;
|
|
|
|
|
+ node [shape="box"; style="filled"; fillcolor="cyan"; ];
|
|
|
|
|
+ edge [labelfontsize=10; minlen=2; labeldistance=4; ];
|
|
|
|
|
+ HEAT_IDLE [label="HEAT_IDLE\nLED off";];
|
|
|
|
|
+ HEAT_SET [label="HEAT_SET\nLED on\nwait for pause";];
|
|
|
|
|
+ HEAT_IDLE -> HEAT_SET [taillabel="EVT_UP\ninc counter";];
|
|
|
|
|
+ HEAT_IDLE -> HEAT_SET [taillabel="EVT_DN\ndec counter";];
|
|
|
|
|
+ HEAT_SET -> HEAT_IDLE [taillabel="EVT_TIMER\nissue 'new_setting' msg"];
|
|
|
|
|
+ HEAT_SET -> HEAT_SET [taillabel="EVT_UP\ninc counter"; tailport=w; headport=sw;];
|
|
|
|
|
+ HEAT_SET -> HEAT_SET [taillabel="EVT_DN\ndec counter"; tailport=e; headport=se;];
|
|
|
|
|
+}
|
|
|
|
|
+
|
