src/sync_fsm.h
changeset 626 64a89bd12469
parent 624 4892dffa9e70
child 627 ef1fdfde8ced
     1.1 --- a/src/sync_fsm.h	Sun May 15 16:01:18 2016 +0200
     1.2 +++ b/src/sync_fsm.h	Sun May 15 16:23:31 2016 +0200
     1.3 @@ -51,6 +51,14 @@
     1.4  PEP_STATUS sendOwnKeys(const Identity partner);
     1.5  PEP_STATUS transmitGroupKeys(const Identity partner);
     1.6  
     1.7 +// state machine
     1.8 +
     1.9 +DeviceState_state fsm_DeviceState(
    1.10 +        DeviceState_state state,
    1.11 +        DeviceState_event event,
    1.12 +        const Identity partner
    1.13 +    );
    1.14 +
    1.15  // driver
    1.16  
    1.17  PEP_STATUS fsm_DeviceState_inject(PEP_SESSION session, DeviceState_event event);