/*
 * ScanDouble.java
 *
 * Created on 23 febbraio 2004, 23.01
 */
package Animali;
/**
 *
 * @author  stfn
 */
public class ScanDouble extends ScanKey {
    
    /** Creates a new instance of ScanDouble */
    public ScanDouble() {
    }
    protected void AppendKey(char rdchar){
        if(
        (
            (rdchar>='0') &&
            (rdchar<='9')
        ) ||
        (
            (rdchar=='.')&&
            (result.indexOf('.')==-1)
        )
        ){
            result = result + rdchar;
        }
    }
    
}