/*

   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.

 */
package org.apache.batik.ext.swing;

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:Vincent Hardy
Version:$Id: DoubleDocument.java 1808888 2017-09-19 14:22:11Z ssteiner $
/** * Helper class. Only allows an Double value in the document. * * @author <a href="mailto:vhardy@apache.org">Vincent Hardy</a> * @version $Id: DoubleDocument.java 1808888 2017-09-19 14:22:11Z ssteiner $ */
public class DoubleDocument extends PlainDocument {
Strip all non digit characters. The first character must be '-' or '+'. Only one '.' is allowed.
/** * 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 (char aBuffer : buffer) { if (Character.isDigit(aBuffer)) digit[j++] = aBuffer; if (!hasDot && aBuffer == '.') { 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 RuntimeException( e.getMessage() ); } } }