Skip to content
Permalink
master
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
/* -*- mode: c -*- */
/* Extra documentation for state transitions made while
* handling home key presses.
*
* To create PNG image, execute:
* dot -Tpng homekey.dot -o homekey.png
*/
digraph home_key_state_machine {
fontsize=10;
label = "MCE HOME KEY STATE MACHINE";
nodesep=0.3;
ranksep=0.4;
node[fontsize=7];
edge[fontsize=7];
edge[arrowsize=0.3];
node[style=filled,fillcolor=skyblue,shape=box];
node[width=0.00001];
node[height=0.00001];
node[fillcolor=yellow];
WAIT_PRESS;
WAIT_UNBLANK;
WAIT_RELEASE;
SEND_SIGNAL;
node[shape=oval,fillcolor=pink];
WAIT_PRESS -> WAIT_UNBLANK [label=" pressed==true\l"];
WAIT_UNBLANK -> WAIT_RELEASE [label=" display_state_next!=on\l"];
WAIT_UNBLANK -> SEND_SIGNAL [label=" display_state_curr==on\l"];
SEND_SIGNAL -> WAIT_RELEASE [label=" (always)\l"];
WAIT_RELEASE -> WAIT_PRESS [label=" pressed==false\l"];
}