summaryrefslogtreecommitdiff
path: root/src/dpl/db
diff options
context:
space:
mode:
Diffstat (limited to 'src/dpl/db')
-rw-r--r--src/dpl/db/include/cchecker/dpl/db/naive_synchronization_object.h (renamed from src/dpl/db/include/dpl/db/naive_synchronization_object.h)2
-rw-r--r--src/dpl/db/include/cchecker/dpl/db/sql_connection.h (renamed from src/dpl/db/include/dpl/db/sql_connection.h)10
-rw-r--r--src/dpl/db/src/naive_synchronization_object.cpp3
-rw-r--r--src/dpl/db/src/sql_connection.cpp11
4 files changed, 14 insertions, 12 deletions
diff --git a/src/dpl/db/include/dpl/db/naive_synchronization_object.h b/src/dpl/db/include/cchecker/dpl/db/naive_synchronization_object.h
index 687d666..8836635 100644
--- a/src/dpl/db/include/dpl/db/naive_synchronization_object.h
+++ b/src/dpl/db/include/cchecker/dpl/db/naive_synchronization_object.h
@@ -23,7 +23,7 @@
#ifndef CCHECKER_NAIVE_SYNCHRONIZATION_OBJECT_H
#define CCHECKER_NAIVE_SYNCHRONIZATION_OBJECT_H
-#include <dpl/db/sql_connection.h>
+#include <cchecker/dpl/db/sql_connection.h>
namespace CCHECKER {
namespace DB {
diff --git a/src/dpl/db/include/dpl/db/sql_connection.h b/src/dpl/db/include/cchecker/dpl/db/sql_connection.h
index 321372b..8af5a58 100644
--- a/src/dpl/db/include/dpl/db/sql_connection.h
+++ b/src/dpl/db/include/cchecker/dpl/db/sql_connection.h
@@ -22,17 +22,17 @@
#ifndef CCHECKER_SQL_CONNECTION_H
#define CCHECKER_SQL_CONNECTION_H
-#include <dpl/noncopyable.h>
-#include <dpl/exception.h>
-#include <dpl/optional.h>
#include <memory>
-#include <dpl/string.h>
#include <sqlite3.h>
#include <string>
-#include <dpl/assert.h>
#include <memory>
#include <stdint.h>
+#include <cchecker/dpl/string.h>
+#include <cchecker/dpl/assert.h>
+#include <cchecker/dpl/noncopyable.h>
+#include <cchecker/dpl/exception.h>
+#include <cchecker/dpl/optional.h>
#include <cchecker/log.h>
namespace CCHECKER {
diff --git a/src/dpl/db/src/naive_synchronization_object.cpp b/src/dpl/db/src/naive_synchronization_object.cpp
index 2592c3c..18eeefb 100644
--- a/src/dpl/db/src/naive_synchronization_object.cpp
+++ b/src/dpl/db/src/naive_synchronization_object.cpp
@@ -21,10 +21,11 @@
* synchronization object
*/
#include <stddef.h>
-#include <dpl/db/naive_synchronization_object.h>
#include <chrono>
#include <thread>
+#include <cchecker/dpl/db/naive_synchronization_object.h>
+
namespace {
unsigned int seed = time(NULL);
}
diff --git a/src/dpl/db/src/sql_connection.cpp b/src/dpl/db/src/sql_connection.cpp
index 27ea4fd..65c04ec 100644
--- a/src/dpl/db/src/sql_connection.cpp
+++ b/src/dpl/db/src/sql_connection.cpp
@@ -20,16 +20,17 @@
* @brief This file is the implementation file of SQL connection
*/
#include <stddef.h>
-#include <dpl/db/sql_connection.h>
-#include <dpl/db/naive_synchronization_object.h>
-#include <dpl/scoped_free.h>
-#include <dpl/noncopyable.h>
-#include <dpl/assert.h>
#include <db-util.h>
#include <unistd.h>
#include <cstdio>
#include <cstdarg>
+#include <cchecker/dpl/scoped_free.h>
+#include <cchecker/dpl/noncopyable.h>
+#include <cchecker/dpl/assert.h>
+#include <cchecker/dpl/db/sql_connection.h>
+#include <cchecker/dpl/db/naive_synchronization_object.h>
+
namespace CCHECKER {
namespace DB {
namespace // anonymous