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 );
}
