/* File: DefaultDatumFormatter.java * Copyright (C) 2002-2003 The University of Iowa * * Created on October 1, 2003, 4:45 PM * by Edward West * * This file is part of the das2 library. * * das2 is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. * * This program 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. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ package org.das2.datum.format; import java.text.DecimalFormat; import java.text.NumberFormat; import java.text.ParseException; import java.util.IllegalFormatException; import org.das2.datum.Datum; import org.das2.datum.DatumRange; import org.das2.datum.DatumVector; import org.das2.datum.Units; /** Formats Datum objects for printing and parses strings to Datum objects. * * @author Edward West */ public class DefaultDatumFormatter extends DatumFormatter { private String formatString; private NumberFormat format; /** * if non-null, use this. */ private String stringFormat; /** * indicates the value must be cast to an integer */ private boolean isInteger=false; /** Available for use by subclasses */ protected DefaultDatumFormatter() { } /** * create a formatter * @param formatString, passed to DecimalFormat's applyPattern, also supporting %d, %.2f, and %.2e * @throws ParseException * @see java.text.DecimalFormat#applyPattern(java.lang.String) */ public DefaultDatumFormatter(String formatString) throws ParseException { if (formatString.equals("")) { this.formatString = ""; format = null; stringFormat= null; } else { this.formatString = formatString; format = NumberFormatUtil.getDecimalFormat(formatString); if ( formatString.startsWith("%") && ( formatString.endsWith("e") || formatString.endsWith("f") ) ) { this.stringFormat= formatString; } else if ( formatString.startsWith("%") || formatString.endsWith("d") || formatString.endsWith("x") || formatString.endsWith("X") ) { this.stringFormat= formatString; this.isInteger= true; } else { this.stringFormat= null; } } } @Override public String format(Datum datum) { if ( datum.isFill() ) { return "fill"; } else { return format(datum, datum.getUnits()) + " " + datum.getUnits(); } } @Override public String format(Datum datum, Units units) { double d = datum.doubleValue(units); if (Double.isInfinite(d) || Double.isNaN(d)) { return "" + d; } String result; if ( stringFormat!=null ) { try { if ( isInteger ) { result= String.format( stringFormat, (int)d ); } else { result= String.format( stringFormat, d ); } } catch ( IllegalFormatException ex ) { return datum.toString(); } } else if (format == null) { double resolution = datum.getResolution(units.getOffsetUnits()); result = formatLimitedResolution(d, resolution); } else { result = format.format(datum.doubleValue(units)); } return result; } @Override public String grannyFormat(Datum datum, Units units) { String formt = format(datum, units); if (formt.contains("E")) { int iE = formt.indexOf("E"); StringBuilder granny = new StringBuilder(formt.length() + 4); String mant = formt.substring(0, iE); if (Double.parseDouble(mant) != 1.0) { granny.append(mant).append("\u00d7"); } granny.append("10").append("!A").append(formt.substring(iE + 1)).append("!N"); formt = granny.toString(); } return formt; } @Override public String[] axisFormat(DatumVector datums, DatumRange context ) { Units units= context.getUnits(); String[] result = new String[datums.getLength()]; for (int i = 0; i < result.length; i++) { result[i] = format(datums.get(i), units); } boolean hasMant = false; for (String res1 : result) { if (res1.contains("E")) { int iE = res1.indexOf("E"); String mant = res1.substring(0, iE); if (Double.parseDouble(mant) != 1.0) { hasMant = true; } } } for (int i = 0; i < result.length; i++) { String res1 = result[i]; if (res1.contains("E")) { int iE = res1.indexOf("E"); StringBuilder granny = new StringBuilder(res1.length() + 4); String mant = res1.substring(0, iE); if (hasMant) { granny.append(mant).append("\u00d7"); } granny.append("10").append("!A").append(res1.substring(iE + 1)).append("!N"); result[i] = granny.toString(); } } return result; } @Override public String grannyFormat(Datum datum) { return grannyFormat(datum, datum.getUnits()) + " " + datum.getUnits(); } @Override public String toString() { return formatString; } private String formatLimitedResolution(double d, double resolution) { String result; if (resolution == 0. && Double.toString(d).length() > 7) { // make the default resolution be 0.01%. resolution = d / 10000; } if (resolution > 0) { // 28 --> scale = -1 // 2.8 --> scale = 0 int scale = (int) Math.ceil(-1 * Math.log10(resolution) - 0.00001); int exp; if (d != 0.) { exp = (int) Math.log10(Math.abs(d)); } else { exp = 0; } if (scale >= 0) { DecimalFormat f; if (exp <= -5 || exp >= 5) { f = NumberFormatUtil.getDecimalFormat("0E0"); f.setMinimumFractionDigits(scale + exp - 1); f.setMaximumFractionDigits(scale + exp - 1); } else { f = NumberFormatUtil.getDecimalFormat("0"); f.setMinimumFractionDigits(scale); f.setMaximumFractionDigits(scale); } result = f.format(d); } else { double round = Math.pow( 10, -1*scale); d = Math.round(d / round) * round; DecimalFormat f; if (exp <= -5 || exp >= 5) { f = NumberFormatUtil.getDecimalFormat("0E0"); f.setMinimumFractionDigits(scale + exp + 1); f.setMaximumFractionDigits(scale + exp + 1); } else { f = NumberFormatUtil.getDecimalFormat("0"); } result = f.format(d); } } else { result = Double.toString(d); } return result; } }