#pragma once

 // state machine for DeviceState

 #include "pEpEngine.h"

 // types

 typedef pEp_identity * Identity;

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

 // error values

 typedef enum _fsm_error {

     invalid_state = -1,

     invalid_event = -2

 } fsm_error;

 // states

 typedef enum _DeviceState_state {

     Sole, 

     HandshakingSole, 

     WaitForGroupKeys, 

     Grouped

 } DeviceState_state;

 // events

 typedef enum _DeviceState_event {

     KeyGen, 

     CannotDecrypt, 

     Beacon, 

     HandshakeRequest, 

     Init, 

     HandshakeRejected, 

     HandshakeAccepted, 

     ReceiveGroupKeys, 

     Cancel, 

     Reject

 } DeviceState_event;

 // actions

 void sendBeacon(const Identity partner);

 void sendHandshakeRequest(const Identity partner);

 void showHandshake(const Identity partner);

 void reject(const Identity partner);

 void storeGroupKeys(const Identity partner);

 void sendOwnKeys(const Identity partner);

 void transmitGroupKeys(const Identity partner);

 // driver

 void fsm_DeviceState_inject(PEP_SESSION session, DeviceState_event event);