tools/Input/stop.h

   1 /** @file stop.h
   2     @package snark14Input
   3     @author Bruno M. Carvalho and Deniz Sarioz
   4     licensed under (open-source) QPL v1.0
   5     which accompanies this distribution in the file QPL
   6 */
   7
   8 #ifndef STOPWINDOW_H
   9 #define STOPWINDOW_H
  10
  11 #include <qvariant.h>
  12 #include <qdialog.h>
  13 #include <qcheckbox.h>
  14 class QVBoxLayout;
  15 class QHBoxLayout;
  16 class QGridLayout;
  17 class QButtonGroup;
  18 class QFrame;
  19 class QLabel;
  20 class QLineEdit;
  21 class QComboBox;
  22 class QPushButton;
  23 class QRadioButton;
  24
  25 class stopwindow : public QDialog
  26 {
  27     Q_OBJECT
  28
  29 public:
  30     stopwindow( QWidget* parent = 0, const char* name = 0, bool modal = FALSE, WFlags fl = 0 );
  31     ~stopwindow();
  32     QString getOutput();
  33
  34     QLabel* stoplabel;
  35     QButtonGroup* stopbuttongroup;
  36     QRadioButton* iterationbutton;
  37     QRadioButton* terminationbutton;
  38     QRadioButton* nonebutton;
  39     QCheckBox* rprtcb;
  40     QLineEdit* iter;
  41     QLabel* iterlabel;
  42     QComboBox* testname;
  43     QLabel* testnamelabel;
  44     QLineEdit* epsilon;
  45     QLineEdit* skips;
  46     QLabel* skipslabel;
  47     QLabel* epsilonlabel;
  48     QFrame* Line17;
  49     QPushButton* okbutton;
  50     QPushButton* cancelbutton;
  51 private slots:
  52       //void activateFields();
  53     void activateIterationFields();
  54     void activateTerminationFields();
  55     void deactivateFields();
  56     void checkValues();
  57     void setEpsilon();
  58     void setSkips();
  59 };
  60
  61 #endif // STOPWINDOW_H