![]() |
MySQL 9.5.0
Source Code Documentation
|
#include <chrono>#include <map>#include <mutex>#include <numeric>#include <shared_mutex>#include <vector>#include "helper/json/rapid_json_to_struct.h"#include "helper/json/text_to.h"#include "helper/to_string.h"#include "mrs/database/helper/gtid.h"#include "mysql/harness/destination.h"#include "mysql/harness/logging/logging.h"Go to the source code of this file.
Classes | |
| class | mrs::GtidManager |
| class | mrs::GtidManager::AddressContext |
| class | mrs::GtidManager::GtidOptions |
| class | mrs::GtidManager::ParseGtidOptions |
Namespaces | |
| namespace | mrs |
Enumerations | |
| enum class | mrs::GtidAction { mrs::k_is_on_server , mrs::k_not_found , mrs::k_needs_update } |