Branch data Line data Source code
1 : : #include "calibration.h" 2 : : #include "battery.h" 3 : : 4 : 12 : StateBattery getBatteryState(Battery battery){ 5 : : 6 : 12 : StateBattery stateBattery = BATTERY_OPERATIONAL; 7 [ + + ]: 12 : if (battery.voltage >= BatteryMaxVoltage){ 8 : 1 : stateBattery = BATTERY_CHARGING; 9 : : } 10 [ + + ]: 11 : else if ( battery.voltage >= BatteryMinVoltage) 11 : : { 12 [ + + ]: 9 : if( battery.voltage < BatterySpecVoltage ) 13 : : { 14 : 3 : stateBattery = BATTERY_LOW; 15 : : } 16 : : else 17 : : { 18 : 6 : stateBattery = BATTERY_OPERATIONAL; 19 : : } 20 : : } 21 : : else 22 : : { 23 : 2 : stateBattery = BATTERY_DEAD; 24 : : } 25 : 12 : return stateBattery; 26 : : }