Index: vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst =================================================================== diff -u -rfbc4422c93a0e498520fee2333e943818ee281ef -r8fb418d719e11f1914cf57e8ba01cb3731dd13bd --- vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst (.../ALARMMGMT.tst) (revision fbc4422c93a0e498520fee2333e943818ee281ef) +++ vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT.tst (.../ALARMMGMT.tst) (revision 8fb418d719e11f1914cf57e8ba01cb3731dd13bd) @@ -1624,11 +1624,15 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.001 TEST.IMPORT_FAILURES: -(I) @LINE: 1925 +(I) @LINE: 1653 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1928 +(I) @LINE: 1656 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 1925 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1928 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1919 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1922 @@ -1662,29 +1666,51 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.002 TEST.IMPORT_FAILURES: -(I) @LINE: 1991 +(I) @LINE: 1741 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 1992 +(I) @LINE: 1742 >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 1991 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 1992 + >>> >>> 'ALARM_ID_NO_ALARM' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1963 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 1964 @@ -1753,11 +1779,15 @@ TEST.NEW TEST.NAME:handleActiveAlarmListRequest.003 TEST.IMPORT_FAILURES: -(I) @LINE: 2038 +(I) @LINE: 1792 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. -(I) @LINE: 2040 +(I) @LINE: 1794 >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. (E) Errors from previous script import(s) + >>> (I) @LINE: 2038 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. + >>> (I) @LINE: 2040 + >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2006 >>> >>> 'REQUEST_REJECT_REASON_NONE' was specified as a macro, but it is in the symbol dictionary. >>> (I) @LINE: 2008 @@ -1820,10 +1850,13 @@ TEST.NEW TEST.NAME:handleResendActiveAlarmsRequest.002 TEST.IMPORT_FAILURES: -(S) @LINE: 2120 +(S) @LINE: 1879 >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> Results in 325 Iterations. (E) Errors from previous script import(s) + >>> (S) @LINE: 2120 + >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 + >>> >>> Results in 325 Iterations. >>> (S) @LINE: 2085 >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> >>> Results in 325 Iterations. @@ -1888,10 +1921,13 @@ TEST.NEW TEST.NAME:handleResendActiveAlarmsRequest.003 TEST.IMPORT_FAILURES: -(S) @LINE: 2189 +(S) @LINE: 1951 >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> Results in 325 Iterations. (E) Errors from previous script import(s) + >>> (S) @LINE: 2189 + >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 + >>> >>> Results in 325 Iterations. >>> (S) @LINE: 2151 >>> >>> Range Value Command VARY FROM:ALARM_ID_NO_ALARM TO:NUM_OF_ALARM_IDS BY: 1 >>> >>> Results in 325 Iterations. @@ -3751,10 +3787,13 @@ TEST.NEW TEST.NAME:testSetAlarmStartOverride_NominalPath TEST.IMPORT_FAILURES: -(E) @LINE: 4107 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 +(E) @LINE: 3872 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> Command Ignored. (E) Errors from previous script import(s) + >>> (E) @LINE: 4107 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 + >>> >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED + >>> >>> Command Ignored. >>> (E) @LINE: 4066 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 >>> >>> Invalid array index value ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Command Ignored. Index: vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT_cba.cvr =================================================================== diff -u -r093d127f4e5acc9861a574c4f85addd4922a5f3d -r8fb418d719e11f1914cf57e8ba01cb3731dd13bd --- vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT_cba.cvr (.../ALARMMGMT_cba.cvr) (revision 093d127f4e5acc9861a574c4f85addd4922a5f3d) +++ vectorcast/Hercules_RM46_HD_Project/environment/ALARMMGMT/ALARMMGMT_cba.cvr (.../ALARMMGMT_cba.cvr) (revision 8fb418d719e11f1914cf57e8ba01cb3731dd13bd) @@ -1 +1,1002 @@ +-- Imported Coverage Results Script +IMPORT.BEGIN +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:8 +IMPORT.SOURCE.ORIG_FILENAME:S0000008.c +IMPORT.SOURCE.COVERAGE_STATUS:FALSE +IMPORT.SOURCE.COVERAGE_TYPE:None +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:TRUE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:TRUE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_UNKNOWN +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:TRUE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.END +IMPORT.SOURCE.BEGIN +IMPORT.SOURCE.UNIT:9 +IMPORT.SOURCE.ORIG_FILENAME:AlarmMgmt.c +IMPORT.SOURCE.COVERAGE_STATUS:TRUE +IMPORT.SOURCE.COVERAGE_TYPE:Statement+MCDC +IMPORT.SOURCE.COVER_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.HAS_EMPTY_STATEMENTS:TRUE +IMPORT.SOURCE.COVER_CATCH_AS_BRANCH:TRUE +IMPORT.SOURCE.HAS_CATCH_STATEMENTS:FALSE +IMPORT.SOURCE.EDG_COVERAGE:TRUE +IMPORT.SOURCE.COVER_FUNCTION_PARAMETERS:TRUE +IMPORT.SOURCE.HAS_LOGICAL_OPS_IN_PARAMETERS:FALSE +IMPORT.SOURCE.COVER_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.COVER_NESTED_CONDITIONAL_OPERATOR:TRUE +IMPORT.SOURCE.HAS_NESTED_CONDITIONAL_OPERATOR:FALSE +IMPORT.SOURCE.COVER_STATEMENTS_BY_BLOCK:FALSE +IMPORT.SOURCE.COVERAGE_FOR_DECLARATIONS:INSTRUMENT_VARIABLE_DECLARATIONS_INITIALIZATIONS +IMPORT.SOURCE.HAS_CONSTANT_BRANCH:FALSE +IMPORT.SOURCE.BASIS_PATHS_FOR_CONSTANT_BRANCHES:TRUE +IMPORT.SOURCE.COVERAGE_FOR_LAMBDAS:FALSE +IMPORT.SOURCE.END +RESULT.CBA.BEGIN +RESULT.CBA.RESULT: CBA_AlarmMgmt +RESULT.CBA.NOTES +These cases were covered by analysis. Some of the variations were covered by testing. +RESULT.CBA.NOTES_END +RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Services/AlarmMgmt.c +RESULT.CBA.FUNCTION: activateAlarm2Data +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 10 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 101 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 105 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 113 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 12 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 128 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 131 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 133 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 135 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 137 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 139 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 14 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 141 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 143 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 145 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 147 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 149 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 151 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 153 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 155 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 157 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 159 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 16 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 160 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 165 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 169 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 177 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 18 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 192 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 195 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 197 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 2 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 20 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 201 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 209 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 22 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 224 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 229 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 233 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 24 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 241 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 26 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 28 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 30 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 32 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 37 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 4 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 41 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 45 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 49 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 53 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 57 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 6 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 61 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 64 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 67 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 69 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 71 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 73 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 75 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 77 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 79 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 8 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 81 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 83 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 85 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 87 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 89 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 91 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 93 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 95 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.LINE.BEGIN +RESULT.CBA.LINE: 8 +RESULT.CBA.COVERAGE: 96 255 +RESULT.CBA.CONTEXT: if ( ( ( ALARM_TABLE[ alarm ].alarmBlockRinseback != +RESULT.CBA.CONTEXT_BEFORE: +TREATMENT_STATE_T ts = getTreatmentState(); +// do not trigger alarm if blocked by current mode/state +RESULT.CBA.CONTEXT_BEFORE_END +RESULT.CBA.CONTEXT_AFTER: +1 +) || ( opMode != MODE_TREA ) || ( ts != TREATMENT_RINSEBACK_STATE ) || ( +RESULT.CBA.CONTEXT_AFTER_END +RESULT.CBA.LINE.END +RESULT.CBA.END +IMPORT.END