src/jdk.jconsole/share/classes/sun/tools/jconsole/Formatter.java
changeset 47216 71c04702a3d5
parent 25859 3317bb8137f4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/jdk.jconsole/share/classes/sun/tools/jconsole/Formatter.java	Tue Sep 12 19:03:39 2017 +0200
@@ -0,0 +1,272 @@
+/*
+ * Copyright (c) 2004, 2012, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License version 2 only, as
+ * published by the Free Software Foundation.  Oracle designates this
+ * particular file as subject to the "Classpath" exception as provided
+ * by Oracle in the LICENSE file that accompanied this code.
+ *
+ * This code 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
+ * version 2 for more details (a copy is included in the LICENSE file that
+ * accompanied this code).
+ *
+ * You should have received a copy of the GNU General Public License version
+ * 2 along with this work; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
+ *
+ * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
+ * or visit www.oracle.com if you need additional information or have any
+ * questions.
+ */
+
+package sun.tools.jconsole;
+
+import java.text.*;
+import java.util.*;
+
+
+class Formatter {
+    final static long SECOND = 1000;
+    final static long MINUTE = 60 * SECOND;
+    final static long HOUR   = 60 * MINUTE;
+    final static long DAY    = 24 * HOUR;
+
+    final static String cr = System.getProperty("line.separator");
+
+    final static DateFormat timeDF            = new SimpleDateFormat("HH:mm");
+    private final static DateFormat timeWithSecondsDF = new SimpleDateFormat("HH:mm:ss");
+    private final static DateFormat dateDF            = new SimpleDateFormat("yyyy-MM-dd");
+    private final static String decimalZero =
+                                new DecimalFormatSymbols().getDecimalSeparator() + "0";
+
+    static String formatTime(long t) {
+        String str;
+        if (t < 1 * MINUTE) {
+            String seconds = String.format("%.3f", t / (double)SECOND);
+            str = Resources.format(Messages.DURATION_SECONDS, seconds);
+        } else {
+            long remaining = t;
+            long days = remaining / DAY;
+            remaining %= 1 * DAY;
+            long hours = remaining / HOUR;
+            remaining %= 1 * HOUR;
+            long minutes = remaining / MINUTE;
+
+            if (t >= 1 * DAY) {
+                str = Resources.format(Messages.DURATION_DAYS_HOURS_MINUTES,
+                                       days, hours, minutes);
+            } else if (t >= 1 * HOUR) {
+                str = Resources.format(Messages.DURATION_HOURS_MINUTES,
+                                       hours, minutes);
+            } else {
+                str = Resources.format(Messages.DURATION_MINUTES, minutes);
+            }
+        }
+        return str;
+    }
+
+    static String formatNanoTime(long t) {
+        long ms = t / 1000000;
+        return formatTime(ms);
+    }
+
+
+    static String formatClockTime(long time) {
+        return timeDF.format(time);
+    }
+
+    static String formatDate(long time) {
+        return dateDF.format(time);
+    }
+
+    static String formatDateTime(long time) {
+        return dateDF.format(time) + " " + timeWithSecondsDF.format(time);
+    }
+
+    static DateFormat getDateTimeFormat(String dtfStr) {
+        int dateStyle = -1;
+        int timeStyle = -1;
+
+        if (dtfStr.startsWith("SHORT")) {
+            dateStyle = DateFormat.SHORT;
+        } else if (dtfStr.startsWith("MEDIUM")) {
+            dateStyle = DateFormat.MEDIUM;
+        } else if (dtfStr.startsWith("LONG")) {
+            dateStyle = DateFormat.LONG;
+        } else if (dtfStr.startsWith("FULL")) {
+            dateStyle = DateFormat.FULL;
+        }
+
+        if (dtfStr.endsWith("SHORT")) {
+            timeStyle = DateFormat.SHORT;
+        } else if (dtfStr.endsWith("MEDIUM")) {
+            timeStyle = DateFormat.MEDIUM;
+        } else if (dtfStr.endsWith("LONG")) {
+            timeStyle = DateFormat.LONG;
+        } else if (dtfStr.endsWith("FULL")) {
+            timeStyle = DateFormat.FULL;
+        }
+
+        if (dateStyle != -1 && timeStyle != -1) {
+            return DateFormat.getDateTimeInstance(dateStyle, timeStyle);
+        } else if (dtfStr.length() > 0) {
+            return new SimpleDateFormat(dtfStr);
+        } else {
+            return DateFormat.getDateTimeInstance();
+        }
+    }
+
+    static double toExcelTime(long time) {
+        // Excel is bug compatible with Lotus 1-2-3 and pretends
+        // that 1900 was a leap year, so count from 1899-12-30.
+        // Note that the month index is zero-based in Calendar.
+        Calendar cal = new GregorianCalendar(1899, 11, 30);
+
+        // Adjust for the fact that now may be DST but then wasn't
+        Calendar tmpCal = new GregorianCalendar();
+        tmpCal.setTimeInMillis(time);
+        int dst = tmpCal.get(Calendar.DST_OFFSET);
+        if (dst > 0) {
+            cal.set(Calendar.DST_OFFSET, dst);
+        }
+
+        long millisSince1900 = time - cal.getTimeInMillis();
+        double value = (double)millisSince1900 / (24 * 60 * 60 * 1000);
+
+        return value;
+    }
+
+
+
+    static String[] formatKByteStrings(long... bytes) {
+        int n = bytes.length;
+        for (int i = 0; i < n; i++) {
+            if (bytes[i] > 0) {
+                bytes[i] /= 1024;
+            }
+        }
+        String[] strings = formatLongs(bytes);
+        for (int i = 0; i < n; i++) {
+            strings[i] = Resources.format(Messages.KBYTES, strings[i]);
+        }
+        return strings;
+    }
+
+    static String formatKBytes(long bytes) {
+        if (bytes == -1) {
+            return Resources.format(Messages.KBYTES, "-1");
+        }
+
+        long kb = bytes / 1024;
+        return Resources.format(Messages.KBYTES, justify(kb, 10));
+    }
+
+
+    static String formatBytes(long v, boolean html) {
+        return formatBytes(v, v, html);
+    }
+
+    static String formatBytes(long v, long vMax) {
+        return formatBytes(v, vMax, false);
+    }
+
+    static String formatBytes(long v, long vMax, boolean html) {
+        String s;
+
+        int exp = (int)Math.log10((double)vMax);
+
+        if (exp < 3) {
+            s = Resources.format(Messages.SIZE_BYTES, v);
+        } else if (exp < 6) {
+            s = Resources.format(Messages.SIZE_KB, trimDouble(v / Math.pow(10.0, 3)));
+        } else if (exp < 9) {
+            s = Resources.format(Messages.SIZE_MB, trimDouble(v / Math.pow(10.0, 6)));
+        } else {
+            s = Resources.format(Messages.SIZE_GB, trimDouble(v / Math.pow(10.0, 9)));
+        }
+        if (html) {
+            s = s.replace(" ", "&nbsp;");
+        }
+        return s;
+    }
+
+    /*
+     * Return the input value rounded to one decimal place.  If after
+     * rounding the string ends in the (locale-specific) decimal point
+     * followed by a zero then trim that off as well.
+     */
+    private static String trimDouble(double d) {
+        String s = String.format("%.1f", d);
+        if (s.length() > 3 && s.endsWith(decimalZero)) {
+            s = s.substring(0, s.length()-2);
+        }
+        return s;
+    }
+
+    static String formatLong(long value) {
+        return String.format("%,d", value);
+    }
+
+    static String[] formatLongs(long... longs) {
+        int n = longs.length;
+        int size = 0;
+        String[] strings = new String[n];
+        for (int i = 0; i < n; i++) {
+            strings[i] = formatLong(longs[i]);
+            size = Math.max(size, strings[i].length());
+        }
+        for (int i = 0; i < n; i++) {
+            strings[i] = justify(strings[i], size);
+        }
+        return strings;
+    }
+
+
+    // A poor attempt at right-justifying for numerical data
+    static String justify(long value, int size) {
+        return justify(formatLong(value), size);
+    }
+
+    static String justify(String str, int size) {
+        StringBuilder sb = new StringBuilder();
+        sb.append("<TT>");
+        int n = size - str.length();
+        for (int i = 0; i < n; i++) {
+            sb.append("&nbsp;");
+        }
+        sb.append(str);
+        sb.append("</TT>");
+        return sb.toString();
+    }
+
+    static String newRow(String label, String value) {
+        return newRow(label, value, 2);
+    }
+
+    static String newRow(String label, String value, int columnPerRow) {
+        if (label == null) {
+            label = "";
+        } else {
+            label += ":&nbsp;";
+        }
+        label = "<th nowrap align=right valign=top>" + label;
+        value = "<td colspan=" + (columnPerRow-1) + "> <font size =-1>" + value;
+
+        return "<tr>" + label + value + "</tr>";
+    }
+
+    static String newRow(String label1, String value1,
+                         String label2, String value2) {
+        label1 = "<th nowrap align=right valign=top>" + label1 + ":&nbsp;";
+        value1 = "<td><font size =-1>" + value1;
+        label2 = "<th nowrap align=right valign=top>" + label2 + ":&nbsp;";
+        value2 = "<td><font size =-1>" + value2;
+
+        return "<tr>" + label1 + value1 + label2 + value2 + "</tr>";
+    }
+
+}