CORDET Framework - C2 Implementation
CrPsCmdVerFailCreate.h
Go to the documentation of this file.
1 
36 #ifndef CRPSCMDVERFAIL_H_
37 #define CRPSCMDVERFAIL_H_
38 
40 #include "FwPrConstants.h"
41 
43 #define CrPsCmdVerFail_N2 (1) /* The identifier of action node N2 in procedure CrPsCmdVerFail */
44 #define CrPsCmdVerFail_N3 (2) /* The identifier of action node N3 in procedure CrPsCmdVerFail */
45 #define CrPsCmdVerFail_N4 (3) /* The identifier of action node N4 in procedure CrPsCmdVerFail */
46 #define CrPsCmdVerFail_N5 (4) /* The identifier of action node N5 in procedure CrPsCmdVerFail */
47 #define CrPsCmdVerFail_N6 (5) /* The identifier of action node N6 in procedure CrPsCmdVerFail */
48 
57 FwPrDesc_t CrPsCmdVerFailCreate(void* prData);
58 
67 void CrPsCmdVerFailN2(FwPrDesc_t prDesc);
68 
77 void CrPsCmdVerFailN3(FwPrDesc_t prDesc);
78 
87 void CrPsCmdVerFailN4(FwPrDesc_t prDesc);
88 
97 void CrPsCmdVerFailN5(FwPrDesc_t prDesc);
98 
107 void CrPsCmdVerFailN6(FwPrDesc_t prDesc);
108 
118 FwPrBool_t CrPsCmdVerFailG1(FwPrDesc_t prDesc);
119 
120 #endif /* CrPsCmdVerFailCreate_H_ */
void CrPsCmdVerFailN4(FwPrDesc_t prDesc)
Action for node N4.
void CrPsCmdVerFailN5(FwPrDesc_t prDesc)
Action for node N5.
FwPrDesc_t CrPsCmdVerFailCreate(void *prData)
Create a new procedure descriptor.
void CrPsCmdVerFailN2(FwPrDesc_t prDesc)
Action for node N2.
void CrPsCmdVerFailN6(FwPrDesc_t prDesc)
Action for node N6.
void CrPsCmdVerFailN3(FwPrDesc_t prDesc)
Action for node N3.
FwPrBool_t CrPsCmdVerFailG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N3.
P&P Software GmbH, Copyright 2012-2013, All Rights Reserved