00001
00002
00003
00004
00005
00006
00007
00008
00009
00010 #ifndef MACHINEPROPERTIESDLG_H
00011 #define MACHINEPROPERTIESDLG_H
00012
00013 #include <qvariant.h>
00014 #include <qdialog.h>
00015
00016 class QVBoxLayout;
00017 class QHBoxLayout;
00018 class QGridLayout;
00019 class QButtonGroup;
00020 class QGroupBox;
00021 class QLabel;
00022 class QLineEdit;
00023 class QListBox;
00024 class QListBoxItem;
00025 class QPushButton;
00026 class QRadioButton;
00027 class QSpinBox;
00028
00029 class MachinePropertiesDlg : public QDialog
00030 {
00031 Q_OBJECT
00032
00033 public:
00034 MachinePropertiesDlg( QWidget* parent = 0, const char* name = 0, bool modal = FALSE, WFlags fl = 0 );
00035 ~MachinePropertiesDlg();
00036
00037 QLabel* TextLabel1;
00038 QLineEdit* le_name;
00039 QLabel* TextLabel2_2;
00040 QLineEdit* le_version;
00041 QButtonGroup* ButtonGroup1;
00042 QRadioButton* rb_binary;
00043 QRadioButton* rb_ascii;
00044 QGroupBox* GroupBox1;
00045 QLabel* TextLabel2;
00046 QSpinBox* sb_mooreout;
00047 QLabel* TextLabel5;
00048 QLineEdit* le_mooreout;
00049 QGroupBox* GroupBox2;
00050 QLabel* TextLabel3;
00051 QLabel* TextLabel6;
00052 QLabel* TextLabel4;
00053 QLabel* TextLabel7;
00054 QSpinBox* sb_mealyout;
00055 QLineEdit* le_mealyin;
00056 QLineEdit* le_mealyout;
00057 QSpinBox* sb_mealyin;
00058 QListBox* lbox_arrowtype;
00059 QPushButton* pb_statefont;
00060 QLabel* TextLabel11;
00061 QLabel* lb_statefont;
00062 QPushButton* pb_transfont;
00063 QLabel* lb_transfont;
00064 QPushButton* pb_ok;
00065 QPushButton* pb_cancel;
00066
00067 public slots:
00068 virtual void binaryClicked();
00069 virtual void chooseSFont();
00070 virtual void chooseTFont();
00071 virtual void asciiClicked();
00072
00073 protected:
00074 QVBoxLayout* MachinePropertiesDlgLayout;
00075 QHBoxLayout* Layout8;
00076 QHBoxLayout* Layout5;
00077 QHBoxLayout* ButtonGroup1Layout;
00078 QHBoxLayout* GroupBox1Layout;
00079 QGridLayout* GroupBox2Layout;
00080 QGridLayout* Layout9;
00081 QHBoxLayout* Layout12;
00082
00083 protected slots:
00084 virtual void languageChange();
00085 };
00086
00087 #endif // MACHINEPROPERTIESDLG_H