void KdbxXmlWriter::writeDatabase(QIODevice* device, const Database* db, KeePass2RandomStream* randomStream, const QByteArray& headerHash) { m_db = db; m_meta = db->metadata(); m_randomStream = randomStream; m_headerHash = headerHash; m_xml.setAutoFormatting(true); m_xml.setAutoFormattingIndent(-1); // 1 tab m_xml.setCodec("UTF-8"); generateIdMap(); m_xml.setDevice(device); m_xml.writeStartDocument("1.0", true); m_xml.writeStartElement("KeePassFile"); writeMetadata(); writeRoot(); m_xml.writeEndElement(); m_xml.writeEndDocument(); if (m_xml.hasError()) { raiseError(device->errorString()); } }
void KeePass2XmlWriter::writeDatabase(QIODevice* device, Database* db, KeePass2RandomStream* randomStream, const QByteArray& headerHash) { m_db = db; m_meta = db->metadata(); m_randomStream = randomStream; m_headerHash = headerHash; generateIdMap(); m_xml.setDevice(device); m_xml.writeStartDocument("1.0", true); m_xml.writeStartElement("KeePassFile"); writeMetadata(); writeRoot(); m_xml.writeEndElement(); m_xml.writeEndDocument(); #if QT_VERSION >= QT_VERSION_CHECK(4, 8, 0) if (m_xml.hasError()) { raiseError(device->errorString()); } #endif }
void DlSatTester :: restore ( unsigned int newTryLevel ) { fpp_assert ( !Stack.empty () ); fpp_assert ( newTryLevel > 0 ); // skip all intermediate restores setCurLevel(newTryLevel); // update split level if ( getCurLevel() < splitRuleLevel ) splitRuleLevel = 0; // restore local bContext = Stack.top(getCurLevel()); restoreBC(); // restore tree CGraph.restore(getCurLevel()); // restore TODO list TODO.restore(getCurLevel()); incStat(nStateRestores); if ( LLM.isWritable(llSRState) ) LL << " sr(" << getCurLevel() << ")"; #ifdef __DEBUG_SAVE_RESTORE writeRoot(llSRState); #endif }
bool DlSatTester :: runSat ( void ) { testTimer.Start(); bool result = checkSatisfiability (); testTimer.Stop(); if ( LLM.isWritable(llSatTime) ) LL << "\nChecking time was " << testTimer << " seconds"; testTimer.Reset(); finaliseStatistic(); if ( result ) writeRoot(llRStat); return result; }
void KeePass2XmlWriter::writeDatabase(QIODevice* device, Database* db, KeePass2RandomStream* randomStream, const QByteArray& headerHash) { m_db = db; m_meta = db->metadata(); m_randomStream = randomStream; m_headerHash = headerHash; generateIdMap(); m_xml.setDevice(device); m_xml.writeStartDocument("1.0", true); m_xml.writeStartElement("KeePassFile"); writeMetadata(); writeRoot(); m_xml.writeEndElement(); m_xml.writeEndDocument(); }
void DlSatTester :: save ( void ) { // save tree CGraph.save(); // save ToDoList TODO.save(); // increase tryLevel ++tryLevel; Manager.ensureLevel(getCurLevel()); // init BC clearBC(); incStat(nStateSaves); if ( LLM.isWritable(llSRState) ) LL << " ss(" << getCurLevel()-1 << ")"; #ifdef __DEBUG_SAVE_RESTORE writeRoot(llSRState); #endif }
int openFile( PtWidget_t *widget, ApInfo_t *apinfo, PtCallbackInfo_t *cbinfo ) { PtArg_t args[1]; int *fileFlag; char *fileName; /* eliminate 'unreferenced' warnings */ widget = widget, apinfo = apinfo, cbinfo = cbinfo; /* get the type of file to open */ PtSetArg(&args[0], Pt_ARG_USER_DATA, &fileFlag, sizeof(int)); PtGetResources(widget, 1, args); /* get the file name from the text widget */ PtSetArg(&args[0], Pt_ARG_TEXT_STRING, &fileName, 0); PtGetResources(ABW_fileSelFileName, 1, args); switch(*fileFlag) { case ROOT_FILE_READ: readRoot(fileName); /* save the name of the root file in the proc table for rex session */ strncpy(myptp->p_root, fileName, P_LROOTNAME); break; case ROOT_FILE_WRITE: writeRoot(fileName); /* save the name of the root file in the proc table for rex session */ strncpy(myptp->p_root, fileName, P_LROOTNAME); break; case RASTER_FILE_SAVE: saveRaster(fileName); default: break; } return( Pt_CONTINUE ); }