Here you can find the source of formatTimeSpan(long time)
Parameter | Description |
---|---|
time | time in ms |
public static String formatTimeSpan(long time)
//package com.java2s; /*************************************************************** * This file is part of the [fleXive](R) framework. * * Copyright (c) 1999-2014//from w w w . j a va 2s . co m * UCS - unique computing solutions gmbh (http://www.ucs.at) * All rights reserved * * The [fleXive](R) project is free software; you can redistribute * it and/or modify it under the terms of the GNU Lesser General Public * License version 2.1 or higher as published by the Free Software Foundation. * * The GNU Lesser General Public License can be found at * http://www.gnu.org/licenses/lgpl.html. * A copy is found in the textfile LGPL.txt and important notices to the * license from the author are found in LICENSE.txt distributed with * these libraries. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * For further information about UCS - unique computing solutions gmbh, * please see the company website: http://www.ucs.at * * For further information about [fleXive](R), please see the * project website: http://www.flexive.org * * * This copyright notice MUST APPEAR in all copies of the file! ***************************************************************/ import java.text.SimpleDateFormat; import java.util.*; public class Main { /** * Format a timespan given in ms as human readable output * (using hours as the maximum time unit) * * @since 3.1.2 * @param time time in ms * @return human readable time */ public static String formatTimeSpan(long time) { StringBuilder res = new StringBuilder(10); long ms = time % 1000; long s = time / 1000; long min = 0; long hr = 0; if (s > 60) { min = s / 60; s = s - (min * 60); } if (min > 60) { hr = min / 60; min = min - (hr * 60); } if (hr > 0) res.append(hr).append("hr:"); if (min > 0) { if (res.length() > 0 && min < 10) res.append('0'); res.append(min).append("min:"); } if (s > 0) { if (res.length() > 0 && s < 10) res.append('0'); res.append(s).append("s:"); } res.append(ms).append("ms"); return res.toString(); } public static String toString(Date date) { return getDateFormat().format(date); } /** * Returns a basic date format that is readable but not localized. * * @return a basic date format that is readable but not localized. */ public static SimpleDateFormat getDateFormat() { return new SimpleDateFormat("yyyy-MM-dd"); } }