From 8be4d8077c9505d45122b80a9e9baee01b1436a3 Mon Sep 17 00:00:00 2001
From: Matthias Jung <jungma@eit.uni-kl.de>
Date: Wed, 5 Aug 2015 09:13:58 +0200
Subject: [PATCH] Added function to Debug Manager that also outputs if debug is
 set to 0

---
 DRAMSys/dramSys/src/common/DebugManager.cpp | 5 +++++
 DRAMSys/dramSys/src/common/DebugManager.h   | 1 +
 2 files changed, 6 insertions(+)

diff --git a/DRAMSys/dramSys/src/common/DebugManager.cpp b/DRAMSys/dramSys/src/common/DebugManager.cpp
index 03546eaf..ba225e00 100644
--- a/DRAMSys/dramSys/src/common/DebugManager.cpp
+++ b/DRAMSys/dramSys/src/common/DebugManager.cpp
@@ -50,6 +50,11 @@ void DebugManager::printDebugMessage(string sender, string message)
     }
 }
 
+void DebugManager::printMessage(string sender, string message)
+{
+    cout << " at " << sc_time_stamp() << "\t in " << sender << "\t: " << message << endl;
+}
+
 void DebugManager::openDebugFile(string filename)
 {
     if(debugFile)
diff --git a/DRAMSys/dramSys/src/common/DebugManager.h b/DRAMSys/dramSys/src/common/DebugManager.h
index 0bb53864..17e55c72 100644
--- a/DRAMSys/dramSys/src/common/DebugManager.h
+++ b/DRAMSys/dramSys/src/common/DebugManager.h
@@ -55,6 +55,7 @@ public:
     bool writeToFile;
 
     void printDebugMessage(std::string sender, std::string message);
+    void printMessage(std::string sender, std::string message);
     void openDebugFile(std::string filename);
 
 private: