00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
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