00001 #ifndef DoubleParameter_h_seen
00002 #define DoubleParameter_h_seen
00003
00004
00005
00006
00007
00010 class DoubleParameter : public virtual BaseParameter {
00011
00012 public:
00013 double low;
00014 double high;
00015 double Default;
00016 char *help;
00017 char *prompt;
00018 double value;
00019
00020 DoubleParameter(char *name_, char *help_, char *prompt_, double Default_, double low_, double high_) ;
00021
00022 ~DoubleParameter();
00023
00024 int setValue(char *val);
00025
00026 virtual char *toString() ;
00027 virtual char *toString(char *infix);
00028
00029 char *getName() { return name; }
00030
00031 char *getValueString();
00032 };
00033 #endif // DoubleParameter_h_seen