本文整理汇总了C++中EventLogger::logEvent方法的典型用法代码示例。如果您正苦于以下问题：C++ EventLogger::logEvent方法的具体用法？C++ EventLogger::logEvent怎么用？C++ EventLogger::logEvent使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类EventLogger的用法示例。
在下文中一共展示了EventLogger::logEvent方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: logQueryStats
void DataCollectorSolver::logQueryStats(const Query &query,
QueryType type, TimeValue start, Solver::Validity validity) {
int result;
TimeValue duration = TimeValue::now() - start;
std::string query_blob;
std::pair<uint64_t, uint64_t> qids = serializer_.Serialize(query, query_blob);
// Query structure
sqlite3_clear_bindings(qinsert_stmt_);
sqlite3_bind_int64(qinsert_stmt_, 1, qids.first);
if (qids.second) {
sqlite3_bind_int64(qinsert_stmt_, 2, qids.second);
}
sqlite3_bind_int64(qinsert_stmt_, 14,
event_logger_->logEvent(g_s2e_state, EVENT_KLEE_QUERY, 1));
sqlite3_bind_int(qinsert_stmt_, 3, query.constraints.head()->depth());
sqlite3_bind_blob(qinsert_stmt_, 4,
query_blob.c_str(), query_blob.size(), NULL);
sqlite3_bind_int(qinsert_stmt_, 5, static_cast<int>(type));
result = sqlite3_step(qinsert_stmt_);
assert(result == SQLITE_DONE);
sqlite3_reset(qinsert_stmt_);
// Query results
sqlite3_bind_int64(rinsert_stmt_, 1, qids.first);
sqlite3_bind_int64(rinsert_stmt_, 2, duration.usec());
if (type == TRUTH || type == VALIDITY) {
sqlite3_bind_int(rinsert_stmt_, 3, static_cast<int>(validity));
}
result = sqlite3_step(rinsert_stmt_);
assert(result == SQLITE_DONE);
sqlite3_reset(rinsert_stmt_);
}