# # file : machine # # purpose: Description of a state machine # "psaSendEmailDiag" # # date : April 18, 2014 # # Copyright (c) PSA # start Init states Init, InitDAToSend, InitSendContext, SendTracesZip, Exit event( INIT_EVT_OK ) InitDAToSend, EXCEPTION, EXCEPTION, EXCEPTION, NONE event( INIT_EVT_KO ) Exit, EXCEPTION, EXCEPTION, EXCEPTION, NONE event( CONTINUE_EVT ) EXCEPTION, InitSendContext, SendTracesZip, Exit, NONE event( NO_DA_EVT ) EXCEPTION, Exit, EXCEPTION, EXCEPTION, NONE event( NONE_EVT ) EXCEPTION, EXCEPTION, EXCEPTION, EXCEPTION, NONE event( ERROR_EVT ) Exit, EXCEPTION, Exit, Exit, NONE