repos/pEpEngine: src/sync_fsm.h@60d550ce6031

     1 #pragma once

     3 // state machine for DeviceState

     5 #include "pEpEngine.h"

     7 #ifdef __cplusplus

     8 extern "C" {

     9 #endif

    11 // types

    13 typedef pEp_identity * Identity;

    14 typedef union _param { const Identity partner; const stringlist_t *keylist; } param_t;

    16 // error values

    18 typedef enum _fsm_error {

    19     invalid_state = -2,

    20     invalid_event = -3

    21 } fsm_error;

    23 // states

    25 typedef enum _DeviceState_state {

    26     DeviceState_state_NONE = -1,

    27     InitState,

    28     Sole,

    29     HandshakingSole,

    30     WaitForGroupKeys,

    31     Grouped

    32 } DeviceState_state;

    34 // events

    36 typedef enum _DeviceState_event {

    37     DeviceState_event_NONE = -1,

    38     Beacon = 1,

    39     HandshakeRequest = 2,

    40     GroupKeys = 3,

    41     Init,

    42     KeyGen,

    43     CannotDecrypt,

    44     HandshakeRejected,

    45     HandshakeAccepted,

    46     Cancel,

    47     Reject

    48 } DeviceState_event;

    50 // actions

    52 PEP_STATUS sendBeacon(PEP_SESSION session, DeviceState_state state, const Identity partner);

    53 PEP_STATUS sendHandshakeRequest(PEP_SESSION session, DeviceState_state state, const Identity partner);

    54 PEP_STATUS showHandshake(PEP_SESSION session, DeviceState_state state, const Identity partner);

    55 PEP_STATUS reject(PEP_SESSION session, DeviceState_state state, const Identity partner);

    56 PEP_STATUS storeGroupKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);

    57 PEP_STATUS sendGroupKeys(PEP_SESSION session, DeviceState_state state, const Identity partner);

    59 // state machine

    61 DeviceState_state fsm_DeviceState(

    62         PEP_SESSION session,

    63         DeviceState_state state,

    64         DeviceState_event event,

    65         const Identity partner,

    66         DeviceState_state state_partner

    67     );

    69 // driver

    71 DYNAMIC_API PEP_STATUS fsm_DeviceState_inject(

    72         PEP_SESSION session,

    73         DeviceState_event event,

    74         Identity partner,

    75         DeviceState_state state_partner

    76     );

    78 #ifdef __cplusplus

    79 }

    80 #endif

author	Volker Birk <vb@pep-project.org>
	Fri, 17 Jun 2016 19:20:02 +0200
changeset 744	60d550ce6031
parent 743	e4b613ebac2f
child 781	21d47c8ae0ae
permissions	-rw-r--r--