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