window_state.dot 632 B

1234567891011121314
  1. /* automobile power window */
  2. digraph {
  3. pad=0.5; bgcolor="lightgrey"; nodesep=1.2;
  4. node [shape="box"; style="filled"; fillcolor="cyan"];
  5. edge [labelfontsize=10; minlen=2; labeldistance=5 ];
  6. WINDOW_STOPPED -> WINDOW_GOING_UP [taillabel="EVT_UP_BUTTON"];
  7. WINDOW_STOPPED -> WINDOW_GOING_DN [taillabel=" EVT_DN_BUTTON"];
  8. WINDOW_GOING_UP -> WINDOW_STOPPED [taillabel="EVT_MOTOR_SENSE\n \n"];
  9. WINDOW_GOING_DN -> WINDOW_STOPPED [taillabel="EVT_MOTOR_SENSE"];
  10. WINDOW_GOING_UP -> WINDOW_STOPPED [taillabel=" EVT_BUTTON_RELEASE"];
  11. WINDOW_GOING_DN -> WINDOW_STOPPED [taillabel="EVT_BUTTON_RELEASE"];
  12. }