| /* |
| |
| 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 <a href="mailto:vhardy@apache.org">Vincent Hardy</a> |
| * @version $Id$ |
| */ |
| 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 (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 Error( e.getMessage() ); |
| } |
| } |
| } |
| |
| |