SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
#include <Database_mysqlconnector.h>
Public Types | |
using | Index = std::size_t |
Indec type. More... | |
using | Statement = std::unique_ptr< sql::PreparedStatement > |
Statement type. More... | |
using | Results = std::unique_ptr< sql::ResultSet > |
Results type. More... | |
typedef mysqlpp::sql_bigint_unsigned | Index |
typedef mysqlpp::Query | Statement |
typedef mysqlpp::StoreQueryResult | Results |
Public Member Functions | |
bool | connect (const std::string &db, const std::string &host, const std::string &user, const std::string &password) |
Connect to the given database. More... | |
Statement | prepare (const std::string &query) |
Prepare a statement. More... | |
Results | execute (Statement &stmt) |
Execute a statement without arguments. More... | |
Results | execute (Statement &stmt, const std::string &a1) |
Execute a statement with a single string. More... | |
Results | execute (Statement &stmt, const std::string &a1, std::size_t a2) |
Execute a statement with a string and a number. More... | |
Results | execute (Statement &stmt, const std::string &a1, const std::string &a2, const Index &a3) |
Execute a statement with two strings and an index. More... | |
Results | execute (Statement &stmt, int a1, std::size_t a2, std::size_t a3, const Index &a4, const Index &a5, const Index &a6) |
Execute a statement with an int, two numbers and three indices. More... | |
template<typename... Args> | |
Index | insert (const std::string &query, const Args &... args) |
Insert some data and return the new index. More... | |
template<typename... Args> | |
Results | select (const std::string &query, const Args &... args) |
Select some data. More... | |
std::size_t | size (const Results &res) |
Return the size of the results. More... | |
Index | getIndex (const Results &res, const std::string &name) |
Get the index of some name within the results. More... | |
bool | connect (const std::string &db, const std::string &host, const std::string &user, const std::string &password) |
Statement | prepare (const std::string &query) |
template<typename... Args> | |
void | execute (Statement &stmt, const Args &... args) |
template<typename... Args> | |
Index | insert (const std::string &query, const Args &... args) |
template<typename... Args> | |
Results | select (const std::string &query, const Args &... args) |
std::size_t | size (const Results &res) |
Index | getIndex (const Results &res, const std::string &name) |
Private Member Functions | |
std::string | replacePlaceholders (const std::string &s) |
Private Attributes | |
std::unique_ptr< sql::Driver > | driver |
std::unique_ptr< sql::Connection > | conn |
mysqlpp::Connection | conn |
Definition at line 18 of file Database_mysqlconnector.h.
using benchmax::DBAL::Index = std::size_t |
Indec type.
Definition at line 35 of file Database_mysqlconnector.h.
typedef mysqlpp::sql_bigint_unsigned benchmax::DBAL::Index |
Definition at line 19 of file Database_mysqlpp.h.
using benchmax::DBAL::Results = std::unique_ptr<sql::ResultSet> |
Results type.
Definition at line 39 of file Database_mysqlconnector.h.
typedef mysqlpp::StoreQueryResult benchmax::DBAL::Results |
Definition at line 21 of file Database_mysqlpp.h.
using benchmax::DBAL::Statement = std::unique_ptr<sql::PreparedStatement> |
Statement type.
Definition at line 37 of file Database_mysqlconnector.h.
typedef mysqlpp::Query benchmax::DBAL::Statement |
Definition at line 20 of file Database_mysqlpp.h.
|
inline |
Connect to the given database.
Definition at line 42 of file Database_mysqlconnector.h.
|
inline |
Definition at line 23 of file Database_mysqlpp.h.
Execute a statement without arguments.
Definition at line 57 of file Database_mysqlconnector.h.
|
inline |
Definition at line 32 of file Database_mysqlpp.h.
Execute a statement with a single string.
Definition at line 61 of file Database_mysqlconnector.h.
|
inline |
Execute a statement with two strings and an index.
Definition at line 72 of file Database_mysqlconnector.h.
Execute a statement with a string and a number.
Definition at line 66 of file Database_mysqlconnector.h.
|
inline |
Execute a statement with an int, two numbers and three indices.
Definition at line 79 of file Database_mysqlconnector.h.
Get the index of some name within the results.
Definition at line 110 of file Database_mysqlconnector.h.
Definition at line 49 of file Database_mysqlpp.h.
|
inline |
Insert some data and return the new index.
Definition at line 90 of file Database_mysqlconnector.h.
|
inline |
|
inline |
Prepare a statement.
Definition at line 53 of file Database_mysqlconnector.h.
|
inline |
Definition at line 26 of file Database_mysqlpp.h.
|
inlineprivate |
Definition at line 21 of file Database_mysqlconnector.h.
|
inline |
Select some data.
Definition at line 101 of file Database_mysqlconnector.h.
|
inline |
|
inline |
Return the size of the results.
Definition at line 106 of file Database_mysqlconnector.h.
|
inline |
Definition at line 46 of file Database_mysqlpp.h.
|
private |
Definition at line 20 of file Database_mysqlconnector.h.
|
private |
Definition at line 17 of file Database_mysqlpp.h.
|
private |
Definition at line 19 of file Database_mysqlconnector.h.