[ActionScript 3.0] AS3 时间格式化方法

/**
* 格式化时间，格式 00:00:00
* @param   total 总时间（毫秒）
*/
function getFormatTime(total:uint):String
{
if (total/1000 < 60 && total/1000 >0) {
var s0:uint = total / 1000 >> 0;
return s0 < 10 ? "00:0" + s0.toString() : "00:" + s0.toString();
} else {
var h:uint = (total / 3600000) >> 0;
var m:uint = ((total -h*3600000)/60000)>>0;
var s:uint = ((total -h*3600000 - m*60000)/1000)>>0;
var hh:String = h < 10 ? "0" + h:h.toString();
var mm:String = m < 10 ? "0" + m:m.toString();
var ss:String = s < 10 ? "0" + s:s.toString();
var arr:Vector.<String> = new Vector.<String>();
(h > 0) ? arr.push(hh):null;
(h > 0|| m > 0 ) ? arr.push(mm) : null;
(h > 0|| m > 0 || s > 0 )  ? arr.push(ss) : null;
return arr.join(":");
}
}