DoubleDocument.java Source code

Introduction

Here is the source code for DoubleDocument.java

Source

/*
    
   Licensed to the Apache Software Foundation (ASF) under one or more
   contributor license agreements.  See the NOTICE file distributed with
   this work for additional information regarding copyright ownership.
   The ASF licenses this file to You under the Apache License, Version 2.0
   (the "License"); you may not use this file except in compliance with
   the License.  You may obtain a copy of the License at
    
   http://www.apache.org/licenses/LICENSE-2.0
    
   Unless required by applicable law or agreed to in writing, software
   distributed under the License is distributed on an "AS IS" BASIS,
   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
   See the License for the specific language governing permissions and
   limitations under the License.
    
 */

import javax.swing.text.AttributeSet;
import javax.swing.text.BadLocationException;
import javax.swing.text.PlainDocument;

/**
 * Helper class. Only allows an Double value in the document.
 *
 * @author <a href="mailto:vhardy@apache.org">Vincent Hardy</a>
 * @version $Id: DoubleDocument.java 504084 2007-02-06 11:24:46Z dvholten $
 */
public class DoubleDocument extends PlainDocument {

    /**
     * Strip all non digit characters.  The first character must be '-' or '+'.
     * Only one '.' is allowed.
     */
    public void insertString(int offs, String str, AttributeSet a) throws BadLocationException {

        if (str == null) {
            return;
        }

        // Get current value
        String curVal = getText(0, getLength());
        boolean hasDot = curVal.indexOf('.') != -1;

        // Strip non digit characters
        char[] buffer = str.toCharArray();
        char[] digit = new char[buffer.length];
        int j = 0;

        if (offs == 0 && buffer != null && buffer.length > 0 && buffer[0] == '-')
            digit[j++] = buffer[0];

        for (int i = 0; i < buffer.length; i++) {
            if (Character.isDigit(buffer[i]))
                digit[j++] = buffer[i];
            if (!hasDot && buffer[i] == '.') {
                digit[j++] = '.';
                hasDot = true;
            }
        }

        // Now, test that new value is within range.
        String added = new String(digit, 0, j);
        try {
            StringBuffer val = new StringBuffer(curVal);
            val.insert(offs, added);
            String valStr = val.toString();
            if (valStr.equals(".") || valStr.equals("-") || valStr.equals("-."))
                super.insertString(offs, added, a);
            else {
                Double.valueOf(valStr);
                super.insertString(offs, added, a);
            }
        } catch (NumberFormatException e) {
            // Ignore insertion, as it results in an out of range value
        }
    }

    public void setValue(double d) {
        try {
            remove(0, getLength());
            insertString(0, String.valueOf(d), null);
        } catch (BadLocationException e) {
            // Will not happen because we are sure
            // we use the proper range
        }
    }

    public double getValue() {
        try {
            String t = getText(0, getLength());
            if (t != null && t.length() > 0) {
                return Double.parseDouble(t);
            } else {
                return 0;
            }
        } catch (BadLocationException e) {
            // Will not happen because we are sure
            // we use the proper range
            throw new Error(e.getMessage());
        }
    }
}