[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(":");
     }
 }