FW Profile - C1 Implementation
FwSmMakeTest.h
Go to the documentation of this file.
1 
30 #ifndef FWSM_MAKETESTSM_H_
31 #define FWSM_MAKETESTSM_H_
32 
33 #include "FwSmCore.h"
34 
36 #define STATE_S1 1
37 
38 #define STATE_S2 2
39 
40 #define STATE_S3 3
41 
42 #define STATE_S4 4
43 
44 #define CPS1 1
45 
46 #define CPS2 2
47 
48 #define TR_S1_FPS 2
49 
50 #define TR_IPS_CPS1 1
51 
52 #define TR_CPS1_S1 2
53 
54 #define TR_CPS1_FPS 3
55 
56 #define TR1 30
57 
58 #define TR2 12
59 
60 #define TR3 13
61 
62 #define TR4 14
63 
64 #define TR5 15
65 
66 #define TR6 20
67 
68 #define TR_CPS_S1 1
69 
70 #define TR_CPS_S2 1
71 
78 #define LOG_ARRAY_SIZE 50
79 
101 struct TestSmData {
107  int flag_1;
109  int flag_2;
111  int flag_3;
113  int logBase;
114 };
115 
135 FwSmDesc_t FwSmMakeTestSM1(struct TestSmData* smData);
136 
146 
170 FwSmDesc_t FwSmMakeTestSM2(struct TestSmData* smData);
171 
181 FwSmDesc_t FwSmMakeTestSM3(struct TestSmData* smData, struct TestSmData* esmData);
182 
207 FwSmDesc_t FwSmMakeTestSM4(struct TestSmData* smData);
208 
236 FwSmDesc_t FwSmMakeTestSM5(struct TestSmData* smData);
237 
246 
268 
279 FwSmDesc_t FwSmMakeTestSM6(struct TestSmData* smData, struct TestSmData* esmData);
280 
305 FwSmDesc_t FwSmMakeTestSM7(struct TestSmData* smData);
306 
325 FwSmDesc_t FwSmMakeTestSM8(struct TestSmData* smData);
326 
345 FwSmDesc_t FwSmMakeTestSM9(struct TestSmData* smData);
346 
356 
381 FwSmDesc_t FwSmMakeTestSM10(struct TestSmData* smData, struct TestSmData* esmData);
382 
401 FwSmDesc_t FwSmMakeTestSM11(struct TestSmData* smData);
402 
431 FwSmDesc_t FwSmMakeTestSM12(struct TestSmData* smData);
432 
463 FwSmDesc_t FwSmMakeTestSM13(struct TestSmData* smData);
464 
492 FwSmDesc_t FwSmMakeTestSM14(struct TestSmData* smData);
493 
528 FwSmDesc_t FwSmMakeTestSM15(struct TestSmData* smData);
529 
547 FwSmDesc_t FwSmMakeTestSMDer1(FwSmDesc_t smDescBase, struct TestSmData* smData);
548 
568 FwSmDesc_t FwSmMakeTestSMDer1Static(FwSmDesc_t smDescBase, struct TestSmData* smData);
569 
598 
627 
656 
657 
658 
659 #endif /* FWSM_MAKETESTSM_H_ */
FwSmDesc_t FwSmMakeTestSM16_3(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
Definition: FwSmMakeTest.c:854
FwSmDesc_t FwSmMakeTestSM5Static(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM5 and figure below) static...
Definition: FwSmMakeTest.c:348
FwSmDesc_t FwSmMakeTestSM10(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM10.
Definition: FwSmMakeTest.c:581
FwSmDesc_t FwSmMakeTestSM7(struct TestSmData *smData)
Operation to create and configure the state machine SM7.
Definition: FwSmMakeTest.c:504
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...
Definition: FwSmMakeTest.c:704
FwSmDesc_t FwSmMakeTestSM16_2(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
Definition: FwSmMakeTest.c:823
FwSmDesc_t FwSmMakeTestSM5Dir(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM5 and figure below) by dir...
Definition: FwSmMakeTest.c:370
FwSmDesc_t FwSmMakeTestSM13(struct TestSmData *smData)
Operation to create and configure a state machine where the 'execute' transition has a choice pseudo-...
Definition: FwSmMakeTest.c:679
int flag_1
Flag checked by the transition guards.
Definition: FwSmMakeTest.h:107
Type for the state machine data for the test state machines.
Definition: FwSmMakeTest.h:101
FwSmDesc_t FwSmMakeTestSM6(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM6.
Definition: FwSmMakeTest.c:475
int logBase
Offset for markers written to log array.
Definition: FwSmMakeTest.h:113
FwSmDesc_t FwSmMakeTestSM8(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with no states.
Definition: FwSmMakeTest.c:527
FwSmDesc_t FwSmMakeTestSM16_1(struct TestSmData *smData)
Operation to create and configure a state machine to verify the order of evaluation of guards...
Definition: FwSmMakeTest.c:792
int flag_2
Flag checked by the transition guards.
Definition: FwSmMakeTest.h:109
FwSmDesc_t FwSmMakeTestSM4(struct TestSmData *smData)
Operation to create and configure the state machine SM4.
Definition: FwSmMakeTest.c:296
FwSmDesc_t FwSmMakeTestSM5(struct TestSmData *smData)
Operation to create and configure the state machine SM5.
Definition: FwSmMakeTest.c:321
FwSmDesc_t FwSmMakeTestSM15(struct TestSmData *smData)
Operation to create and configure a state machine which uses the execution counters.
Definition: FwSmMakeTest.c:732
FwSmDesc_t FwSmMakeTestSM1Static(struct TestSmData *smData)
Operation to create and configure the state machine SM1 (see FwSmMakeTestSM1 and figure below) static...
Definition: FwSmMakeTest.c:228
int flag_3
Flag checked by the transition guards.
Definition: FwSmMakeTest.h:111
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.
Definition: FwSmMakeTest.c:771
FwSmDesc_t FwSmMakeTestSM12(struct TestSmData *smData)
Operation to create and configure a state machine where a transition has a choice pseudo-state as bot...
Definition: FwSmMakeTest.c:652
FwSmDesc_t FwSmMakeTestSM3(struct TestSmData *smData, struct TestSmData *esmData)
Operation to create and configure the state machine SM3.
Definition: FwSmMakeTest.c:266
FwSmDesc_t FwSmMakeTestSM2(struct TestSmData *smData)
Operation to create and configure the state machine SM2.
Definition: FwSmMakeTest.c:243
FwSmDesc_t FwSmMakeTestSM9Static(struct TestSmData *smData)
Operation to create and configure the state machine SM5 (see FwSmMakeTestSM9 and figure below) static...
Definition: FwSmMakeTest.c:567
FwSmDesc_t FwSmMakeTestSM9(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with no transitions other than the initi...
Definition: FwSmMakeTest.c:548
Structure representing a state machine descriptor.
Definition: FwSmPrivate.h:303
FwSmDesc_t FwSmMakeTestSM11(struct TestSmData *smData)
Operation to create and configure a degenerate state machine with neither states nor choice pseudo-st...
Definition: FwSmMakeTest.c:611
int counter_2
Counter incremented by the transition actions.
Definition: FwSmMakeTest.h:105
int counter_1
Counter incremented by the state actions.
Definition: FwSmMakeTest.h:103
FwSmDesc_t FwSmMakeTestSM1(struct TestSmData *smData)
Operation to create and configure the state machine SM1.
Definition: FwSmMakeTest.c:208
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.
Definition: FwSmMakeTest.c:758
P&P Software GmbH, Copyright 2011, All Rights Reserved