Classes | Typedefs

times_header.h File Reference

This graph shows which files directly or indirectly include this file:

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 Documentation

#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 Documentation

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.


Variable Documentation

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.

Definition at line 95 of file times_header.h.

 All Classes Files Functions Variables Typedefs Defines