src/sync_fsm.h
changeset 711 d88dea0f5448
parent 690 3ae86b68fdfe
child 743 e4b613ebac2f
     1.1 --- a/src/sync_fsm.h	Sun May 29 14:35:39 2016 +0200
     1.2 +++ b/src/sync_fsm.h	Thu Jun 02 13:46:38 2016 +0200
     1.3 @@ -35,14 +35,14 @@
     1.4  
     1.5  typedef enum _DeviceState_event {
     1.6      DeviceState_event_NONE = 0,
     1.7 +    Beacon = 1,
     1.8 +    HandshakeRequest = 2,
     1.9 +    GroupKeys = 3,
    1.10      Init, 
    1.11      KeyGen, 
    1.12      CannotDecrypt, 
    1.13 -    Beacon, 
    1.14 -    HandshakeRequest, 
    1.15      HandshakeRejected, 
    1.16      HandshakeAccepted, 
    1.17 -    ReceiveGroupKeys, 
    1.18      Cancel, 
    1.19      Reject
    1.20  } DeviceState_event;
    1.21 @@ -54,8 +54,7 @@
    1.22  PEP_STATUS showHandshake(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.23  PEP_STATUS reject(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.24  PEP_STATUS storeGroupKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.25 -PEP_STATUS sendOwnKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.26 -PEP_STATUS transmitGroupKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.27 +PEP_STATUS sendGroupKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);
    1.28  
    1.29  // state machine
    1.30