2013-05-01 14:52:55 +02:00
|
|
|
#include "capwap.h"
|
|
|
|
#include "capwap_dfa.h"
|
|
|
|
|
2013-08-19 22:29:18 +02:00
|
|
|
#ifdef DEBUG
|
|
|
|
|
2013-05-01 14:52:55 +02:00
|
|
|
static char* l_nameofstate[] = {
|
|
|
|
"START", /* CAPWAP_START_STATE */
|
|
|
|
"IDLE", /* CAPWAP_IDLE_STATE */
|
|
|
|
"DISCOVERY", /* CAPWAP_DISCOVERY_STATE */
|
|
|
|
"SULKING", /* CAPWAP_SULKING_STATE */
|
|
|
|
"DTLS_CONNECT", /* CAPWAP_DTLS_CONNECT_STATE */
|
|
|
|
"DTLS_TEARDOWN", /* CAPWAP_DTLS_TEARDOWN_STATE */
|
|
|
|
"JOIN", /* CAPWAP_JOIN_STATE */
|
2013-11-07 22:07:05 +01:00
|
|
|
"POST_JOIN", /* CAPWAP_POSTJOIN_STATE */
|
2013-05-01 14:52:55 +02:00
|
|
|
"IMAGE_DATA", /* CAPWAP_IMAGE_DATA_STATE */
|
|
|
|
"CONFIGURE", /* CAPWAP_CONFIGURE_STATE */
|
|
|
|
"RESET", /* CAPWAP_RESET_STATE */
|
|
|
|
"DATA_CHECK", /* CAPWAP_DATA_CHECK_STATE */
|
|
|
|
"DATA_CHECK_TO_RUN", /* CAPWAP_DATA_CHECK_TO_RUN_STATE */
|
|
|
|
"RUN", /* CAPWAP_RUN_STATE */
|
|
|
|
"DEAD" /* CAPWAP_DEAD_STATE */
|
|
|
|
};
|
|
|
|
|
|
|
|
/* */
|
|
|
|
char* capwap_dfa_getname(int state) {
|
|
|
|
if ((state < 0) || (state > CAPWAP_LAST_STATE)) {
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
|
|
|
|
return l_nameofstate[state];
|
|
|
|
}
|
2013-08-19 22:29:18 +02:00
|
|
|
|
|
|
|
#endif
|