

/*
 * wsp-push-client-machine.h: Define wsp push client state machine
 *
 */

#if !defined(INTEGER)
    #error "Macro INTEGER not defined."
#elif !defined(HTTPHEADERS)
    #error "Macro HTTPHEADERS not defined."
#elif !defined(MACHINE)
    #error "Macro MACHINE is not defined."
#endif

MACHINE(
	INTEGER(state)
        INTEGER(client_push_id)
        INTEGER(transaction_id)
        INTEGER(session_id)
        HTTPHEADERS(push_headers)
       )

#undef INTEGER
#undef HTTPHEADERS
#undef MACHINE

