void TaintedFlowAnalysisTransfer::transferTaint(TaintedFlowLattice *arg1Lat, TaintedFlowLattice *arg2Lat, TaintedFlowLattice *resLat ) { if (arg1Lat->getLevel() == TaintedFlowLattice::bottom || arg2Lat->getLevel() == TaintedFlowLattice::bottom) { updateModified(resLat->setLevel(TaintedFlowLattice::bottom)); } else { // Both knownValue if(arg1Lat->getLevel() == TaintedFlowLattice::taintedValue && arg2Lat->getLevel() == TaintedFlowLattice::taintedValue) { updateModified(resLat->setLevel(TaintedFlowLattice::taintedValue)); } else { if(arg1Lat->getLevel() == TaintedFlowLattice::untaintedValue && arg2Lat->getLevel() == TaintedFlowLattice::untaintedValue) { updateModified(resLat->setLevel(TaintedFlowLattice::untaintedValue)); } else { // Else => Top (mixture of tainted and untained along different paths) updateModified(resLat->setLevel(TaintedFlowLattice::top)); } } } }
void KShortcutsEditorItem::undo() { #ifndef NDEBUG #if 0 if (m_oldLocalShortcut || m_oldGlobalShortcut || m_oldShapeGesture || m_oldRockerGesture) { //qDebug() << "Undoing changes for " << data(Name, Qt::DisplayRole).toString(); } #endif #endif if (m_oldLocalShortcut) { // We only ever reset the active Shortcut m_action->setShortcuts(*m_oldLocalShortcut); } #if HAVE_GLOBALACCEL if (m_oldGlobalShortcut) { KGlobalAccel::self()->setShortcut(m_action, *m_oldGlobalShortcut, KGlobalAccel::NoAutoloading); } #endif #if 0 if (m_oldShapeGesture) { KGestureMap::self()->setShapeGesture(m_action, *m_oldShapeGesture); KGestureMap::self()->setDefaultShapeGesture(m_action, *m_oldShapeGesture); } if (m_oldRockerGesture) { KGestureMap::self()->setRockerGesture(m_action, *m_oldRockerGesture); KGestureMap::self()->setDefaultRockerGesture(m_action, *m_oldRockerGesture); } #endif updateModified(); }
void KShortcutsEditorItem::setRockerGesture(const KRockerGesture &gst) { if (!m_oldRockerGesture) { m_oldRockerGesture = new KRockerGesture(gst); } KGestureMap::self()->setRockerGesture(m_action, gst); KGestureMap::self()->setDefaultRockerGesture(m_action, gst); updateModified(); }
//! transfer the % operation void ConstantPropagationAnalysisTransfer::transferMod(ConstantPropagationLattice *arg1Lat, ConstantPropagationLattice *arg2Lat, ConstantPropagationLattice *resLat) { if (arg1Lat->getLevel() == ConstantPropagationLattice::bottom || arg2Lat->getLevel() == ConstantPropagationLattice::bottom) { updateModified(resLat->setLevel(ConstantPropagationLattice::bottom)); } else { // Both knownValue if(arg1Lat->getLevel() == ConstantPropagationLattice::constantValue && arg2Lat->getLevel() == ConstantPropagationLattice::constantValue) { updateModified(resLat->setValue(arg1Lat->getValue() % arg2Lat->getValue())); } else { // Else => Top updateModified(resLat->setLevel(ConstantPropagationLattice::top)); } } }
void KShortcutsEditorItem::setKeySequence(uint column, const QKeySequence &seq) { QList<QKeySequence> ks; #if HAVE_GLOBALACCEL if (column == GlobalPrimary || column == GlobalAlternate) { ks = KGlobalAccel::self()->shortcut(m_action); if (!m_oldGlobalShortcut) { m_oldGlobalShortcut = new QList<QKeySequence>(ks); } } else #endif { ks = m_action->shortcuts(); if (!m_oldLocalShortcut) { m_oldLocalShortcut = new QList<QKeySequence>(ks); } } if (column == LocalAlternate || column == GlobalAlternate) { if (ks.isEmpty()) { ks << QKeySequence(); } if (ks.size() <= 1) { ks << seq; } else { ks[1] = seq; } } else { if (ks.isEmpty()) { ks << seq; } else { ks[0] = seq; } } //avoid also setting the default shortcut - what we are setting here is custom by definition #if HAVE_GLOBALACCEL if (column == GlobalPrimary || column == GlobalAlternate) { KGlobalAccel::self()->setShortcut(m_action, ks, KGlobalAccel::NoAutoloading); } else #endif { m_action->setShortcuts(ks); } updateModified(); }
void KateUndoManager::redo() { Q_ASSERT(m_editCurrentUndo == 0); // redo is not supported while we care about notifications (call editEnd() first) if (redoItems.count() > 0) { emit redoStart(document()); redoItems.last()->redo(activeView()); undoItems.append (redoItems.last()); redoItems.removeLast (); updateModified(); emit redoEnd(document()); } }
void Kolf::closeGame() { if (game) { if (game->askSave(true)) return; game->pause(); } filename = QString::null; editingEnded(); delete game; game = 0; loadedGame = QString::null; editingAction->setChecked(false); setEditingEnabled(false); endAction->setEnabled(false); aboutAction->setEnabled(false); highScoreAction->setEnabled(false); printAction->setEnabled(false); saveAction->setEnabled(false); saveAsAction->setEnabled(false); saveGameAction->setEnabled(false); saveGameAsAction->setEnabled(false); setHoleMovementEnabled(false); setHoleOtherEnabled(false); clearHoleAction->setEnabled(false); newHoleAction->setEnabled(false); newAction->setEnabled(true); loadGameAction->setEnabled(true); tutorialAction->setEnabled(true); titleChanged(QString::null); updateModified(false); QTimer::singleShot(100, this, SLOT(createSpacer())); }