/*
 * DebugManager.h
 *
 *  Created on: Mar 20, 2014
 *      Author: jonny
 */

#ifndef DEBUGMANAGER_H_
#define DEBUGMANAGER_H_

#include <systemc.h>
#include <string>
#include <set>

class DebugManager
{
public:
	static DebugManager& getInstance();

	bool printTime;
	bool printLocation;

	void printDebugMessage(std::string message, std::string sender);

	void addToWhiteList(std::string sender);
	void addToWhiteList(std::vector<std::string> senders);

private:
	DebugManager() : printTime(true), printLocation(true) {};
	DebugManager(const DebugManager&);

	std::set<std::string> whiteList;

};

#endif /* DEBUGMANAGER_H_ */