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