1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/sync_impl.h	Tue Aug 23 11:42:05 2016 +0200
     1.3 @@ -0,0 +1,36 @@
     1.4 +#pragma once
     1.5 +
     1.6 +#include "message.h"
     1.7 +#include "sync_fsm.h"
     1.8 +
     1.9 +#ifdef __cplusplus
    1.10 +extern "C" {
    1.11 +#endif
    1.12 +
    1.13 +PEP_STATUS receive_sync_msg(
    1.14 +        PEP_SESSION session,
    1.15 +        DeviceGroup_Protocol_t *msg
    1.16 +    );
    1.17 +
    1.18 +PEP_STATUS receive_DeviceState_msg(PEP_SESSION session, message *src);
    1.19 +
    1.20 +DeviceGroup_Protocol_t *new_DeviceGroup_Protocol_msg(DeviceGroup_Protocol__payload_PR type);
    1.21 +void free_DeviceGroup_Protocol_msg(DeviceGroup_Protocol_t *msg);
    1.22 +
    1.23 +PEP_STATUS unicast_msg(
    1.24 +        PEP_SESSION session,
    1.25 +        Identity partner,
    1.26 +        DeviceState_state state,
    1.27 +        DeviceGroup_Protocol_t *msg
    1.28 +    );
    1.29 +
    1.30 +PEP_STATUS multicast_self_msg(
    1.31 +        PEP_SESSION session,
    1.32 +        DeviceState_state state,
    1.33 +        DeviceGroup_Protocol_t *msg
    1.34 +    );
    1.35 +
    1.36 +#ifdef __cplusplus
    1.37 +}
    1.38 +#endif
    1.39 +