src/sync_fsm.h
branchkeysync
changeset 1043 f786ee22e281
parent 985 087d5d60c082
child 1046 73be5d9af815
     1.1 --- a/src/sync_fsm.h	Tue Aug 16 19:20:20 2016 +0200
     1.2 +++ b/src/sync_fsm.h	Sat Aug 20 14:45:19 2016 +0200
     1.3 @@ -37,6 +37,13 @@
     1.4  // states
     1.5  
     1.6  typedef enum _DeviceState_state {
     1.7 +    // error values also in this namespace
     1.8 +    DeviceState_state_invalid_state = (int) invalid_state,
     1.9 +    DeviceState_state_invalid_event = (int) invalid_event,
    1.10 +    DeviceState_state_invalid_condition = (int) invalid_condition,
    1.11 +    DeviceState_state_invalid_action = (int) invalid_action,
    1.12 +    DeviceState_state_invalid_out_of_memory = (int) invalid_out_of_memory,
    1.13 +
    1.14      DeviceState_state_NONE = 0,
    1.15      InitState, 
    1.16      Sole,