-- 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:Dialysis.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_Dialysis
RESULT.CBA.NOTES
Test code will be removed - no need to test.
Empty saline bag detection not yet implemented.

--- Invalidated Analysis Lines ---
    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: transitionToDialysis
    >>>   Line Context: {

    >>>   Context After: }

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: transitionToDialysis
    >>>   Context Before: {


    >>>   Line Context: }

--- Invalidated Analysis Lines ---
    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleSalineBolusInProgressState
    >>>   Context Before: if ( 0 )
{


    >>>   Line Context: activateAlarm1Data( ALARM_ID_EMPTY_SALINE_BAG, dat1 );

    >>>   Context After: errorFound =
1

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleSalineBolusInProgressState
    >>>   Context Before: if ( 0 )
{


    >>>   Line Context: dat1.data.flt.data = (F32)(0.0);

    >>>   Context After: errorFound =
1

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleSalineBolusInProgressState
    >>>   Context Before: {
{ ALARM_DATA_T dat1; dat1.dataType = ALARM_DATA_TYPE_F32; dat1.data.flt.data = (F32)(0.0); activateAlarm1Data( ALARM_ID_EMPTY_SALINE_BAG, dat1 ); }; // TODO - give data supporting empty bag detection


    >>>   Line Context: errorFound =

    >>>   Context After: 1
;

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFPausedState
    >>>   Context Before: ;
// set outlet pump to dialysate rate + set UF rate


    >>>   Line Context: (setUFRate) < 0.0

    >>>   Context After: // restart UF time accumulation for reference volume calculation
lastUFTimeStamp = getMSTimerCount();

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFPausedState
    >>>   Context Before: ;
// set outlet pump to dialysate rate + set UF rate


    >>>   Line Context: (setUFRate) < 0.0

    >>>   Context After: // restart UF time accumulation for reference volume calculation
lastUFTimeStamp = getMSTimerCount();

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFPausedState
    >>>   Context Before: == isStopButtonPressed() )
{


    >>>   Line Context: resumeUF();

    >>>   Context After: result = UF_RUNNING_STATE;
}

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFPausedState
    >>>   Context Before: {
resumeUF();


    >>>   Line Context: result = UF_RUNNING_STATE;

    >>>   Context After: }
return result;

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFRunningState
    >>>   Context Before: == isStopButtonPressed() )
{


    >>>   Line Context: pauseUF();

    >>>   Context After: result = UF_PAUSED_STATE;
}

    >>> Failed to find matching line for:
    >>>   Result: CBA_Dialysis
    >>>   Unit: 9
    >>>   Function: handleUFRunningState
    >>>   Context Before: {
pauseUF();


    >>>   Line Context: result = UF_PAUSED_STATE;

    >>>   Context After: }
return result;

RESULT.CBA.NOTES_END
RESULT.CBA.UNIT: /home/asif/work/update_19th/workspace_hd_staging/hdfirmware/firmware/App/Modes/Dialysis.c
RESULT.CBA.FUNCTION: handleSalineBolusInProgressState
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 12
RESULT.CBA.CONTEXT: dat1.dataType = ALARM_DATA_TYPE_F32;
RESULT.CBA.CONTEXT_BEFORE:
== isSalineBagEmpty() )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
errorFound =
1
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: handleUFPausedState
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 4
RESULT.CBA.CONTEXT: if ( SALINE_BOLUS_STATE_IDLE == currentSalineBolusState
RESULT.CBA.CONTEXT_BEFORE:
;
// Go to saline bolus state if we can
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
*dialysisState = DIALYSIS_SALINE_BOLUS_STATE;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 4
RESULT.CBA.COVERAGE: 3 3
RESULT.CBA.CONTEXT: if ( SALINE_BOLUS_STATE_IDLE == currentSalineBolusState
RESULT.CBA.CONTEXT_BEFORE:
;
// Go to saline bolus state if we can
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
*dialysisState = DIALYSIS_SALINE_BOLUS_STATE;
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.FUNCTION: handleUFRunningState
RESULT.CBA.LINE.BEGIN
RESULT.CBA.LINE: 11
RESULT.CBA.CONTEXT: if ( SALINE_BOLUS_STATE_IDLE == currentSalineBolusState
RESULT.CBA.CONTEXT_BEFORE:
== salineBolusStartRequested )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
// Since we were doing UF prior to saline bolus, we want to auto-resume when done
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 ( SALINE_BOLUS_STATE_IDLE == currentSalineBolusState
RESULT.CBA.CONTEXT_BEFORE:
== salineBolusStartRequested )
{
RESULT.CBA.CONTEXT_BEFORE_END
RESULT.CBA.CONTEXT_AFTER:
{
// Since we were doing UF prior to saline bolus, we want to auto-resume when done
RESULT.CBA.CONTEXT_AFTER_END
RESULT.CBA.LINE.END
RESULT.CBA.END
IMPORT.END