/** * Utility function: used in RealType to convert a real to a string. * Removes the decimal if null. */ public static String realToString(double d) { final double m = Math.abs(d); if ((m >= lowerBounds) && (m < upperBounds)) { final String result = Double.toString(d); final int length = result.length(); // Remove leading zeros. if ((result.charAt(length-2) == '.') && (result.charAt(length-1) == '0')) return result.substring(0, length-2); else return result; } else { if (Double.isNaN(d) || Double.isInfinite(d)) return(Double.toString(d)); return formatNumber(d, defaultPattern, defaultFormatter); } }
/** * Utility function: used in RealType to convert a real to a string. * Removes the decimal if null. */ public static String realToString(double d) { final double m = Math.abs(d); if ((m >= lowerBounds) && (m < upperBounds)) { final String result = Double.toString(d); final int length = result.length(); // Remove leading zeros. if ((result.charAt(length-2) == '.') && (result.charAt(length-1) == '0')) return result.substring(0, length-2); else return result; } else { if (Double.isNaN(d) || Double.isInfinite(d)) return(Double.toString(d)); return formatNumber(d, defaultPattern, defaultFormatter); } }
/** * Utility function: used in RealType to convert a real to a string. * Removes the decimal if null. */ public static String realToString(double d) { final double m = Math.abs(d); if ((m >= lowerBounds) && (m < upperBounds)) { final String result = Double.toString(d); final int length = result.length(); // Remove leading zeros. if ((result.charAt(length-2) == '.') && (result.charAt(length-1) == '0')) return result.substring(0, length-2); else return result; } else { if (Double.isNaN(d) || Double.isInfinite(d)) return(Double.toString(d)); return formatNumber(d, defaultPattern, defaultFormatter); } }
/** * Utility function: used in RealType to convert a real to a string. * Removes the decimal if null. */ public static String realToString(double d) { final double m = Math.abs(d); if ((m >= lowerBounds) && (m < upperBounds)) { final String result = Double.toString(d); final int length = result.length(); // Remove leading zeros. if ((result.charAt(length-2) == '.') && (result.charAt(length-1) == '0')) return result.substring(0, length-2); else return result; } else { if (Double.isNaN(d) || Double.isInfinite(d)) return(Double.toString(d)); return formatNumber(d, defaultPattern, defaultFormatter); } }