Go to the source code of this file.
Classes | |
struct | s_TransitionType |
Typedefs | |
typedef struct s_TransitionType | trans_t |
typedef int | loc_t |
typedef int | bool |
Task identifiers (tid). | |
| |
#define | tid_offset 200 |
#define | tid_offset 200 |
#define | tid_NOP tid_offset+0 |
#define | GPCA_Instance_Infusion_NormalOperation 0 |
#define | GPCA_Instance_ConfirmPause 9 |
#define | GPCA_Instance_InfusionPaused 14 |
#define | GPCA_Instance_Alrm_TooLongInfusionPause 18 |
#define | GPCA_Instance_InfusionStopped 22 |
#define | GPCA_Instance_ConfirmStop 25 |
#define | GPCA_Instance_Alrm_LevelTwoHardwareFailure 30 |
#define | GPCA_Instance_Wrn_LowReservior 34 |
#define | GPCA_Instance_Alrm_EmptyReservior 36 |
#define | GPCA_Instance_CheckDrug 39 |
#define | GPCA_Instance_Alrm_WrongDrug 43 |
#define | GPCA_Instance_ChangeRate 46 |
#define | GPCA_Instance_CheckNewRate 52 |
#define | GPCA_Instance_Alrm_UnsafeNewRate 55 |
#define | GPCA_Instance_DisplayVTBI 60 |
#define | GPCA_Instance_ChangeVTBI 63 |
#define | GPCA_Instance_Alrm_LongWait_ChangeVTBI 67 |
#define | GPCA_Instance_CheckVTBI 69 |
#define | GPCA_Instance_Alrm_VTBIHardLimitsViolation 73 |
#define | GPCA_Instance_Wrn_VTBISoftLimitsViolation 75 |
#define | GPCA_Instance_DisplayDoseRate 78 |
#define | GPCA_Instance_ChangeDoseRate 81 |
#define | GPCA_Instance_Alrm_LongWait_ChangeDoseRate 85 |
#define | GPCA_Instance_CheckDoseRate 87 |
#define | GPCA_Instance_Alarming_DoseRate_OutOfBound 91 |
#define | GPCA_Instance_Wrn_DoseRateSoftLimitsViolation 93 |
#define | GPCA_Instance_DisplaySetting 96 |
#define | GPCA_Instance_Alrm_LongWait_StartInfusion 99 |
#define | GPCA_Instance_ReadyToStart 101 |
#define | GPCA_Instance_DisplayPatientProfile 104 |
#define | GPCA_Instance_CDR_Init 107 |
#define | GPCA_Instance_CheckAdministrationSet 109 |
#define | GPCA_Instance_Alrm_IncorrectAdministrationSetup 112 |
#define | GPCA_Instance_CheckPrime 114 |
#define | GPCA_Instance_Alrm_PrimeFailure 117 |
#define | GPCA_Instance_DisplayDrugInfo 119 |
#define | GPCA_Instance_CheckDrugType 121 |
#define | GPCA_Instance_Alrm_UnknownDrug 124 |
#define | GPCA_Instance_CheckDoseUnit 126 |
#define | GPCA_Instance_Alrm_DoseUnitMismatch 129 |
#define | GPCA_Instance_CheckConcentration 131 |
#define | GPCA_Instance_Wrn_ConcentrationSoftLimitsViolation 135 |
#define | GPCA_Instance_Alrm_ConcentrationHardLimitsViolation 138 |
#define | GPCA_Instance_POST_Init 140 |
#define | GPCA_Instance_Post_In_Progress 142 |
#define | GPCA_Instance_Alrm_POSTFailure 146 |
#define | GPCA_Instance_PausedStopConfirm 148 |
#define | GPCA_Instance_Alrm_LongWait_ChangeDoseRate_ISSM 151 |
#define | GPCA_Instance_BolusRequest 153 |
#define | MAX_PAUSED_T 5 |
#define | MAX_ALRM_T 10 |
#define | MAX_CHECK_DRUG_T 5 |
#define | MAX_WAIT_INPUT_T 5 |
#define | MAX_POST_WAIT 10 |
#define | MAX_CLOCK_VALUE 50000 |
typedef long | time_t |
Task identifiers (tid).//TIMES code | |
| |
#define | QUEUE_BOUND 3 |
#define | NB_TASK 0 |
#define | NB_TRANS 107 |
#define | NB_PROC 1 |
#define | NB_LOC 49 |
#define | NB_CLOCKS 1 |
#define | NB_VAR 59 |
#define | true (1==1) |
#define | false (0==1) |
const char * | cl0 = "GPCA_Instance_clk_x1" |
const char ** | CLOCKNAMES [NB_CLOCKS] = {&cl0} |
const char * | iv0 = "E_RequestBolus" |
const char * | iv1 = "E_StopInfusion" |
const char * | iv2 = "E_PauseInfusion" |
const char * | iv3 = "E_ConfirmPauseInfusion" |
const char * | iv4 = "E_ClearAlarm" |
const char * | iv5 = "E_Cancel" |
const char * | iv6 = "E_ChangeDoseRate" |
const char * | iv7 = "T_Cond_6_6" |
const char * | iv8 = "T_Cond_6_3" |
const char * | iv9 = "T_Cond_6_4" |
const char * | iv10 = "T_Cond_6_5" |
const char * | iv11 = "E_ConfirmStopInfusion" |
const char * | iv12 = "E_ConfirmDoseRate" |
const char * | iv13 = "E_NewInfusion" |
const char * | iv14 = "Level_Two_Alarm" |
const char * | iv15 = "MCond_6_6" |
const char * | iv16 = "TCond_6_3" |
const char * | iv17 = "Cond_6_3" |
const char * | iv18 = "TCond_6_5" |
const char * | iv19 = "TCond_6_4" |
const char * | iv20 = "Cond_7_4" |
const char * | iv21 = "Cond_7_3" |
const char * | iv22 = "Cond_2" |
const char * | iv23 = "E_ConfigureInfusionProgram" |
const char * | iv24 = "E_ChangeVTBI" |
const char * | iv25 = "E_ConfirmVTBI" |
const char * | iv26 = "Cond_4_1" |
const char * | iv27 = "Cond_4_2" |
const char * | iv28 = "Cond_4_3" |
const char * | iv29 = "Cond_4_4" |
const char * | iv30 = "Cond_4_5" |
const char * | iv31 = "Cond_4_6" |
const char * | iv32 = "Cond_5_1" |
const char * | iv33 = "E_StartInfusion" |
const char * | iv34 = "MCDR_In_Progress" |
const char * | iv35 = "E_CheckAdminSet" |
const char * | iv36 = "E_CheckAdminSet_1" |
const char * | iv37 = "Cond_3_1" |
const char * | iv38 = "Cond_3_2" |
const char * | iv39 = "Cond_3_3" |
const char * | iv40 = "Cond_3_4" |
const char * | iv41 = "E_CheckDrug" |
const char * | iv42 = "Cond_3_5" |
const char * | iv43 = "Cond_3_6" |
const char * | iv44 = "Cond_3_7" |
const char * | iv45 = "Cond_3_8" |
const char * | iv46 = "Cond_3_9" |
const char * | iv47 = "Cond_3_11" |
const char * | iv48 = "Cond_3_10" |
const char * | iv49 = "E_ConfirmConcentration" |
const char * | iv50 = "E_Prime" |
const char * | iv51 = "E_PowerButton" |
const char * | iv52 = "Power_ON" |
const char * | iv53 = "MCond_1_3" |
const char * | iv54 = "MCond_1_4" |
const char * | iv55 = "Cond_5_2" |
const char * | iv56 = "Cond_6_2" |
const char * | iv57 = "Cond_7_1" |
const char * | iv58 = "Cond_7_2" |
const char ** | VARNAMES [NB_VAR] = {&iv0,&iv1,&iv2,&iv3,&iv4,&iv5,&iv6,&iv7,&iv8,&iv9,&iv10,&iv11,&iv12,&iv13,&iv14,&iv15,&iv16,&iv17,&iv18,&iv19,&iv20,&iv21,&iv22,&iv23,&iv24,&iv25,&iv26,&iv27,&iv28,&iv29,&iv30,&iv31,&iv32,&iv33,&iv34,&iv35,&iv36,&iv37,&iv38,&iv39,&iv40,&iv41,&iv42,&iv43,&iv44,&iv45,&iv46,&iv47,&iv48,&iv49,&iv50,&iv51,&iv52,&iv53,&iv54,&iv55,&iv56,&iv57,&iv58} |
#define false (0==1) |
Definition at line 119 of file times_header.h.
#define GPCA_Instance_Alarming_DoseRate_OutOfBound 91 |
Definition at line 157 of file times_header.h.
#define GPCA_Instance_Alrm_ConcentrationHardLimitsViolation 138 |
Definition at line 175 of file times_header.h.
#define GPCA_Instance_Alrm_DoseUnitMismatch 129 |
Definition at line 172 of file times_header.h.
#define GPCA_Instance_Alrm_EmptyReservior 36 |
Definition at line 141 of file times_header.h.
#define GPCA_Instance_Alrm_IncorrectAdministrationSetup 112 |
Definition at line 165 of file times_header.h.
#define GPCA_Instance_Alrm_LevelTwoHardwareFailure 30 |
Definition at line 139 of file times_header.h.
#define GPCA_Instance_Alrm_LongWait_ChangeDoseRate 85 |
Definition at line 155 of file times_header.h.
#define GPCA_Instance_Alrm_LongWait_ChangeDoseRate_ISSM 151 |
Definition at line 180 of file times_header.h.
#define GPCA_Instance_Alrm_LongWait_ChangeVTBI 67 |
Definition at line 149 of file times_header.h.
#define GPCA_Instance_Alrm_LongWait_StartInfusion 99 |
Definition at line 160 of file times_header.h.
#define GPCA_Instance_Alrm_POSTFailure 146 |
Definition at line 178 of file times_header.h.
#define GPCA_Instance_Alrm_PrimeFailure 117 |
Definition at line 167 of file times_header.h.
#define GPCA_Instance_Alrm_TooLongInfusionPause 18 |
Definition at line 136 of file times_header.h.
#define GPCA_Instance_Alrm_UnknownDrug 124 |
Definition at line 170 of file times_header.h.
#define GPCA_Instance_Alrm_UnsafeNewRate 55 |
Definition at line 146 of file times_header.h.
#define GPCA_Instance_Alrm_VTBIHardLimitsViolation 73 |
Definition at line 151 of file times_header.h.
#define GPCA_Instance_Alrm_WrongDrug 43 |
Definition at line 143 of file times_header.h.
#define GPCA_Instance_BolusRequest 153 |
Definition at line 181 of file times_header.h.
#define GPCA_Instance_CDR_Init 107 |
Definition at line 163 of file times_header.h.
#define GPCA_Instance_ChangeDoseRate 81 |
Definition at line 154 of file times_header.h.
#define GPCA_Instance_ChangeRate 46 |
Definition at line 144 of file times_header.h.
#define GPCA_Instance_ChangeVTBI 63 |
Definition at line 148 of file times_header.h.
#define GPCA_Instance_CheckAdministrationSet 109 |
Definition at line 164 of file times_header.h.
#define GPCA_Instance_CheckConcentration 131 |
Definition at line 173 of file times_header.h.
#define GPCA_Instance_CheckDoseRate 87 |
Definition at line 156 of file times_header.h.
#define GPCA_Instance_CheckDoseUnit 126 |
Definition at line 171 of file times_header.h.
#define GPCA_Instance_CheckDrug 39 |
Definition at line 142 of file times_header.h.
#define GPCA_Instance_CheckDrugType 121 |
Definition at line 169 of file times_header.h.
#define GPCA_Instance_CheckNewRate 52 |
Definition at line 145 of file times_header.h.
#define GPCA_Instance_CheckPrime 114 |
Definition at line 166 of file times_header.h.
#define GPCA_Instance_CheckVTBI 69 |
Definition at line 150 of file times_header.h.
#define GPCA_Instance_ConfirmPause 9 |
Definition at line 134 of file times_header.h.
#define GPCA_Instance_ConfirmStop 25 |
Definition at line 138 of file times_header.h.
#define GPCA_Instance_DisplayDoseRate 78 |
Definition at line 153 of file times_header.h.
#define GPCA_Instance_DisplayDrugInfo 119 |
Definition at line 168 of file times_header.h.
#define GPCA_Instance_DisplayPatientProfile 104 |
Definition at line 162 of file times_header.h.
#define GPCA_Instance_DisplaySetting 96 |
Definition at line 159 of file times_header.h.
#define GPCA_Instance_DisplayVTBI 60 |
Definition at line 147 of file times_header.h.
#define GPCA_Instance_Infusion_NormalOperation 0 |
Location identifiers, also offsets into location array.
Definition at line 133 of file times_header.h.
#define GPCA_Instance_InfusionPaused 14 |
Definition at line 135 of file times_header.h.
#define GPCA_Instance_InfusionStopped 22 |
Definition at line 137 of file times_header.h.
#define GPCA_Instance_PausedStopConfirm 148 |
Definition at line 179 of file times_header.h.
#define GPCA_Instance_Post_In_Progress 142 |
Definition at line 177 of file times_header.h.
#define GPCA_Instance_POST_Init 140 |
Definition at line 176 of file times_header.h.
#define GPCA_Instance_ReadyToStart 101 |
Definition at line 161 of file times_header.h.
#define GPCA_Instance_Wrn_ConcentrationSoftLimitsViolation 135 |
Definition at line 174 of file times_header.h.
#define GPCA_Instance_Wrn_DoseRateSoftLimitsViolation 93 |
Definition at line 158 of file times_header.h.
#define GPCA_Instance_Wrn_LowReservior 34 |
Definition at line 140 of file times_header.h.
#define GPCA_Instance_Wrn_VTBISoftLimitsViolation 75 |
Definition at line 152 of file times_header.h.
#define MAX_ALRM_T 10 |
Definition at line 187 of file times_header.h.
#define MAX_CHECK_DRUG_T 5 |
Definition at line 188 of file times_header.h.
#define MAX_CLOCK_VALUE 50000 |
Definition at line 194 of file times_header.h.
#define MAX_PAUSED_T 5 |
Constant values
Definition at line 186 of file times_header.h.
#define MAX_POST_WAIT 10 |
Definition at line 190 of file times_header.h.
#define MAX_WAIT_INPUT_T 5 |
Definition at line 189 of file times_header.h.
#define NB_CLOCKS 1 |
Definition at line 30 of file times_header.h.
#define NB_LOC 49 |
Definition at line 29 of file times_header.h.
#define NB_PROC 1 |
Definition at line 28 of file times_header.h.
#define NB_TASK 0 |
Definition at line 26 of file times_header.h.
#define NB_TRANS 107 |
Definition at line 27 of file times_header.h.
#define NB_VAR 59 |
Definition at line 94 of file times_header.h.
#define QUEUE_BOUND 3 |
Definition at line 25 of file times_header.h.
#define tid_NOP tid_offset+0 |
Definition at line 126 of file times_header.h.
#define tid_offset 200 |
Definition at line 125 of file times_header.h.
#define tid_offset 200 |
Definition at line 125 of file times_header.h.
#define true (1==1) |
Definition at line 115 of file times_header.h.
typedef int bool |
Define bool type (TIMES code)
Definition at line 15 of file times_header.h.
typedef int loc_t |
Location list type (TIMES code)
Definition at line 10 of file times_header.h.
typedef long time_t |
Definition at line 193 of file times_header.h.
typedef struct s_TransitionType trans_t |
Transition information (TIMES code)
Definition at line 5 of file times_header.h.
const char* cl0 = "GPCA_Instance_clk_x1" |
Definition at line 32 of file times_header.h.
const char** CLOCKNAMES[NB_CLOCKS] = {&cl0} |
Definition at line 33 of file times_header.h.
const char* iv0 = "E_RequestBolus" |
Definition at line 35 of file times_header.h.
const char* iv1 = "E_StopInfusion" |
Definition at line 36 of file times_header.h.
const char* iv10 = "T_Cond_6_5" |
Definition at line 45 of file times_header.h.
const char* iv11 = "E_ConfirmStopInfusion" |
Definition at line 46 of file times_header.h.
const char* iv12 = "E_ConfirmDoseRate" |
Definition at line 47 of file times_header.h.
const char* iv13 = "E_NewInfusion" |
Definition at line 48 of file times_header.h.
const char* iv14 = "Level_Two_Alarm" |
Definition at line 49 of file times_header.h.
const char* iv15 = "MCond_6_6" |
Definition at line 50 of file times_header.h.
const char* iv16 = "TCond_6_3" |
Definition at line 51 of file times_header.h.
const char* iv17 = "Cond_6_3" |
Definition at line 52 of file times_header.h.
const char* iv18 = "TCond_6_5" |
Definition at line 53 of file times_header.h.
const char* iv19 = "TCond_6_4" |
Definition at line 54 of file times_header.h.
const char* iv2 = "E_PauseInfusion" |
Definition at line 37 of file times_header.h.
const char* iv20 = "Cond_7_4" |
Definition at line 55 of file times_header.h.
const char* iv21 = "Cond_7_3" |
Definition at line 56 of file times_header.h.
const char* iv22 = "Cond_2" |
Definition at line 57 of file times_header.h.
const char* iv23 = "E_ConfigureInfusionProgram" |
Definition at line 58 of file times_header.h.
const char* iv24 = "E_ChangeVTBI" |
Definition at line 59 of file times_header.h.
const char* iv25 = "E_ConfirmVTBI" |
Definition at line 60 of file times_header.h.
const char* iv26 = "Cond_4_1" |
Definition at line 61 of file times_header.h.
const char* iv27 = "Cond_4_2" |
Definition at line 62 of file times_header.h.
const char* iv28 = "Cond_4_3" |
Definition at line 63 of file times_header.h.
const char* iv29 = "Cond_4_4" |
Definition at line 64 of file times_header.h.
const char* iv3 = "E_ConfirmPauseInfusion" |
Definition at line 38 of file times_header.h.
const char* iv30 = "Cond_4_5" |
Definition at line 65 of file times_header.h.
const char* iv31 = "Cond_4_6" |
Definition at line 66 of file times_header.h.
const char* iv32 = "Cond_5_1" |
Definition at line 67 of file times_header.h.
const char* iv33 = "E_StartInfusion" |
Definition at line 68 of file times_header.h.
const char* iv34 = "MCDR_In_Progress" |
Definition at line 69 of file times_header.h.
const char* iv35 = "E_CheckAdminSet" |
Definition at line 70 of file times_header.h.
const char* iv36 = "E_CheckAdminSet_1" |
Definition at line 71 of file times_header.h.
const char* iv37 = "Cond_3_1" |
Definition at line 72 of file times_header.h.
const char* iv38 = "Cond_3_2" |
Definition at line 73 of file times_header.h.
const char* iv39 = "Cond_3_3" |
Definition at line 74 of file times_header.h.
const char* iv4 = "E_ClearAlarm" |
Definition at line 39 of file times_header.h.
const char* iv40 = "Cond_3_4" |
Definition at line 75 of file times_header.h.
const char* iv41 = "E_CheckDrug" |
Definition at line 76 of file times_header.h.
const char* iv42 = "Cond_3_5" |
Definition at line 77 of file times_header.h.
const char* iv43 = "Cond_3_6" |
Definition at line 78 of file times_header.h.
const char* iv44 = "Cond_3_7" |
Definition at line 79 of file times_header.h.
const char* iv45 = "Cond_3_8" |
Definition at line 80 of file times_header.h.
const char* iv46 = "Cond_3_9" |
Definition at line 81 of file times_header.h.
const char* iv47 = "Cond_3_11" |
Definition at line 82 of file times_header.h.
const char* iv48 = "Cond_3_10" |
Definition at line 83 of file times_header.h.
const char* iv49 = "E_ConfirmConcentration" |
Definition at line 84 of file times_header.h.
const char* iv5 = "E_Cancel" |
Definition at line 40 of file times_header.h.
const char* iv50 = "E_Prime" |
Definition at line 85 of file times_header.h.
const char* iv51 = "E_PowerButton" |
Definition at line 86 of file times_header.h.
const char* iv52 = "Power_ON" |
Definition at line 87 of file times_header.h.
const char* iv53 = "MCond_1_3" |
Definition at line 88 of file times_header.h.
const char* iv54 = "MCond_1_4" |
Definition at line 89 of file times_header.h.
const char* iv55 = "Cond_5_2" |
Definition at line 90 of file times_header.h.
const char* iv56 = "Cond_6_2" |
Definition at line 91 of file times_header.h.
const char* iv57 = "Cond_7_1" |
Definition at line 92 of file times_header.h.
const char* iv58 = "Cond_7_2" |
Definition at line 93 of file times_header.h.
const char* iv6 = "E_ChangeDoseRate" |
Definition at line 41 of file times_header.h.
const char* iv7 = "T_Cond_6_6" |
Definition at line 42 of file times_header.h.
const char* iv8 = "T_Cond_6_3" |
Definition at line 43 of file times_header.h.
const char* iv9 = "T_Cond_6_4" |
Definition at line 44 of file times_header.h.
const char** VARNAMES[NB_VAR] = {&iv0,&iv1,&iv2,&iv3,&iv4,&iv5,&iv6,&iv7,&iv8,&iv9,&iv10,&iv11,&iv12,&iv13,&iv14,&iv15,&iv16,&iv17,&iv18,&iv19,&iv20,&iv21,&iv22,&iv23,&iv24,&iv25,&iv26,&iv27,&iv28,&iv29,&iv30,&iv31,&iv32,&iv33,&iv34,&iv35,&iv36,&iv37,&iv38,&iv39,&iv40,&iv41,&iv42,&iv43,&iv44,&iv45,&iv46,&iv47,&iv48,&iv49,&iv50,&iv51,&iv52,&iv53,&iv54,&iv55,&iv56,&iv57,&iv58} |
Definition at line 95 of file times_header.h.