Function save_info

cp-profiler/src/cpprofiler/db_handler.cpp:286–310

}

static void save_info(QSqlDatabase *db, const Execution *ex)
{
    const char *query = "INSERT INTO Info \
                         (NodeID, Info) \
                         VALUES (?,?);";

    QSqlQuery insert_ng_stmt(*db);
    insert_ng_stmt.prepare(query);

    const auto &nt = ex->tree();
    const auto &sd = ex->solver_data();

    const auto nodes = utils::any_order(nt);

    db->transaction();
    for (const auto n : nodes)
    {
        const auto &text = sd.getInfo(n);
        if (text != "")
        {
            insert_info(&insert_ng_stmt, {n, text});
        }
    }
    db->commit();
}

static void save_user_data(QSqlDatabase *db, const Execution *ex)
{