00001 /* 00002 Copyright (C) 2000,2001 Stefan Duffner 00003 00004 This program is free software; you can redistribute it and/or 00005 modify it under the terms of the GNU General Public License 00006 as published by the Free Software Foundation; either version 2 00007 of the License, or any later version. 00008 00009 This program is distributed in the hope that it will be useful, 00010 but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00012 GNU General Public License for more details. 00013 00014 You should have received a copy of the GNU General Public License 00015 along with this program; if not, write to the Free Software 00016 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 00017 */ 00018 00019 #ifndef STATEMANAGER_H 00020 #define STATEMANAGER_H 00021 00022 #include <qobject.h> 00023 #include <qstring.h> 00024 #include "GState.h" 00025 00026 //class DStateProperties; 00027 class StatePropertiesDlgImpl; 00028 class MainWindow; 00029 class Machine; 00030 00031 00036 class StateManager : public QObject 00037 { 00038 Q_OBJECT 00039 public: 00040 StateManager(MainWindow* ); 00041 00042 bool addState(double , double ); 00043 void setInitialState(Machine* , GState* ); 00044 void setEndStates(Machine* , const QList<GState>& sl); 00045 void editState(GState*); 00046 QString getNewName(); 00047 QString getNewBinCode(); 00048 int getNewCode(); 00049 00050 private: 00052 MainWindow* main; 00054 StatePropertiesDlgImpl* state_props; 00055 00056 }; 00057 00058 00059 00060 00061 00062 #endif