.pragma library


function intToString(v) {
    // use EN locale to get comma separated thousands
    // + remove automatically added trailing decimals
    // (this 'toLocaleString' does not take any option)
    return v.toLocaleString(Qt.locale('en-US')).split('.')[0]
}

// Convert a plain text to an html escaped string.
function plainToHtml(t) {
    var escaped = t.replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;'); // escape text
    return escaped.replace(/\n/g, '<br>'); // replace line breaks
}

function sec2time(time) {
    var pad = function(num, size) { return ('000' + num).slice(size * -1); },
    hours = Math.floor(time / 60 / 60),
    minutes = Math.floor(time / 60) % 60,
    seconds = Math.floor(time - minutes * 60);

    return pad(hours, 2) + ':' + pad(minutes, 2) + ':' + pad(seconds, 2)
}

function getTimeStr(elapsed)
{
    if (elapsed <= 0)
        return ""

    var hours = 0
    var min = 0
    var finalTime = ""

    if (elapsed > 3600) {
        hours = Math.floor(elapsed / 3600)
        elapsed = elapsed - (hours * 3600)
        finalTime += hours + "h"
    }
    if (elapsed > 60) {
        min = Math.floor(elapsed / 60)
        elapsed = elapsed - (min * 60)
        finalTime += min + "m"
    }
    if (hours === 0 && min === 0) {
        // Millisecond precision for execution times below 1 min
        finalTime += Number(elapsed.toLocaleString(Qt.locale('en-US'))) + "s"
    } else {
        finalTime += Math.round(elapsed) + "s"
    }

    return finalTime
}