Professional Documents
Culture Documents
ES_Event runCheckingInSM(ES_Event CurrentEvent){ //This function runs the top level hierarchical state machine
for the CheckingInSM service
//assume we're not making a transition
//assume we'll be staying in the same state
//an entry event without history
//assume we won't consume the current event