tools/Input/SnarkInput.h

   1 /** @file SnarkInput.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 SNARKINPUT_H
   9 #define SNARKINPUT_H
  10
  11 #include <stdio.h>
  12 #include <stdlib.h>
  13 #include <unistd.h>
  14 #include <qapplication.h>
  15 #include <qwidget.h>
  16 #include <qmainwindow.h>
  17 #include <qmultilineedit.h>
  18 #include <qmenubar.h>
  19 #include <qpopupmenu.h>
  20 #include <qtoolbar.h>
  21 #include <qpushbutton.h>
  22 #include <qtoolbutton.h>
  23 #include <qiconset.h>
  24 #include <qpixmap.h>
  25 #include <qlayout.h>
  26 #include <qlabel.h>
  27 #include <qtooltip.h>
  28 #include <qmessagebox.h>
  29 #include <qfiledialog.h>
  30 #include <qstringlist.h>
  31 #include <qbuttongroup.h>
  32 #include <qradiobutton.h>
  33
  34 class SnarkInput : public QMainWindow {
  35
  36   Q_OBJECT;
  37
  38 public:
  39   SnarkInput(QWidget *parent=0, const char *name=0, WFlags f=0);
  40   FILE *inputfile;
  41   QString inputfilename;
  42   QString outputfilename;
  43   QPopupMenu* filemenu;
  44   QPopupMenu* commandsmenu;
  45   QPopupMenu* runsnarkmenu;
  46   QPopupMenu* helpmenu;
  47   QMultiLineEdit* currentinput;
  48   QButtonGroup* insertbuttongroup;
  49   QRadioButton* int1button;
  50   QRadioButton* int2button;
  51 private slots:
  52   void setInsertType(int);
  53   void openFile();
  54   void newInputFile();
  55   void saveFile();
  56   void saveFileAs();
  57   void runSnark();
  58   //  void help();
  59   //  void SNARKManual();
  60   void about();
  61   void callComment();
  62   void callTrace();
  63   void callMode();
  64   void callCreate();
  65   void callPicture();
  66   void callProjection();
  67   void callSelect();
  68   void callBasis();
  69   void callStop();
  70   void callSuper();
  71   void callExecute();
  72   void callEvaluate();
  73   void callDisplay();
  74   void callPunch();
  75   void callLines();
  76   void callSkunk();
  77   void addEnd();
  78 };
  79 #endif  // SNARKINPUT_H