FW Profile - C1 Implementation
FwSmConstants.h
Go to the documentation of this file.
1 
21 #ifndef FWSM_CONSTANTS_H_
22 #define FWSM_CONSTANTS_H_
23 
32 typedef struct FwSmDesc* FwSmDesc_t;
33 
46 typedef void (*FwSmAction_t)(FwSmDesc_t);
47 
49 typedef int FwSmBool_t;
50 
65 
67 typedef unsigned char FwSmCounterU1_t;
68 
70 typedef unsigned short int FwSmCounterU2_t;
71 
73 typedef unsigned int FwSmCounterU3_t;
74 
76 typedef long unsigned int FwSmCounterU4_t;
77 
79 typedef signed char FwSmCounterS1_t;
80 
82 typedef enum {
86  smSuccess = 1,
224 } FwSmErrCode_t;
225 
232 #define FW_TR_EXECUTE 0
233 
234 #endif /* FWSM_CONSTANTS_H_ */
A choice pseudo-state is added to a state machine with an illegal (out-of-range) identifier.
A transition from a certain source (either a state or a choice pseudo-state) is added to a state mach...
FwSmErrCode_t
Error codes and function return codes for the state machine functions.
Definition: FwSmConstants.h:82
There is an undefined transition in a state machine.
There is an undefined state in a state machine.
Definition: FwSmConstants.h:94
There is an undefined choice pseudo-state in a state machine.
Definition: FwSmConstants.h:98
A configuration error has been detected during the state machine configuration process.
An error was encountered while executing a transition in a state machine (see FwSmMakeTrans).
The number of actions added to the state machine is smaller than the number of actions declared when ...
unsigned char FwSmCounterU1_t
Type used for unsigned counters with a "short" range.
Definition: FwSmConstants.h:67
A choice pseudo-state is added to a state machine with less than 1 out-going transitions.
A transition is added to a state machine with a source (either a state or a choice pseudo-state) whic...
The number of guards added to the state machine exceeds the number of guards declared when the state ...
The number of guards in the base state machine is not the same as in the derived state machine...
The number of actions added to the state machine exceeds the number of actions declared when the stat...
The state machine where an action or a guard is overridden or a state machine is embedded is not a de...
The state machine has a choice pseudo-state which is not a destination of any transition.
A transition is added to a state machine with an illegal (out-of-range) choice pseudo-state destinati...
FwSmBool_t(* FwSmGuard_t)(FwSmDesc_t)
Type for a pointer to a state machine guard.
Definition: FwSmConstants.h:64
int FwSmBool_t
Type used for booleans (0 is "false" and 1 is "true").
Definition: FwSmConstants.h:49
unsigned short int FwSmCounterU2_t
Type used for unsigned counters with a "medium" range.
Definition: FwSmConstants.h:70
unsigned int FwSmCounterU3_t
Type used for unsigned counters with a "long" range.
Definition: FwSmConstants.h:73
A state is added with a negative number of outgoing transitions.
void(* FwSmAction_t)(FwSmDesc_t)
Type for a pointer to a state machine action.
Definition: FwSmConstants.h:46
The state machine has a state which is not a destination of any transition.
The overridden guard in a derived state machine does not exist.
Structure representing a state machine descriptor.
Definition: FwSmPrivate.h:303
A choice pseudo-state is added twice to the same state machine.
A transition is added to a state machine with an illegal (out-of-range) state destination.
struct FwSmDesc * FwSmDesc_t
Forward declaration for the pointer to a state machine descriptor.
Definition: FwSmConstants.h:32
A state is added twice to the same state machine.
A call to malloc has failed (it has returned a NULL pointer).
Definition: FwSmConstants.h:90
A transition is added to a state machine with a source which has an illegal identifier.
long unsigned int FwSmCounterU4_t
Type used for unsigned counters with a "long int" range.
Definition: FwSmConstants.h:76
The number of guards added to the state machine is smaller than the number of guards declared when th...
The overridden action in a derived state machine does not exist.
Return codes of a function which has completed execution without errors.
Definition: FwSmConstants.h:86
The state in a derived state machine to which an embedded state machine is added already holds an emb...
signed char FwSmCounterS1_t
Type used for signed counters with a "short" range.
Definition: FwSmConstants.h:79
A state or choice pseudo-state is added to a state machine which has more out-going transitions than ...
The number of actions in the base state machine is not the same as in the derived state machine...
A state is added to a state machine with an illegal (out-of-range) identifier.
P&P Software GmbH, Copyright 2011, All Rights Reserved