void kpok::adjustBet()
{
emit clearStatusBar();
betChange(currentMustBet - findHumanPlayer()->getCurrentBet());
paintCash();
}
void MainWindow::exportBitmap()
{
QString filter = "Images (";
QList<QByteArray> formats = QImageWriter::supportedImageFormats();
for(QList<QByteArray>::iterator i = formats.begin(); i != formats.end(); i++)
{
if(i != formats.begin())
{
filter += " ";
}
filter += "*." + *i;
}
filter += ")";
QString filename = m_fileDialog.getSaveFileName("Save picture", filter);
if (filename.isNull())
{
return;
}
SavePictureDialog dialog(this, m_ltsCanvas, filename);
connect(&dialog, SIGNAL(statusMessage(QString)), this, SLOT(setStatusBar(QString)));
dialog.exec();
clearStatusBar();
}
MainWindow::MainWindow( QWidget * parent )
: QMainWindow( parent )
{
/* Setup counter */
mCounterLabel = new QLabel("", statusBar());
mCounterLabel->setAlignment( Qt::AlignCenter );
mCounterLabel->setMinimumWidth(350);
mCounterLabel->setMaximumHeight(20);
statusBar()->addPermanentWidget( mCounterLabel, 0 );
/* Set up MainWindow stuff */
setWindowTitle("Snafu - Version " + VERSION + ", build " + SVN_REVSTR);
mSW = new SnafuWidget( this );
mSW->show();
setCentralWidget( mSW );
connect(mSW, SIGNAL(showStatusBarMessage(const QString &)), statusBar(), SLOT(showMessage( const QString & )));
connect(mSW, SIGNAL(clearStatusBar()), statusBar(), SLOT(clearMessage()));
HostToolBar = new QToolBar( this );
HostToolBar->setIconSize(QSize(24,24));
addToolBar(HostToolBar);
HostToolBar->addAction( mSW->findHostAct );
HostToolBar->addAction( mSW->refreshAct );
IniConfig & config = ::userConfig();
config.pushSection("SW_Display_Prefs" );
}
bool StatusTip::qt_emit( int _id, QUObject* _o )
{
switch ( _id - staticMetaObject()->signalOffset() ) {
case 0: clearStatusBar(); break;
default:
return QLabel::qt_emit(_id,_o);
}
return TRUE;
}
bool ViewManager::qt_invoke( int _id, QUObject* _o )
{
switch ( _id - staticMetaObject()->slotOffset() ) {
case 0: clearErrorMarker(); break;
case 1: cursorPositionChanged((int)static_QUType_int.get(_o+1),(int)static_QUType_int.get(_o+2)); break;
case 2: showMessage((const QString&)static_QUType_QString.get(_o+1)); break;
case 3: clearStatusBar(); break;
default:
return QWidget::qt_invoke( _id, _o );
}
return TRUE;
}
void kpok::out()
{
// weWillAdjustLabel->hide();
emit clearStatusBar();
m_game.bet(oldBet_raise - findHumanPlayer()->getCurrentBet());
findHumanPlayer()->changeBet(oldBet_raise
- findHumanPlayer()->getCurrentBet());
paintCash();
// Go to next state immediately. (Previously we told the user to
// click the action button.)
drawClick();
//drawButton->setText(i18n("&End Round"));
}
void MainWindow::exportVector()
{
QString all = "All supported files (*.ps *.eps *.pdf *.svg)";
QString ps = "PostScript (*.ps)";
QString eps = "Encapsulated PostScript (*.eps)";
QString pdf = "Portable Document Format (*.pdf)";
QString svg = "Scalable Vector Graphics (*.svg)";
QString filter = all + ";;" + ps + ";;" + eps + ";;" + pdf + ";;" + svg;
QString selectedFilter = all;
QString filename = m_fileDialog.getSaveFileName("Save vector", filter, &selectedFilter);
if (filename.isNull())
{
return;
}
GLint format;
if (selectedFilter == ps || (selectedFilter == all && filename.right(3).toLower() == ".ps"))
{
format = GL2PS_PS;
}
else if (selectedFilter == eps || (selectedFilter == all && filename.right(4).toLower() == ".eps"))
{
format = GL2PS_EPS;
}
else if (selectedFilter == pdf || (selectedFilter == all && filename.right(4).toLower() == ".pdf"))
{
format = GL2PS_PDF;
}
else if (selectedFilter == svg || (selectedFilter == all && filename.right(4).toLower() == ".svg"))
{
format = GL2PS_SVG;
}
else
{
QMessageBox::critical(this, "Error writing file", "Saving picture failed: unsupported file format.");
return;
}
SaveVectorDialog dialog(this, m_ltsCanvas, filename, format);
connect(&dialog, SIGNAL(statusMessage(QString)), this, SLOT(setStatusBar(QString)));
dialog.exec();
clearStatusBar();
}
DocumentWidget::DocumentWidget(QWidget *parent, PageView *sv, DocumentPageCache *cache, const char *name )
: QWidget( parent, name ), indexOfUnderlinedLink(-1)
{
moveTool = true;
selectionNeedsUpdating = false;
// Variables used in animation.
animationCounter = 0;
timerIdent = 0;
documentCache = cache;
scrollView = sv;
pixmapRequested = false;
scrollGuide = -1;
setMouseTracking(true);
setFocusPolicy(QWidget::ClickFocus);
connect(&clearStatusBarTimer, SIGNAL(timeout()), this, SLOT(clearStatusBar()));
setBackgroundMode(Qt::NoBackground);
if (!busyIcon)
{
busyIcon = new QPixmap(KGlobal::iconLoader()->loadIcon("gear", KIcon::NoGroup, KIcon::SizeMedium));
URShadow = new QPixmap();
BRShadow = new QPixmap();
BLShadow = new QPixmap();
URShadow->resize(4,4);
BRShadow->resize(4,4);
BLShadow->resize(4,4);
}
}
void kpok::bet()
{
// The players will bet, now. Player 1 (the human one ;-)) has
// already bet using the betBox ALL players (except player 1 who has
// already had) will get a chance to raise the value if nobody
// raises further that player will not get another chance, else he
// will.
bool raised = false;
int oldMustBet = 0;
if (m_game.getState() == StateBet2)
oldMustBet = currentMustBet;
if (m_game.getState() == StateBet1 || m_game.getState() == StateBet2) {
// The betting has just begun. This can be either the first or
// the second betting phase (state == StateBet1 or StateBet2).
// FIXME: These state names must be changed!
// Find out how much the other players must bet.
currentMustBet = findHumanPlayer()->getCurrentBet();
// First bet as usual.
for (int i = 0; i < m_game.getNumActivePlayers(); i++) {
PokerPlayer *player = m_game.getActivePlayer(i);
int playerBet = 0;
if (player->getHuman())
continue;
if (m_game.getState() == StateBet1) // first bet phase
playerBet = player->bet(currentMustBet);
else if (m_game.getState() == StateBet2) // 2nd bet phase
playerBet = player->raise(currentMustBet);
if (playerBet < currentMustBet) {
removePlayerFromRound(player);
// FIXME: This should be bet from the beginning!
if (m_game.getState() == StateBet1)
m_game.bet(m_game.getMinBet());
i--;
}
else {
// The player is seeing or has raised.
if (playerBet > currentMustBet)
raised = true;
currentMustBet = playerBet;
m_game.bet(currentMustBet - oldMustBet);
}
}
}
else if (m_game.getState() == StateRaise1
|| m_game.getState() == StateRaise2) {
// The bet has been raised.
paintCash();
for (int i = 0; i < m_game.getNumActivePlayers(); i++) {
PokerPlayer *player = m_game.getActivePlayer(i);
// human player
if (player->getCurrentBet() < currentMustBet && player->getHuman()) {
removePlayerFromRound(player);
i--;
}
}
}
paintCash();
oldBet_raise = findHumanPlayer()->getCurrentBet(); // used by out() only
if (m_game.getState() == StateBet1 || m_game.getState() == StateBet2) {
if (raised) {
if (m_game.getState() == StateBet1)
m_game.setState(StateRaise1);
else
m_game.setState(StateRaise2);
if (adjust)
adjustBet();
else
out(); // not necessary
betBox->setEnabled(true);
betBox->beginRaise();
if (adjust)
emit statusBarMessage(i18n("Clicking on draw means you adjust your bet"));
else
emit statusBarMessage(i18n("Clicking on draw means you are out"));
}
else {
if (m_game.getState() == StateBet1)
m_game.setState(StateExchangeCards);
else
m_game.setState(StateSee);
}
}
else if (m_game.getState() == StateRaise1 && !raised) {
emit clearStatusBar();
// weWillAdjustLabel->hide();
betBox->stopRaise();
m_game.setState(StateExchangeCards);
}
else if (m_game.getState() == StateRaise2 && !raised) {
emit clearStatusBar();
// weWillAdjustLabel->hide();
betBox->stopRaise();
m_game.setState(StateSee);
}
// Check if player 1 is out -> for players > 2
// TODO: maybe if (!m_activePlayers.contains(humanPlayer))
// {exchangeCards(); bet(); displayerWinner_computer();return;}
// don't continue game if player 1 is alone
// TODO: port to players > 2
// this is ONLY working for players <= 2
if (m_game.getNumInactivePlayers() >= 1
&& m_game.getNumActivePlayers() == 1)
displayWinner_Computer(m_game.getActivePlayer(0), true);
}
MainWindow::MainWindow(QThread *atermThread):
m_fileDialog("", this)
{
m_ui.setupUi(this);
m_ltsManager = new LtsManager(this, &m_settings, atermThread);
m_markManager = new MarkManager(this, m_ltsManager);
m_infoDock = new InfoDock(this, m_ltsManager, m_markManager);
m_markDock = new MarkDock(this, m_markManager);
m_simDock = new SimDock(this, m_ltsManager);
m_settingsDock = new SettingsDock(this, &m_settings);
m_settingsDialog = new SettingsDialog(this, &m_settings);
m_ltsCanvas = new LtsCanvas(this, &m_settings, m_ltsManager, m_markManager);
setCentralWidget(m_ltsCanvas);
m_progressDialog = new QProgressDialog("", QString(), 0, 6, this);
m_progressDialog->setMinimumDuration(0);
m_ui.informationDock->setWidget(m_infoDock);
m_ui.simulationDock->setWidget(m_simDock);
m_ui.markDock->setWidget(m_markDock);
m_ui.settingsDock->setWidget(m_settingsDock);
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.informationDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.simulationDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.markDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.settingsDock->toggleViewAction());
m_ui.viewMenu->insertSeparator(m_ui.preferences);
mcrl2::log::logger::register_output_policy(m_logRelay);
connect(&m_logRelay, SIGNAL(logMessage(QString, QString, QDateTime, QString)), this, SLOT(logMessage(QString, QString, QDateTime, QString)));
connect(m_ui.open, SIGNAL(triggered()), this, SLOT(open()));
connect(m_ui.openTrace, SIGNAL(triggered()), this, SLOT(openTrace()));
connect(m_ui.exportBitmap, SIGNAL(triggered()), this, SLOT(exportBitmap()));
connect(m_ui.exportText, SIGNAL(triggered()), this, SLOT(exportText()));
connect(m_ui.exportVector, SIGNAL(triggered()), this, SLOT(exportVector()));
connect(m_ui.exit, SIGNAL(triggered()), QApplication::instance(), SLOT(quit()));
connect(m_ui.resetViewpoint, SIGNAL(triggered()), m_ltsCanvas, SLOT(resetView()));
connect(m_ui.zoomIntoAbove, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInAbove()));
connect(m_ui.zoomIntoBelow, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInBelow()));
connect(m_ui.zoomOut, SIGNAL(triggered()), m_ltsManager, SLOT(zoomOut()));
connect(m_ui.displayStates, SIGNAL(triggered(bool)), &m_settings.displayStates, SLOT(setValue(bool)));
connect(&m_settings.displayStates, SIGNAL(changed(bool)), m_ui.displayStates, SLOT(setChecked(bool)));
connect(m_ui.displayTransitions, SIGNAL(triggered(bool)), &m_settings.displayTransitions, SLOT(setValue(bool)));
connect(&m_settings.displayTransitions, SIGNAL(changed(bool)), m_ui.displayTransitions, SLOT(setChecked(bool)));
connect(m_ui.displayBackpointers, SIGNAL(triggered(bool)), &m_settings.displayBackpointers, SLOT(setValue(bool)));
connect(&m_settings.displayBackpointers, SIGNAL(changed(bool)), m_ui.displayBackpointers, SLOT(setChecked(bool)));
connect(m_ui.displayWireframe, SIGNAL(triggered(bool)), &m_settings.displayWireframe, SLOT(setValue(bool)));
connect(&m_settings.displayWireframe, SIGNAL(changed(bool)), m_ui.displayWireframe, SLOT(setChecked(bool)));
connect(m_ui.preferences, SIGNAL(triggered()), m_settingsDialog, SLOT(show()));
connect(m_ltsManager, SIGNAL(loadingLts()), this, SLOT(loadingLts()));
connect(m_ltsManager, SIGNAL(rankingStates()), this, SLOT(rankingStates()));
connect(m_ltsManager, SIGNAL(clusteringStates()), this, SLOT(clusteringStates()));
connect(m_ltsManager, SIGNAL(computingClusterInfo()), this, SLOT(computingClusterInfo()));
connect(m_ltsManager, SIGNAL(positioningClusters()), this, SLOT(positioningClusters()));
connect(m_ltsManager, SIGNAL(positioningStates()), this, SLOT(positioningStates()));
connect(m_ltsManager, SIGNAL(ltsStructured()), this, SLOT(hideProgressDialog()));
connect(m_ltsManager, SIGNAL(errorLoadingLts()), this, SLOT(hideProgressDialog()));
connect(m_ltsManager, SIGNAL(startStructuring()), this, SLOT(startStructuring()));
connect(m_ltsManager, SIGNAL(stopStructuring()), this, SLOT(stopStructuring()));
connect(m_ltsManager, SIGNAL(selectionChanged()), this, SLOT(selectionChanged()));
connect(m_ltsManager, SIGNAL(ltsZoomed(LTS *)), this, SLOT(zoomChanged()));
m_ui.zoomIntoAbove->setEnabled(false);
m_ui.zoomIntoBelow->setEnabled(false);
m_ui.zoomOut->setEnabled(false);
connect(m_ltsCanvas, SIGNAL(renderingStarted()), this, SLOT(startRendering()));
connect(m_ltsCanvas, SIGNAL(renderingFinished()), this, SLOT(clearStatusBar()));
QSettings settings("mCRL2", "LTSView");
restoreGeometry(settings.value("geometry").toByteArray());
restoreState(settings.value("windowState").toByteArray());
}
