src/sync_fsm.h
changeset 627 ef1fdfde8ced
parent 626 64a89bd12469
child 676 aa02f6473007
     1.1 --- a/src/sync_fsm.h	Sun May 15 16:23:31 2016 +0200
     1.2 +++ b/src/sync_fsm.h	Sun May 15 21:23:36 2016 +0200
     1.3 @@ -43,17 +43,18 @@
     1.4  
     1.5  // actions
     1.6  
     1.7 -PEP_STATUS sendBeacon(const Identity partner);
     1.8 -PEP_STATUS sendHandshakeRequest(const Identity partner);
     1.9 -PEP_STATUS showHandshake(const Identity partner);
    1.10 -PEP_STATUS reject(const Identity partner);
    1.11 -PEP_STATUS storeGroupKeys(const Identity partner);
    1.12 -PEP_STATUS sendOwnKeys(const Identity partner);
    1.13 -PEP_STATUS transmitGroupKeys(const Identity partner);
    1.14 +PEP_STATUS sendBeacon(PEP_SESSION session, const Identity partner);
    1.15 +PEP_STATUS sendHandshakeRequest(PEP_SESSION session, const Identity partner);
    1.16 +PEP_STATUS showHandshake(PEP_SESSION session, const Identity partner);
    1.17 +PEP_STATUS reject(PEP_SESSION session, const Identity partner);
    1.18 +PEP_STATUS storeGroupKeys(PEP_SESSION session, const Identity partner);
    1.19 +PEP_STATUS sendOwnKeys(PEP_SESSION session, const Identity partner);
    1.20 +PEP_STATUS transmitGroupKeys(PEP_SESSION session, const Identity partner);
    1.21  
    1.22  // state machine
    1.23  
    1.24  DeviceState_state fsm_DeviceState(
    1.25 +        PEP_SESSION session,
    1.26          DeviceState_state state,
    1.27          DeviceState_event event,
    1.28          const Identity partner