30 #ifndef FWSM_MAKETESTSM_H_ 31 #define FWSM_MAKETESTSM_H_ 78 #define LOG_ARRAY_SIZE 50 FwSmDesc_t FwSmMakeTestSM16_3(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
FwSmDesc_t FwSmMakeTestSM5Static(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM5 and figure below) static...
FwSmDesc_t FwSmMakeTestSM10(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM10.
FwSmDesc_t FwSmMakeTestSM7(struct TestSmData *smData)
Operation to create and configure the state machine SM7.
Declaration of the execution interface for a FW State Machine.
FwSmDesc_t FwSmMakeTestSM14(struct TestSmData *smData)
Operation to create and configure a state machine where the choice pseudo-state is used both to split...
FwSmDesc_t FwSmMakeTestSM16_2(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
FwSmDesc_t FwSmMakeTestSM5Dir(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM5 and figure below) by dir...
FwSmDesc_t FwSmMakeTestSM13(struct TestSmData *smData)
Operation to create and configure a state machine where the 'execute' transition has a choice pseudo-...
int flag_1
Flag checked by the transition guards.
Type for the state machine data for the test state machines.
FwSmDesc_t FwSmMakeTestSM6(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM6.
int logBase
Offset for markers written to log array.
FwSmDesc_t FwSmMakeTestSM8(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with no states.
FwSmDesc_t FwSmMakeTestSM16_1(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
int flag_2
Flag checked by the transition guards.
FwSmDesc_t FwSmMakeTestSM4(struct TestSmData *smData)
Operation to create and configure the state machine SM4.
FwSmDesc_t FwSmMakeTestSM5(struct TestSmData *smData)
Operation to create and configure the state machine SM5.
FwSmDesc_t FwSmMakeTestSM15(struct TestSmData *smData)
Operation to create and configure a state machine which uses the execution counters.
FwSmDesc_t FwSmMakeTestSM1Static(struct TestSmData *smData)
Operation to create and configure the state machine SM1 (see FwSmMakeTestSM1 and figure below) static...
int flag_3
Flag checked by the transition guards.
FwSmDesc_t FwSmMakeTestSMDer1Static(FwSmDesc_t smDescBase, struct TestSmData *smData)
Create a derived state machine and override one of its actions and one of its guards.
FwSmDesc_t FwSmMakeTestSM12(struct TestSmData *smData)
Operation to create and configure a state machine where a transition has a choice pseudo-state as bot...
FwSmDesc_t FwSmMakeTestSM3(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM3.
FwSmDesc_t FwSmMakeTestSM2(struct TestSmData *smData)
Operation to create and configure the state machine SM2.
FwSmDesc_t FwSmMakeTestSM9Static(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM9 and figure below) static...
FwSmDesc_t FwSmMakeTestSM9(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with no transitions other than the initi...
Structure representing a state machine descriptor.
FwSmDesc_t FwSmMakeTestSM11(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with neither states nor choice pseudo-st...
int counter_2
Counter incremented by the transition actions.
int counter_1
Counter incremented by the state actions.
FwSmDesc_t FwSmMakeTestSM1(struct TestSmData *smData)
Operation to create and configure the state machine SM1.
FwSmDesc_t FwSmMakeTestSMDer1(FwSmDesc_t smDescBase, struct TestSmData *smData)
Create a derived state machine and override one of its actions and one of its guards.