-- 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:ModeTreatment.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_ModeTreatment
RESULT.CBA.NOTES
Some states not yet implemented.  
Some temporary test code is in place to facilitate testing.
RESULT.CBA.NOTES_END
RESULT.CBA.UNIT: /home/fw/workspace_hd/hdfirmware/firmware/App/Modes/ModeTreatment.c
RESULT.CBA.FUNCTION: execTreatmentMode
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 23
RESULT.CBA.CONTEXT: case TREATMENT_DIALYSIS_END_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 23
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_DIALYSIS_END_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 25
RESULT.CBA.CONTEXT: case TREATMENT_END_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
requestNewOperationMode( MODE_POST ); // TODO - test code - remove later
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 25
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_END_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
requestNewOperationMode( MODE_POST ); // TODO - test code - remove later
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 19
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_PAUSE_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 19
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_PAUSE_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 15
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_SETUP_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 15
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_SETUP_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 17
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 17
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 21
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_STOP_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 21
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RECIRC_STOP_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 13
RESULT.CBA.CONTEXT: case TREATMENT_RINSEBACK_PAUSE_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 13
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RINSEBACK_PAUSE_STATE:
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.CONTEXT: case TREATMENT_RINSEBACK_STATE:
RESULT.CBA.CONTEXT_BEFORE:
currentTreatmentState = handleTreatmentStopState();
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.COVERAGE: 1 1
RESULT.CBA.CONTEXT: case TREATMENT_RINSEBACK_STATE:
RESULT.CBA.CONTEXT_BEFORE:
currentTreatmentState = handleTreatmentStopState();
break;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
// TODO - implement
break;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 26
RESULT.CBA.CONTEXT: requestNewOperationMode( MODE_POST );
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_END_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
break;
default:
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 12
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RINSEBACK_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_RINSEBACK_PAUSE_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 4
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 14
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RINSEBACK_PAUSE_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_RECIRC_SETUP_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 5
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 16
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RECIRC_SETUP_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_RECIRC_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 6
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 18
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RECIRC_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_RECIRC_PAUSE_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 7
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 20
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RECIRC_PAUSE_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_RECIRC_STOP_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 8
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 22
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_RECIRC_STOP_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_DIALYSIS_END_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 9
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 24
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
case TREATMENT_DIALYSIS_END_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
case TREATMENT_END_STATE:
// TODO - implement
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 10
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 27
RESULT.CBA.CONTEXT: break;
RESULT.CBA.CONTEXT_BEFORE:
// TODO - implement
requestNewOperationMode( MODE_POST ); // TODO - test code - remove later
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
default:
{ ALARM_DATA_T dat1; ALARM_DATA_T dat2; dat1.dataType = ALARM_DATA_TYPE_U32; dat1.data.uInt.data = (U32)(SW_FAULT_ID_MODE_TREATMENT_INVALID_STATE); dat2.dataType = ALARM_DATA_TYPE_U32; dat2.data.uInt.data = (U32)(currentTreatmentState); activateAlarm2Data( ALARM_ID_HD_SOFTWARE_FAULT, dat1, dat2 ); };
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.MATCHING_LINE_INDEX: 11
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: handleTreatmentDialysisState
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 10
RESULT.CBA.CONTEXT: if ( getOffButtonState() == BUTTON_STATE_PRESSED
RESULT.CBA.CONTEXT_BEFORE:
}
// TODO - test code - remove later
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 10
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( getOffButtonState() == BUTTON_STATE_PRESSED
RESULT.CBA.CONTEXT_BEFORE:
}
// TODO - test code - remove later
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.COVERAGE: 0 3
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 12
RESULT.CBA.CONTEXT: lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_BEFORE:
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
stopDialysis();
transitionToTreatmentStop();
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 15
RESULT.CBA.CONTEXT: result = TREATMENT_STOP_STATE;
RESULT.CBA.CONTEXT_BEFORE:
stopDialysis();
transitionToTreatmentStop();
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
}
}
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 13
RESULT.CBA.CONTEXT: stopDialysis();
RESULT.CBA.CONTEXT_BEFORE:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
transitionToTreatmentStop();
result = TREATMENT_STOP_STATE;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 14
RESULT.CBA.CONTEXT: transitionToTreatmentStop();
RESULT.CBA.CONTEXT_BEFORE:
lastOffButtonState = BUTTON_STATE_PRESSED;
stopDialysis();
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
result = TREATMENT_STOP_STATE;
}
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: handleTreatmentStopState
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 5
RESULT.CBA.CONTEXT: if ( getOffButtonState() == BUTTON_STATE_PRESSED
RESULT.CBA.CONTEXT_BEFORE:
}
// TODO - test code - remove later
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 5
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( getOffButtonState() == BUTTON_STATE_PRESSED
RESULT.CBA.CONTEXT_BEFORE:
}
// TODO - test code - remove later
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 6
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 6
RESULT.CBA.COVERAGE: 0 3
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 6
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( lastOffButtonState == BUTTON_STATE_RELEASED
RESULT.CBA.CONTEXT_BEFORE:
if ( getOffButtonState() == BUTTON_STATE_PRESSED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 7
RESULT.CBA.CONTEXT: lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_BEFORE:
if ( lastOffButtonState == BUTTON_STATE_RELEASED )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
lastTreatmentTimeStamp = getMSTimerCount();
startDialysis();
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 8
RESULT.CBA.CONTEXT: lastTreatmentTimeStamp = getMSTimerCount();
RESULT.CBA.CONTEXT_BEFORE:
{
lastOffButtonState = BUTTON_STATE_PRESSED;
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
startDialysis();
transitionToDialysis();
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.CONTEXT: result = TREATMENT_DIALYSIS_STATE;
RESULT.CBA.CONTEXT_BEFORE:
startDialysis();
transitionToDialysis();
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
}
}
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 9
RESULT.CBA.CONTEXT: startDialysis();
RESULT.CBA.CONTEXT_BEFORE:
lastOffButtonState = BUTTON_STATE_PRESSED;
lastTreatmentTimeStamp = getMSTimerCount();
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
transitionToDialysis();
result = TREATMENT_DIALYSIS_STATE;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 10
RESULT.CBA.CONTEXT: transitionToDialysis();
RESULT.CBA.CONTEXT_BEFORE:
lastTreatmentTimeStamp = getMSTimerCount();
startDialysis();
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
result = TREATMENT_DIALYSIS_STATE;
}
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.END
IMPORT.END