Create a Finite machine Diagram

while $(1)\{$

switch $($eNextState$)\{$

case Transition$\_$NS$\_$State:

eNextState $=$ TransitionNorthSouthHandler$()$;

break;

case NS$\_$Pass$\_$EW$\_$Stop$\_$State:

eNextState $=$ NorthSouthPassHandler$()$;

break;

case All$\_$Stop$\_$EW$\_$State:

eNextState $=$ AllStopEastWestHandler$()$;

break;

case NS$\_$Stop$\_$EW$\_$Pass$\_$State:

EastWestPassHandler$()$;

if $($HAL$\_$GPIO$\_$ReadPin$($GPIOB$,$ GPIO$\_$PIN$\_3))$

eNextState $=$ Transition$\_$EW$\_$State;

else

eNextState $=$ NS$\_$Stop$\_$EW$\_$Pass$\_$State;

break;

case Transition$\_$EW$\_$State:

eNextState $=$ TransitionEastWestHandler$()$;

break;

case All$\_$Stop$\_$NS$\_$State:

eNextState $=$ AllStopNorthSouthHandler$()$;

break;

default:

eNextState $=$ AllStopNorthSouthHandler$()$;

break;

$\}$

$\}$

$\}$