Main Page   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

ICheckDlgImpl.h

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 ICHECKDLGIMPL_H
00020 #define ICHECKDLGIMPL_H
00021 
00022 #include <qlabel.h>
00023 #include "ICheckDlg.h"
00024 
00029 class ICheckDlgImpl : public ICheckDlg
00030 { 
00031     Q_OBJECT
00032 
00033 public:
00034     ICheckDlgImpl( QWidget* parent = 0, const char* name = 0, bool modal = FALSE, WFlags fl = 0 );
00035     ~ICheckDlgImpl();
00036 
00037     void setUnambiguous(bool );
00038     void setStart(bool );
00039     void setEnd(bool );
00040     void setNoDeadLocks(bool );
00042     void setComplete(QString s ) { lb_completeness_val->setText(s); };
00044     void setStatesReachable(QString s) { lb_statesreachable_val->setText(s); };
00046     void setEndStatesReachable(QString s) { lb_endstatesreachable_val->setText(s); };
00048     void setTransConnected(QString s) { lb_transconnected_val->setText(s); };
00049 
00050 private:
00052     QPixmap* pm_tick;
00054     QPixmap* pm_cross;
00055 };
00056 
00057 #endif // ICHECKDLGIMPL_H

Generated at Fri Apr 11 22:37:13 2003 for Qfsm by doxygen1.2.9.1 written by Dimitri van Heesch, © 1997-2001