MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / save_user_data

Function save_user_data

cp-profiler/src/cpprofiler/db_handler.cpp:312–333  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

310}
311
312static void save_user_data(QSqlDatabase *db, const Execution *ex)
313{
314
315 const char *query = "INSERT INTO Bookmarks \
316 (NodeID, Bookmark) \
317 VALUES (?,?);";
318
319 QSqlQuery insert_bm_stmt(*db);
320 insert_bm_stmt.prepare(query);
321
322 const auto &ud = ex->userData();
323 const auto nodes = ud.bookmarkedNodes();
324
325
326 db->transaction();
327 for (const auto n : nodes)
328 {
329 const auto &text = ud.getBookmark(n);
330 insert_bookmark(&insert_bm_stmt, {n, text});
331 }
332 db->commit();
333}
334
335/// Create a file at `path` (or overwrite it) and associate it with `db`
336static bool create_db(QSqlDatabase* db)

Callers 1

save_executionFunction · 0.85

Calls 3

insert_bookmarkFunction · 0.85
bookmarkedNodesMethod · 0.80
commitMethod · 0.80

Tested by

no test coverage detected